runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749893-1339128994/watcher-3749893-1339128994 -o /tmp/evaluation-result-3749893-1339128994/solver-3749893-1339128994 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749893-1339128994.opb 1569642781 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4813
/proc/meminfo: memFree=22901708/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[startup+0.0412299 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4813
/proc/meminfo: memFree=22901708/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4813
/proc/meminfo: memFree=22901708/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4813
/proc/meminfo: memFree=22901708/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4813
/proc/meminfo: memFree=22901708/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 4827
/proc/meminfo: memFree=22861824/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=0.16 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 5322 5705 0 0 10 2 3 1 20 0 1 0 379025012 21200896 4213 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4213 175 442 0 4730 0
[pid=4826] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4826/stat : 4826 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379025030 9367552 267 33554432000 4194304 5064252 140734701784464 140734701783376 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4826/statm: 2287 267 226 213 0 72 0
[pid=4827] ppid=4826 vsize=22856 CPUtime=1.3 cores=1,3,5,7
/proc/4827/stat : 4827 (glucose) R 4826 4813 32553 0 -1 4202496 5492 0 0 0 129 1 0 0 20 0 1 0 379025031 23404544 4900 33554432000 4194304 5208918 140736058359184 140736058357016 4214618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4827/statm: 5714 4900 104 248 0 5463 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 61856
[startup+3.1005 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 4827
/proc/meminfo: memFree=22860832/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=0.16 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 5322 5705 0 0 10 2 3 1 20 0 1 0 379025012 21200896 4213 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4213 175 442 0 4730 0
[pid=4826] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4826/stat : 4826 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379025030 9367552 267 33554432000 4194304 5064252 140734701784464 140734701783376 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4826/statm: 2287 267 226 213 0 72 0
[pid=4827] ppid=4826 vsize=27520 CPUtime=2.89 cores=1,3,5,7
/proc/4827/stat : 4827 (glucose) R 4826 4813 32553 0 -1 4202496 6624 0 0 0 288 1 0 0 20 0 1 0 379025031 28180480 6418 33554432000 4194304 5208918 140736058359184 140736058357128 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4827/statm: 6880 6418 104 248 0 6629 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 66520
[startup+6.30028 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 4827
/proc/meminfo: memFree=22853200/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 29852
[startup+12.7005 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 4834
/proc/meminfo: memFree=22854720/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=4833] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379025567 9367552 267 33554432000 4194304 5064252 140737062828656 140737062827568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4833/statm: 2287 267 226 213 0 72 0
[pid=4834] ppid=4833 vsize=39096 CPUtime=7.13 cores=1,3,5,7
/proc/4834/stat : 4834 (glucose) R 4833 4813 32553 0 -1 4202496 8381 0 0 0 710 3 0 0 20 0 1 0 379025568 40034304 7591 33554432000 4194304 5208918 140737092266528 140737092264472 4212432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4834/statm: 9774 7591 104 248 0 9523 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 78096
[startup+25.5005 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 4834
/proc/meminfo: memFree=22835772/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=4833] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379025567 9367552 267 33554432000 4194304 5064252 140737062828656 140737062827568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4833/statm: 2287 267 226 213 0 72 0
[pid=4834] ppid=4833 vsize=46280 CPUtime=19.92 cores=1,3,5,7
/proc/4834/stat : 4834 (glucose) R 4833 4813 32553 0 -1 4202496 8911 0 0 0 1989 3 0 0 20 0 1 0 379025568 47390720 11148 33554432000 4194304 5208918 140737092266528 140737092262904 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4834/statm: 11570 11148 104 248 0 11319 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 85280
[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.06 3/183 4834
/proc/meminfo: memFree=22830592/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=4833] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379025567 9367552 267 33554432000 4194304 5064252 140737062828656 140737062827568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4833/statm: 2287 267 226 213 0 72 0
[pid=4834] ppid=4833 vsize=70760 CPUtime=45.52 cores=1,3,5,7
/proc/4834/stat : 4834 (glucose) R 4833 4813 32553 0 -1 4202496 9897 0 0 0 4548 4 0 0 20 0 1 0 379025568 72458240 14759 33554432000 4194304 5208918 140737092266528 140737092262216 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4834/statm: 17690 14759 104 248 0 17439 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 109760
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 4835
/proc/meminfo: memFree=22790168/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=4833] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379025567 9367552 267 33554432000 4194304 5064252 140737062828656 140737062827568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4833/statm: 2287 267 226 213 0 72 0
[pid=4834] ppid=4833 vsize=89436 CPUtime=96.72 cores=1,3,5,7
/proc/4834/stat : 4834 (glucose) R 4833 4813 32553 0 -1 4202496 10518 0 0 0 9666 6 0 0 20 0 1 0 379025568 91582464 21944 33554432000 4194304 5208918 140737092266528 140737092264616 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4834/statm: 22359 21944 104 248 0 22108 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128436
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 4835
/proc/meminfo: memFree=22788248/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=5.54 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 7491 16822 0 0 19 3 527 5 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=4833] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379025567 9367552 267 33554432000 4194304 5064252 140737062828656 140737062827568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4833/statm: 2287 267 226 213 0 72 0
[pid=4834] ppid=4833 vsize=89436 CPUtime=156.71 cores=1,3,5,7
/proc/4834/stat : 4834 (glucose) R 4833 4813 32553 0 -1 4202496 10663 0 0 0 15664 7 0 0 20 0 1 0 379025568 91582464 21944 33554432000 4194304 5208918 140737092266528 140737092264616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4834/statm: 22359 21944 104 248 0 22108 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5149
/proc/meminfo: memFree=31578964/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=82692 CPUtime=197.23 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 13088 0 0 0 19715 8 0 0 20 0 1 0 379141514 84676608 20260 33554432000 4194304 5208918 140737178223216 140737178219592 4211659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 20673 20260 104 248 0 20422 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 121692
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 5152
/proc/meminfo: memFree=31493244/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=132012 CPUtime=257.22 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 14078 0 0 0 25713 9 0 0 20 0 1 0 379141514 135180288 31485 33554432000 4194304 5208918 140737178223216 140737178219592 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 33003 31485 104 248 0 32752 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 171012
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5152
/proc/meminfo: memFree=31542700/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=162832 CPUtime=317.21 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 15537 0 0 0 31709 12 0 0 20 0 1 0 379141514 166739968 33015 33554432000 4194304 5208918 140737178223216 140737178221368 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 40708 33015 104 248 0 40457 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 201832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5152
/proc/meminfo: memFree=31506864/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=162832 CPUtime=377.19 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 16513 0 0 0 37705 14 0 0 20 0 1 0 379141514 166739968 32915 33554432000 4194304 5208918 140737178223216 140737178219528 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 40708 32915 104 248 0 40457 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 201832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5152
/proc/meminfo: memFree=31481684/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=132012 CPUtime=437.19 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 17189 0 0 0 43703 16 0 0 20 0 1 0 379141514 135180288 31997 33554432000 4194304 5208918 140737178223216 140737178219592 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 33003 31997 104 248 0 32752 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 171012
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 5153
/proc/meminfo: memFree=31463192/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=132012 CPUtime=497.18 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 18275 0 0 0 49700 18 0 0 20 0 1 0 379141514 135180288 30973 33554432000 4194304 5208918 140737178223216 140737178219592 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 33003 30973 104 248 0 32752 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 171012
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5153
/proc/meminfo: memFree=31465428/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=132012 CPUtime=557.17 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 18770 0 0 0 55698 19 0 0 20 0 1 0 379141514 135180288 30461 33554432000 4194304 5208918 140737178223216 140737178219528 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 33003 30461 104 248 0 32752 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 171012
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 5153
/proc/meminfo: memFree=31467296/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=146532 CPUtime=617.16 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 20432 0 0 0 61695 21 0 0 20 0 1 0 379141514 150048768 32555 33554432000 4194304 5208918 140737178223216 140737178221208 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 36633 32555 104 248 0 36382 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 185532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5153
/proc/meminfo: memFree=31430620/32873844 swapFree=7632/7632
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (npSolver-pbo.sh) S 4811 4813 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379025011 9367552 274 33554432000 4194304 5064252 140734314119984 140734314118896 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4813/statm: 2287 274 233 213 0 72 0
[pid=4814] ppid=4813 vsize=20704 CPUtime=1164.79 cores=1,3,5,7
/proc/4814/stat : 4814 (npSolver-pbo) S 4813 4813 32553 0 -1 4202496 16191 78170 0 0 54 7 116367 51 20 0 1 0 379025012 21200896 4214 33554432000 4194304 6004724 140737125237568 140737125229920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4814/statm: 5176 4214 176 442 0 4730 0
[pid=5147] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (satsolver.sh) S 4814 4813 32553 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379141514 9367552 266 33554432000 4194304 5064252 140737076432832 140737076431744 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5147/statm: 2287 266 226 213 0 72 0
[pid=5148] ppid=5147 vsize=146532 CPUtime=635.26 cores=1,3,5,7
/proc/5148/stat : 5148 (glucose) R 5147 4813 32553 0 -1 4202496 20435 0 0 0 63505 21 0 0 20 0 1 0 379141514 150048768 34091 33554432000 4194304 5208918 140737178223216 140737178219592 4211540 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5148/statm: 36633 34091 104 248 0 36382 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 185532
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.28
CPU system time (s): 0.812876
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 216352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.812876
maximum resident set size= 143992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 1999
runsolver used 5.68614 second user time and 18.8881 second system time
The end