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-3749207-1339164466/watcher-3749207-1339164466 -o /tmp/evaluation-result-3749207-1339164466/solver-3749207-1339164466 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749207-1339164466.opb 1219113478 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: 1.92 1.98 1.99 3/177 519
/proc/meminfo: memFree=30819992/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[startup+0.043595 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 519
/proc/meminfo: memFree=30819992/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100279 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 519
/proc/meminfo: memFree=30819992/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 519
/proc/meminfo: memFree=30819992/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700297 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 519
/proc/meminfo: memFree=30819992/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 521
/proc/meminfo: memFree=30732412/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=166168 CPUtime=1.49 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) R 519 519 28157 0 -1 4202496 6419 0 0 0 146 3 0 0 20 0 1 0 382572015 170156032 30550 33554432000 4194304 6004724 140736667691280 140736667685880 4536318 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/520/statm: 41542 30550 154 442 0 41096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175316
[startup+3.10039 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 523
/proc/meminfo: memFree=30580152/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=138820 CPUtime=1.76 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 7279 0 0 0 157 19 0 0 20 0 1 0 382572015 142151680 25258 33554432000 4194304 6004724 140736667691280 140736667685744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/520/statm: 34705 25258 163 442 0 34259 0
[pid=522] ppid=520 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/522/stat : 522 (cp2_pre.sh) S 520 519 28157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382572192 9367552 277 33554432000 4194304 5064252 140735788877856 140735788876560 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/522/statm: 2287 277 234 213 0 72 0
[pid=523] ppid=522 vsize=325212 CPUtime=1.31 cores=1,3,5,7
/proc/523/stat : 523 (coprocessor) R 522 519 28157 0 -1 4202496 24238 0 0 0 123 8 0 0 20 0 1 0 382572193 333017088 71336 33554432000 4194304 6586260 140733232829168 140733232825928 4247007 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/523/statm: 81303 71337 164 584 0 80715 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 482328
[startup+6.30039 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 523
/proc/meminfo: memFree=30163216/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=138820 CPUtime=1.76 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 7279 0 0 0 157 19 0 0 20 0 1 0 382572015 142151680 25258 33554432000 4194304 6004724 140736667691280 140736667685744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/520/statm: 34705 25258 163 442 0 34259 0
[pid=522] ppid=520 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/522/stat : 522 (cp2_pre.sh) S 520 519 28157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382572192 9367552 277 33554432000 4194304 5064252 140735788877856 140735788876560 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/522/statm: 2287 277 234 213 0 72 0
[pid=523] ppid=522 vsize=507620 CPUtime=4.51 cores=1,3,5,7
/proc/523/stat : 523 (coprocessor) R 522 519 28157 0 -1 4202496 59868 0 0 0 434 17 0 0 20 0 1 0 382572193 519802880 123829 33554432000 4194304 6586260 140733232829168 140733232825192 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/523/statm: 126905 123830 182 584 0 126317 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 664736
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 525
/proc/meminfo: memFree=30454044/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=11.58 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) R 519 519 28157 0 -1 4202496 8426 67905 0 0 179 72 871 36 20 0 1 0 382572015 163418112 30440 33554432000 4194304 6004724 140736667691280 140736667685480 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30440 174 442 0 39451 0
[pid=525] ppid=520 vsize=251096 CPUtime=1.1 cores=1,3,5,7
/proc/525/stat : 525 (glucosInc) S 520 519 28157 0 -1 4202496 40186 0 0 0 100 10 0 0 20 0 1 0 382573101 257122304 51536 33554432000 4194304 5654031 140736576364960 140736576363272 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/525/statm: 62774 51536 146 357 0 62414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 419832
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 528
/proc/meminfo: memFree=30359820/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=258668 CPUtime=10.07 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 43367 0 0 0 995 12 0 0 20 0 1 0 382573556 264876032 55601 33554432000 4194304 5654031 140734159520000 140734159517768 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 64667 55601 140 357 0 64307 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 427404
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 528
/proc/meminfo: memFree=30386572/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=263572 CPUtime=35.66 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 44452 0 0 0 3554 12 0 0 20 0 1 0 382573556 269897728 57708 33554432000 4194304 5654031 140734159520000 140734159507816 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 65893 57708 140 357 0 65533 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 432308
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 528
/proc/meminfo: memFree=30341400/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=263572 CPUtime=86.86 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 44465 0 0 0 8674 12 0 0 20 0 1 0 382573556 269897728 58232 33554432000 4194304 5654031 140734159520000 140734159507816 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 65893 58232 141 357 0 65533 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 432308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 531
/proc/meminfo: memFree=30335140/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=266224 CPUtime=146.85 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 44487 0 0 0 14672 13 0 0 20 0 1 0 382573556 272613376 59276 33554432000 4194304 5654031 140734159520000 140734159507816 4232659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 66556 59276 141 357 0 66196 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 434960
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 531
/proc/meminfo: memFree=30388064/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=266224 CPUtime=206.81 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 44970 0 0 0 20667 14 0 0 20 0 1 0 382573556 272613376 57227 33554432000 4194304 5654031 140734159520000 140734159507816 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 66556 57227 142 357 0 66196 0
Current children cumulated CPU time (s) 222.21
################
# More data... #
################
/proc/loadavg: 2.01 2.62 2.53 3/179 623
/proc/meminfo: memFree=26789292/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=304936 CPUtime=1286.61 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 51587 0 0 0 128634 27 0 0 20 0 1 0 382573556 312254464 64028 33554432000 4194304 5654031 140734159520000 140734159507816 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76234 64028 142 357 0 75874 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 473672
[startup+1362.3 s]
/proc/loadavg: 2.11 2.54 2.51 3/180 626
/proc/meminfo: memFree=26774264/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=304936 CPUtime=1346.6 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 51590 0 0 0 134633 27 0 0 20 0 1 0 382573556 312254464 65564 33554432000 4194304 5654031 140734159520000 140734159507816 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76234 65564 142 357 0 75874 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 473672
[startup+1422.31 s]
/proc/loadavg: 2.04 2.44 2.47 3/179 626
/proc/meminfo: memFree=26761368/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=304936 CPUtime=1406.6 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 51592 0 0 0 140633 27 0 0 20 0 1 0 382573556 312254464 66588 33554432000 4194304 5654031 140734159520000 140734159507816 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76234 66588 142 357 0 75874 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 473672
[startup+1482.3 s]
/proc/loadavg: 2.01 2.35 2.44 3/179 626
/proc/meminfo: memFree=26772580/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=277080 CPUtime=1466.58 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 52053 0 0 0 146630 28 0 0 20 0 1 0 382573556 283729920 62652 33554432000 4194304 5654031 140734159520000 140734159507816 4216337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 69270 62652 142 357 0 68910 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 445816
[startup+1542.3 s]
/proc/loadavg: 2.04 2.30 2.41 3/179 627
/proc/meminfo: memFree=26742616/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=307900 CPUtime=1526.57 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 52420 0 0 0 152628 29 0 0 20 0 1 0 382573556 315289600 64030 33554432000 4194304 5654031 140734159520000 140734159507816 4208694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76975 64030 142 357 0 76615 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 476636
[startup+1602.3 s]
/proc/loadavg: 2.01 2.24 2.39 3/179 627
/proc/meminfo: memFree=26728224/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=307900 CPUtime=1586.56 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 52732 0 0 0 158627 29 0 0 20 0 1 0 382573556 315289600 65875 33554432000 4194304 5654031 140734159520000 140734159507816 4208584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76975 65875 142 357 0 76615 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 476636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.20 2.36 3/179 627
/proc/meminfo: memFree=26741520/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=277080 CPUtime=1646.55 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 52954 0 0 0 164625 30 0 0 20 0 1 0 382573556 283729920 61712 33554432000 4194304 5654031 140734159520000 140734159518024 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 69270 61712 142 357 0 68910 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 445816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.16 2.33 3/179 627
/proc/meminfo: memFree=26726132/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=277080 CPUtime=1706.54 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 53246 0 0 0 170623 31 0 0 20 0 1 0 382573556 283729920 63022 33554432000 4194304 5654031 140734159520000 140734159507816 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 69270 63022 142 357 0 68910 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 445816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.13 2.31 3/180 628
/proc/meminfo: memFree=26709000/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=307900 CPUtime=1766.54 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 53548 0 0 0 176622 32 0 0 20 0 1 0 382573556 315289600 64339 33554432000 4194304 5654031 140734159520000 140734159507816 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76975 64339 142 357 0 76615 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 476636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.13 2.31 3/180 628
/proc/meminfo: memFree=26696532/32873852 swapFree=7632/7632
[pid=519] ppid=517 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/519/stat : 519 (npSolver-pbo-I.) S 517 519 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382572015 9367552 274 33554432000 4194304 5064252 140735980862480 140735980861392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/519/statm: 2287 274 233 213 0 72 0
[pid=520] ppid=519 vsize=159588 CPUtime=15.4 cores=1,3,5,7
/proc/520/stat : 520 (npSolver-pbo) S 519 519 28157 0 -1 4202496 9308 109126 0 0 236 269 971 64 20 0 1 0 382572015 163418112 30450 33554432000 4194304 6004724 140736667691280 140736667676200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/520/statm: 39897 30450 184 442 0 39451 0
[pid=528] ppid=520 vsize=307900 CPUtime=1784.64 cores=1,3,5,7
/proc/528/stat : 528 (glucosInc) R 520 519 28157 0 -1 4202496 53549 0 0 0 178432 32 0 0 20 0 1 0 382573556 315289600 64851 33554432000 4194304 5654031 140734159520000 140734159507816 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/528/statm: 76975 64851 142 357 0 76615 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 476636
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 519 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=83163
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=335492
# CPU time returned by wait4() is 15.4187
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1796.39
CPU system time (s): 3.65
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 688396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0832
system time used= 3.33549
maximum resident set size= 538152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 514240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1317
involuntary context switches= 30
runsolver used 9.69453 second user time and 11.3013 second system time
The end