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-3752476-1339143761/watcher-3752476-1339143761 -o /tmp/evaluation-result-3752476-1339143761/solver-3752476-1339143761 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752476-1339143761.opb 528140450 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 2.00 3/178 28251
/proc/meminfo: memFree=26663032/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[startup+0.0228859 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28251
/proc/meminfo: memFree=26663032/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100337 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28251
/proc/meminfo: memFree=26663032/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28251
/proc/meminfo: memFree=26663032/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70013 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28251
/proc/meminfo: memFree=26663032/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28264
/proc/meminfo: memFree=26647640/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1.25 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4299 20366 0 0 9 10 98 8 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 14988
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28266
/proc/meminfo: memFree=26646416/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1.25 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4299 20366 0 0 9 10 98 8 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28266] ppid=28252 vsize=15744 CPUtime=1.82 cores=1,3,5,7
/proc/28266/stat : 28266 (glucosInc) R 28252 28251 27075 0 -1 4202496 3822 0 0 0 182 0 0 0 20 0 1 0 380500771 16121856 3106 33554432000 4194304 5654031 140735646306752 140735646304840 4215084 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28266/statm: 3936 3106 141 357 0 3576 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30732
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28266
/proc/meminfo: memFree=26637780/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1.25 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4299 20366 0 0 9 10 98 8 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28266] ppid=28252 vsize=21380 CPUtime=5.02 cores=1,3,5,7
/proc/28266/stat : 28266 (glucosInc) R 28252 28251 27075 0 -1 4202496 5365 0 0 0 501 1 0 0 20 0 1 0 380500771 21893120 4889 33554432000 4194304 5654031 140735646306752 140735646294568 4208584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28266/statm: 5345 4889 141 357 0 4985 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 36368
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28266
/proc/meminfo: memFree=26634976/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1.25 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4299 20366 0 0 9 10 98 8 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28266] ppid=28252 vsize=24100 CPUtime=11.42 cores=1,3,5,7
/proc/28266/stat : 28266 (glucosInc) R 28252 28251 27075 0 -1 4202496 6120 0 0 0 1141 1 0 0 20 0 1 0 380500771 24678400 5560 33554432000 4194304 5654031 140735646306752 140735646294568 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28266/statm: 6025 5560 141 357 0 5665 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39088
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28266
/proc/meminfo: memFree=26632384/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1.25 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4299 20366 0 0 9 10 98 8 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28266] ppid=28252 vsize=28800 CPUtime=24.22 cores=1,3,5,7
/proc/28266/stat : 28266 (glucosInc) R 28252 28251 27075 0 -1 4202496 7943 0 0 0 2420 2 0 0 20 0 1 0 380500771 29491200 6266 33554432000 4194304 5654031 140735646306752 140735646304632 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28266/statm: 7200 6266 141 357 0 6840 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43788
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28268
/proc/meminfo: memFree=26628052/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=37.49 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4614 29367 0 0 9 10 3719 11 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28268] ppid=28252 vsize=31800 CPUtime=13.57 cores=1,3,5,7
/proc/28268/stat : 28268 (glucosInc) R 28252 28251 27075 0 -1 4202496 6888 0 0 0 1356 1 0 0 20 0 1 0 380504395 32563200 7494 33554432000 4194304 5654031 140735783768960 140735783766840 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28268/statm: 7950 7494 141 357 0 7590 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46788
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28269
/proc/meminfo: memFree=26602536/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=37.49 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4614 29367 0 0 9 10 3719 11 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28268] ppid=28252 vsize=50476 CPUtime=64.76 cores=1,3,5,7
/proc/28268/stat : 28268 (glucosInc) R 28252 28251 27075 0 -1 4202496 7486 0 0 0 6475 1 0 0 20 0 1 0 380504395 51687424 12163 33554432000 4194304 5654031 140735783768960 140735783756776 4215055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28268/statm: 12619 12163 141 357 0 12259 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 65464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28269
/proc/meminfo: memFree=26595964/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=37.49 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4614 29367 0 0 9 10 3719 11 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28268] ppid=28252 vsize=51240 CPUtime=124.75 cores=1,3,5,7
/proc/28268/stat : 28268 (glucosInc) R 28252 28251 27075 0 -1 4202496 8921 0 0 0 12472 3 0 0 20 0 1 0 380504395 52469760 12354 33554432000 4194304 5654031 140735783768960 140735783756776 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28268/statm: 12810 12354 141 357 0 12450 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66228
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28269
/proc/meminfo: memFree=26562392/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=37.49 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4614 29367 0 0 9 10 3719 11 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28268] ppid=28252 vsize=81588 CPUtime=184.75 cores=1,3,5,7
/proc/28268/stat : 28268 (glucosInc) R 28252 28251 27075 0 -1 4202496 10006 0 0 0 18470 5 0 0 20 0 1 0 380504395 83546112 19941 33554432000 4194304 5654031 140735783768960 140735783756776 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28268/statm: 20397 19941 141 357 0 20037 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 96576
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28269
/proc/meminfo: memFree=26558724/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=26511524/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=81284 CPUtime=203.99 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 9987 0 0 0 20397 2 0 0 20 0 1 0 380604470 83234816 19821 33554432000 4194304 5654031 140734359959120 140734359946936 4232700 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 20321 19821 141 357 0 19961 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 96272
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28282
/proc/meminfo: memFree=26512840/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=81284 CPUtime=263.99 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 9987 0 0 0 26397 2 0 0 20 0 1 0 380604470 83234816 19865 33554432000 4194304 5654031 140734359959120 140734359946936 4217744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 20321 19865 141 357 0 19961 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 96272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28282
/proc/meminfo: memFree=26520712/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=82232 CPUtime=323.97 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11013 0 0 0 32394 3 0 0 20 0 1 0 380604470 84205568 19600 33554432000 4194304 5654031 140734359959120 140734359946936 4216646 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 20558 19600 141 357 0 20198 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 97220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28282
/proc/meminfo: memFree=26504516/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=82232 CPUtime=383.97 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11014 0 0 0 38394 3 0 0 20 0 1 0 380604470 84205568 20112 33554432000 4194304 5654031 140734359959120 140734359946936 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 20558 20112 141 357 0 20198 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 97220
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 28385
/proc/meminfo: memFree=26652944/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=443.95 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11021 0 0 0 44392 3 0 0 20 0 1 0 380604470 95973376 22673 33554432000 4194304 5654031 140734359959120 140734359956920 4232700 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22673 141 357 0 23071 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 108712
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28387
/proc/meminfo: memFree=26653004/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=503.94 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11334 0 0 0 50391 3 0 0 20 0 1 0 380604470 95973376 22975 33554432000 4194304 5654031 140734359959120 140734359946936 4233148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22975 141 357 0 23071 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 108712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28388
/proc/meminfo: memFree=26592560/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=143044 CPUtime=563.94 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11473 0 0 0 56389 5 0 0 20 0 1 0 380604470 146477056 31197 33554432000 4194304 5654031 140734359959120 140734359946936 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 35761 31197 141 357 0 35401 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 158032
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28393
/proc/meminfo: memFree=26652296/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=623.92 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11571 0 0 0 62386 6 0 0 20 0 1 0 380604470 95973376 22975 33554432000 4194304 5654031 140734359959120 140734359946936 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22975 141 357 0 23071 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 108712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28393
/proc/meminfo: memFree=26625424/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=683.92 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11666 0 0 0 68385 7 0 0 20 0 1 0 380604470 95973376 22975 33554432000 4194304 5654031 140734359959120 140734359946936 4215076 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22975 141 357 0 23071 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 108712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28393
/proc/meminfo: memFree=26576952/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=743.91 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11763 0 0 0 74383 8 0 0 20 0 1 0 380604470 95973376 22975 33554432000 4194304 5654031 140734359959120 140734359957144 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22975 141 357 0 23071 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 108712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28393
/proc/meminfo: memFree=26615616/32873648 swapFree=7388/7388
[pid=28251] ppid=28249 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (npSolver-pbo-It) S 28249 28251 27075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380500644 9367552 274 33554432000 4194304 5064252 140733824467344 140733824466256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28251/statm: 2287 274 233 213 0 72 0
[pid=28252] ppid=28251 vsize=5840 CPUtime=1038.08 cores=1,3,5,7
/proc/28252/stat : 28252 (npSolver-pbo) S 28251 28251 27075 0 -1 4202496 4929 42623 0 0 10 10 103768 20 20 0 1 0 380500644 5980160 916 33554432000 4194304 6004724 140736925212640 140736925198488 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28252/statm: 1460 916 189 442 0 1014 0
[pid=28278] ppid=28252 vsize=93724 CPUtime=762.01 cores=1,3,5,7
/proc/28278/stat : 28278 (glucosInc) R 28252 28251 27075 0 -1 4202496 11763 0 0 0 76193 8 0 0 20 0 1 0 380604470 95973376 22975 33554432000 4194304 5654031 140734359959120 140734359946936 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28278/statm: 23431 22975 141 357 0 23071 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 108712
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.12
CPU user time (s): 1799.73
CPU system time (s): 0.39294
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 169724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.39294
maximum resident set size= 137596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 2218
runsolver used 2.77658 second user time and 7.05493 second system time
The end