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-3751328-1339169510/watcher-3751328-1339169510 -o /tmp/evaluation-result-3751328-1339169510/solver-3751328-1339169510 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751328-1339169510.opb 1663444071 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.00 1.93 3/181 4377
/proc/meminfo: memFree=30739656/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[startup+0.0559729 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4377
/proc/meminfo: memFree=30739656/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4377
/proc/meminfo: memFree=30739656/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300163 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4377
/proc/meminfo: memFree=30739656/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4377
/proc/meminfo: memFree=30739656/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/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.00 1.93 3/184 4383
/proc/meminfo: memFree=30706580/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=15868 CPUtime=0.93 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 3004 0 0 0 93 0 0 0 20 0 1 0 26918122 16248832 3372 33554432000 4194304 5654031 140735901283312 140735901281272 4214616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 3967 3372 140 357 0 3607 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42072
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 4383
/proc/meminfo: memFree=30705348/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=16580 CPUtime=2.52 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 4294 0 0 0 252 0 0 0 20 0 1 0 26918122 16977920 3627 33554432000 4194304 5654031 140735901283312 140735901271128 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 4145 3627 141 357 0 3785 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42784
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 4383
/proc/meminfo: memFree=30690456/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=26648 CPUtime=5.73 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 5541 0 0 0 572 1 0 0 20 0 1 0 26918122 27287552 5260 33554432000 4194304 5654031 140735901283312 140735901271128 4232694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 6662 5260 141 357 0 6302 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 52852
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 4383
/proc/meminfo: memFree=30667592/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=31308 CPUtime=12.12 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 6648 0 0 0 1211 1 0 0 20 0 1 0 26918122 32059392 7349 33554432000 4194304 5654031 140735901283312 140735901271128 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 7827 7349 141 357 0 7467 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 57512
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 4383
/proc/meminfo: memFree=30604148/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=87480 CPUtime=24.92 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 8690 0 0 0 2489 3 0 0 20 0 1 0 26918122 89579520 17049 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 21870 17049 141 357 0 21510 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 113684
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 4383
/proc/meminfo: memFree=30663756/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=76004 CPUtime=50.52 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 9435 0 0 0 5048 4 0 0 20 0 1 0 26918122 77828096 18570 33554432000 4194304 5654031 140735901283312 140735901271128 4215033 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 19001 18570 141 357 0 18641 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102208
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 4383
/proc/meminfo: memFree=30694296/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=77400 CPUtime=101.71 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 10929 0 0 0 10164 7 0 0 20 0 1 0 26918122 79257600 18895 33554432000 4194304 5654031 140735901283312 140735901271128 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 19350 18895 141 357 0 18990 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103604
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/183 4384
/proc/meminfo: memFree=30638772/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=157540 CPUtime=161.7 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 13268 0 0 0 16156 14 0 0 20 0 1 0 26918122 161320960 31933 33554432000 4194304 5654031 140735901283312 140735901271128 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 39385 31933 141 357 0 39025 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 183744
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.95 3/183 4384
/proc/meminfo: memFree=30520708/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=157540 CPUtime=221.69 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 14825 0 0 0 22150 19 0 0 20 0 1 0 26918122 161320960 31238 33554432000 4194304 5654031 140735901283312 140735901271128 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 39385 31238 141 357 0 39025 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 183744
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/183 4437
/proc/meminfo: memFree=30513988/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=185500 CPUtime=1361.45 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 47223 0 0 0 136056 89 0 0 20 0 1 0 26918122 189952000 45579 33554432000 4194304 5654031 140735901283312 140735901271128 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 46375 45579 141 357 0 46015 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 211704
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4438
/proc/meminfo: memFree=30452604/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=316976 CPUtime=1421.44 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 48595 0 0 0 142053 91 0 0 20 0 1 0 26918122 324583424 69944 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 79244 69944 141 357 0 78884 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 343180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4438
/proc/meminfo: memFree=30446500/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=185500 CPUtime=1481.42 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 49875 0 0 0 148046 96 0 0 20 0 1 0 26918122 189952000 42507 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 46375 42507 141 357 0 46015 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 211704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4438
/proc/meminfo: memFree=30381508/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=316976 CPUtime=1541.38 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 51290 0 0 0 154040 98 0 0 20 0 1 0 26918122 324583424 68920 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 79244 68920 141 357 0 78884 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 343180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4438
/proc/meminfo: memFree=30362188/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=154680 CPUtime=1601.38 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 51998 0 0 0 160034 104 0 0 20 0 1 0 26918122 158392320 35784 33554432000 4194304 5654031 140735901283312 140735901271128 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 38670 35784 141 357 0 38310 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 180884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4438
/proc/meminfo: memFree=30350968/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=316976 CPUtime=1661.36 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 53958 0 0 0 166030 106 0 0 20 0 1 0 26918122 324583424 62776 33554432000 4194304 5654031 140735901283312 140735901271128 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 79244 62776 141 357 0 78884 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 343180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4442
/proc/meminfo: memFree=30332316/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=449236 CPUtime=1721.36 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 54464 0 0 0 172026 110 0 0 20 0 1 0 26918122 460017664 84233 33554432000 4194304 5654031 140735901283312 140735901271128 4232976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 112309 84233 141 357 0 111949 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 475440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4464
/proc/meminfo: memFree=30352660/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=235588 CPUtime=1781.35 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 56109 0 0 0 178021 114 0 0 20 0 1 0 26918122 241242112 52024 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 58897 52024 141 357 0 58537 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 261792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4464
/proc/meminfo: memFree=30483344/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=316976 CPUtime=1799.55 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 56638 0 0 0 179841 114 0 0 20 0 1 0 26918122 324583424 60216 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 79244 60216 141 357 0 78884 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 343180
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4464
/proc/meminfo: memFree=30483344/32873844 swapFree=7108/7108
[pid=4377] ppid=4375 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (npSolver-pbo-It) S 4375 4377 4273 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 26918066 9367552 274 33554432000 4194304 5064252 140735677852800 140735677851712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4377/statm: 2287 274 233 213 0 72 0
[pid=4378] ppid=4377 vsize=17056 CPUtime=0.54 cores=1,3,5,7
/proc/4378/stat : 4378 (npSolver-pbo) S 4377 4377 4273 0 -1 4202496 5779 6995 0 0 14 2 36 2 20 0 1 0 26918066 17465344 3809 33554432000 4194304 6004724 140734192538528 140734192524808 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4378/statm: 4264 3809 152 442 0 3818 0
[pid=4383] ppid=4378 vsize=316976 CPUtime=1799.55 cores=1,3,5,7
/proc/4383/stat : 4383 (glucosInc) R 4378 4377 4273 0 -1 4202496 56638 0 0 0 179841 114 0 0 20 0 1 0 26918122 324583424 60216 33554432000 4194304 5654031 140735901283312 140735901271128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4383/statm: 79244 60216 141 357 0 78884 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 343180
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4377 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=513921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=47992
# CPU time returned by wait4() is 0.561913
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.91
CPU system time (s): 1.18
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 524760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.513921
system time used= 0.047992
maximum resident set size= 42532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 3.77743 second user time and 9.02263 second system time
The end