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-3749423-1339112628/watcher-3749423-1339112628 -o /tmp/evaluation-result-3749423-1339112628/solver-3749423-1339112628 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749423-1339112628.opb 1831845422 HOME HOME
running on 4 cores: 0,2,4,6
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: 1.03 1.01 1.18 3/175 10699
/proc/meminfo: memFree=27888516/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[startup+0.00944403 s]
/proc/loadavg: 1.03 1.01 1.18 3/175 10699
/proc/meminfo: memFree=27888516/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100167 s]
/proc/loadavg: 1.03 1.01 1.18 3/175 10699
/proc/meminfo: memFree=27888516/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300136 s]
/proc/loadavg: 1.03 1.01 1.18 3/175 10699
/proc/meminfo: memFree=27888516/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700131 s]
/proc/loadavg: 1.03 1.01 1.18 3/175 10699
/proc/meminfo: memFree=27888516/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.03 1.01 1.18 3/182 10808
/proc/meminfo: memFree=27867384/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=23580 CPUtime=1.35 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 4081 0 0 0 135 0 0 0 20 0 1 0 377388608 24145920 4174 33554432000 4194304 5208918 140734432884272 140734432882424 4211455 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 5895 4174 104 248 0 5644 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45196
[startup+3.10038 s]
/proc/loadavg: 1.03 1.01 1.18 3/182 10808
/proc/meminfo: memFree=27853956/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=35288 CPUtime=2.95 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 5418 0 0 0 294 1 0 0 20 0 1 0 377388608 36134912 8247 33554432000 4194304 5208918 140734432884272 140734432882216 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 8822 8247 104 248 0 8571 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 56904
[startup+6.30035 s]
/proc/loadavg: 1.10 1.03 1.19 3/183 10809
/proc/meminfo: memFree=27809564/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=35288 CPUtime=6.15 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 5669 0 0 0 614 1 0 0 20 0 1 0 377388608 36134912 8364 33554432000 4194304 5208918 140734432884272 140734432882360 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 8822 8364 104 248 0 8571 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 56904
[startup+12.7003 s]
/proc/loadavg: 1.18 1.04 1.19 3/183 10809
/proc/meminfo: memFree=27755788/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=65636 CPUtime=12.54 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 6375 0 0 0 1252 2 0 0 20 0 1 0 377388608 67211264 15952 33554432000 4194304 5208918 140734432884272 140734432882216 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 16409 15952 104 248 0 16158 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 87252
[startup+25.5067 s]
/proc/loadavg: 1.36 1.09 1.20 3/183 10809
/proc/meminfo: memFree=27685520/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=114956 CPUtime=25.35 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 7474 0 0 0 2530 5 0 0 20 0 1 0 377388608 117714944 24401 33554432000 4194304 5208918 140734432884272 140734432882360 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 28739 24401 104 248 0 28488 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 136572
[startup+51.1004 s]
/proc/loadavg: 1.58 1.16 1.22 3/183 10809
/proc/meminfo: memFree=27711204/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=114956 CPUtime=50.94 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 10616 0 0 0 5083 11 0 0 20 0 1 0 377388608 117714944 23889 33554432000 4194304 5208918 140734432884272 140734432882360 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 28739 23889 104 248 0 28488 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 136572
[startup+102.3 s]
/proc/loadavg: 1.88 1.30 1.27 3/183 10809
/proc/meminfo: memFree=27644296/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=145776 CPUtime=102.13 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 16435 0 0 0 10191 22 0 0 20 0 1 0 377388608 149274624 35732 33554432000 4194304 5208918 140734432884272 140734432882424 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 36444 35732 104 248 0 36193 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 167392
[startup+162.3 s]
/proc/loadavg: 1.95 1.43 1.31 3/182 10809
/proc/meminfo: memFree=27626224/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/183 10843
/proc/meminfo: memFree=27500592/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=195864 CPUtime=1361.87 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 84003 0 0 0 136020 167 0 0 20 0 1 0 377388608 200564736 40129 33554432000 4194304 5208918 140734432884272 140734432882424 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 48966 40129 104 248 0 48715 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 217480
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/183 10843
/proc/meminfo: memFree=27486544/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=195864 CPUtime=1421.87 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 85807 0 0 0 142016 171 0 0 20 0 1 0 377388608 200564736 46827 33554432000 4194304 5208918 140734432884272 140734432882424 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 48966 46827 104 248 0 48715 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 217480
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/183 10843
/proc/meminfo: memFree=27433284/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1481.85 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 88109 0 0 0 148009 176 0 0 20 0 1 0 377388608 283906048 59073 33554432000 4194304 5208918 140734432884272 140734432882424 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 59073 104 248 0 69062 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 298868
[startup+1542.3 s]
/proc/loadavg: 2.04 1.99 1.82 3/183 10844
/proc/meminfo: memFree=27412856/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1541.85 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 89912 0 0 0 154006 179 0 0 20 0 1 0 377388608 283906048 63723 33554432000 4194304 5208918 140734432884272 140734432882424 4213035 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 63723 104 248 0 69062 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 298868
[startup+1602.3 s]
/proc/loadavg: 2.09 2.00 1.83 3/184 10847
/proc/meminfo: memFree=27426740/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1601.83 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 91745 0 0 0 159997 186 0 0 20 0 1 0 377388608 283906048 63807 33554432000 4194304 5208918 140734432884272 140734432882424 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 63807 104 248 0 69062 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 298868
[startup+1662.31 s]
/proc/loadavg: 2.03 2.00 1.84 3/183 10847
/proc/meminfo: memFree=27449260/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1661.83 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 93687 0 0 0 165992 191 0 0 20 0 1 0 377388608 283906048 61314 33554432000 4194304 5208918 140734432884272 140734432882424 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 61314 104 248 0 69062 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 298868
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.84 3/183 10847
/proc/meminfo: memFree=27482140/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1721.81 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 95566 0 0 0 171986 195 0 0 20 0 1 0 377388608 283906048 55615 33554432000 4194304 5208918 140734432884272 140734432882424 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 55615 104 248 0 69062 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 298868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10847
/proc/meminfo: memFree=27446912/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=277252 CPUtime=1781.8 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 97533 0 0 0 177980 200 0 0 20 0 1 0 377388608 283906048 65410 33554432000 4194304 5208918 140734432884272 140734432882424 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 69313 65410 104 248 0 69062 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 298868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10847
/proc/meminfo: memFree=27384360/32873660 swapFree=7120/7120
[pid=10698] ppid=10696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (npSolver-pbo.sh) S 10696 10698 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377388594 9367552 274 33554432000 4194304 5064252 140734290697952 140734290696864 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10698/statm: 2287 274 233 213 0 72 0
[pid=10700] ppid=10698 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/10700/stat : 10700 (npSolver-pbo) S 10698 10698 9300 0 -1 4202496 2538 2696 0 0 1 0 10 0 20 0 1 0 377388595 3399680 463 33554432000 4194304 6004724 140735642773056 140735642768192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10700/statm: 830 463 148 442 0 384 0
[pid=10734] ppid=10700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10734/stat : 10734 (satsolver.sh) S 10700 10698 9300 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377388608 9367552 266 33554432000 4194304 5064252 140736256584896 140736256583808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10734/statm: 2287 266 226 213 0 72 0
[pid=10735] ppid=10734 vsize=409512 CPUtime=1799.9 cores=0,2,4,6
/proc/10735/stat : 10735 (glucose) R 10734 10698 9300 0 -1 4202496 98057 0 0 0 179789 201 0 0 20 0 1 0 377388608 419340288 71554 33554432000 4194304 5208918 140734432884272 140734432882424 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 102378 71554 104 248 0 102127 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 431128
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.05
CPU user time (s): 1798.02
CPU system time (s): 2.03269
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 511268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.03269
maximum resident set size= 334276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104280
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 2070
runsolver used 7.19691 second user time and 17.6403 second system time
The end