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-3699348-1338133153/watcher-3699348-1338133153 -o /tmp/evaluation-result-3699348-1338133153/solver-3699348-1338133153 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699348-1338133153.opb 1471596560 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.15 2.03 2.01 3/178 24476
/proc/meminfo: memFree=30550744/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[startup+0.0725171 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 24476
/proc/meminfo: memFree=30550744/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 24476
/proc/meminfo: memFree=30550744/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30036 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 24476
/proc/meminfo: memFree=30550744/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 24476
/proc/meminfo: memFree=30550744/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.13 2.03 2.01 3/182 24480
/proc/meminfo: memFree=30329148/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=54664 CPUtime=0.58 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 8288 0 0 0 51 7 0 0 20 0 1 0 279443827 55975936 10505 33554432000 4194304 5992684 140735951906512 140735951900960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 13666 10505 172 440 0 13222 0
[pid=24479] ppid=24477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24479/stat : 24479 (cp2_pre.sh) S 24477 24476 22966 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279443885 9367552 276 33554432000 4194304 5064252 140736361254608 140736361253312 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24479/statm: 2287 276 234 213 0 72 0
[pid=24480] ppid=24479 vsize=217536 CPUtime=0.9 cores=1,3,5,7
/proc/24480/stat : 24480 (coprocessor) R 24479 24476 22966 0 -1 4202496 31780 0 0 0 84 6 0 0 20 0 1 0 279443886 222756864 48668 33554432000 4194304 6586260 140733805432864 140733805429128 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24480/statm: 54384 48668 166 584 0 53796 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 290496
[startup+3.10043 s]
/proc/loadavg: 2.13 2.03 2.01 3/182 24480
/proc/meminfo: memFree=30253420/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=54664 CPUtime=0.58 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 8288 0 0 0 51 7 0 0 20 0 1 0 279443827 55975936 10505 33554432000 4194304 5992684 140735951906512 140735951900960 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 13666 10505 172 440 0 13222 0
[pid=24479] ppid=24477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24479/stat : 24479 (cp2_pre.sh) S 24477 24476 22966 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279443885 9367552 276 33554432000 4194304 5064252 140736361254608 140736361253312 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24479/statm: 2287 276 234 213 0 72 0
[pid=24480] ppid=24479 vsize=290940 CPUtime=2.5 cores=1,3,5,7
/proc/24480/stat : 24480 (coprocessor) R 24479 24476 22966 0 -1 4202496 44732 0 0 0 240 10 0 0 20 0 1 0 279443886 297922560 71192 33554432000 4194304 6586260 140733805432864 140733805428888 5710727 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24480/statm: 72735 71192 200 584 0 72147 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 363900
[startup+6.30043 s]
/proc/loadavg: 2.13 2.03 2.01 3/181 24482
/proc/meminfo: memFree=30384076/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=54664 CPUtime=4.38 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 8303 45924 0 0 51 7 334 46 20 0 1 0 279443827 55975936 10507 33554432000 4194304 5992684 140735951906512 140735951892776 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 13666 10507 174 440 0 13222 0
[pid=24482] ppid=24477 vsize=115320 CPUtime=1.88 cores=1,3,5,7
/proc/24482/stat : 24482 (glucosInc) R 24477 24476 22966 0 -1 4202496 23899 0 0 0 184 4 0 0 20 0 1 0 279444266 118087680 26482 33554432000 4194304 5654031 140736714372000 140736714359816 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24482/statm: 28830 26482 140 357 0 28470 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 179132
[startup+12.7002 s]
/proc/loadavg: 2.26 2.06 2.02 3/180 24484
/proc/meminfo: memFree=30211628/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=67364 CPUtime=11.76 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 17520 71114 0 0 286 142 691 57 20 0 1 0 279443827 68980736 13717 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 16841 13717 192 440 0 16397 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 76512
[startup+25.5004 s]
/proc/loadavg: 2.30 2.08 2.02 3/181 24485
/proc/meminfo: memFree=29899188/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=67364 CPUtime=11.76 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 17520 71114 0 0 286 142 691 57 20 0 1 0 279443827 68980736 13717 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 16841 13717 192 440 0 16397 0
[pid=24485] ppid=24477 vsize=507936 CPUtime=13.27 cores=1,3,5,7
/proc/24485/stat : 24485 (glucosInc) R 24477 24476 22966 0 -1 4202496 75192 0 0 0 1304 23 0 0 20 0 1 0 279445047 520126464 105131 33554432000 4194304 5654031 140737013525232 140737013522840 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24485/statm: 126984 105131 141 357 0 126624 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 584448
[startup+51.1004 s]
/proc/loadavg: 2.20 2.07 2.02 3/182 24488
/proc/meminfo: memFree=29894432/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=67364 CPUtime=11.76 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 17520 71114 0 0 286 142 691 57 20 0 1 0 279443827 68980736 13717 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 16841 13717 192 440 0 16397 0
[pid=24485] ppid=24477 vsize=508660 CPUtime=38.86 cores=1,3,5,7
/proc/24485/stat : 24485 (glucosInc) R 24477 24476 22966 0 -1 4202496 75467 0 0 0 3863 23 0 0 20 0 1 0 279445047 520867840 105917 33554432000 4194304 5654031 140737013525232 140737013523016 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24485/statm: 127165 105917 141 357 0 126805 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 585172
[startup+102.307 s]
/proc/loadavg: 2.08 2.05 2.02 3/182 24488
/proc/meminfo: memFree=29924812/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=67364 CPUtime=11.76 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 17520 71114 0 0 286 142 691 57 20 0 1 0 279443827 68980736 13717 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 16841 13717 192 440 0 16397 0
[pid=24485] ppid=24477 vsize=509548 CPUtime=90.07 cores=1,3,5,7
/proc/24485/stat : 24485 (glucosInc) R 24477 24476 22966 0 -1 4202496 75680 0 0 0 8983 24 0 0 20 0 1 0 279445047 521777152 107663 33554432000 4194304 5654031 140737013525232 140737013513048 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24485/statm: 127387 107663 141 357 0 127027 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 586060
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 24489
/proc/meminfo: memFree=29906656/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=67364 CPUtime=11.76 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 17520 71114 0 0 286 142 691 57 20 0 1 0 279443827 68980736 13717 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 16841 13717 192 440 0 16397 0
[pid=24485] ppid=24477 vsize=512544 CPUtime=150.04 cores=1,3,5,7
/proc/24485/stat : 24485 (glucosInc) R 24477 24476 22966 0 -1 4202496 77161 0 0 0 14975 29 0 0 20 0 1 0 279445047 524845056 110641 33554432000 4194304 5654031 140737013525232 140737013513048 4209096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24485/statm: 128136 110641 141 357 0 127776 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 589056
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 24491
/proc/meminfo: memFree=29928548/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=167.77 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 23564 149319 0 0 463 166 16053 95 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24491] ppid=24477 vsize=455432 CPUtime=53.99 cores=1,3,5,7
/proc/24491/stat : 24491 (glucosInc) R 24477 24476 22966 0 -1 4202496 66468 0 0 0 5380 19 0 0 20 0 1 0 279460653 466362368 97123 33554432000 4194304 5654031 140737444767040 140737444764728 4215055 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24491/statm: 113858 97123 141 357 0 113498 0
Current children cumulated CPU time (s) 221.76
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/182 24555
/proc/meminfo: memFree=30443728/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=432264 CPUtime=951.96 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 70231 0 0 0 95161 35 0 0 20 0 1 0 279478837 442638336 95125 33554432000 4194304 5654031 140733824437072 140733824424888 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 108066 95125 142 357 0 107706 0
Current children cumulated CPU time (s) 1301.5
Current children cumulated vsize (KiB) 554940
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24579
/proc/meminfo: memFree=30452580/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=432264 CPUtime=1011.96 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 72926 0 0 0 101151 45 0 0 20 0 1 0 279478837 442638336 92395 33554432000 4194304 5654031 140733824437072 140733824424888 4215076 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 108066 92395 142 357 0 107706 0
Current children cumulated CPU time (s) 1361.5
Current children cumulated vsize (KiB) 554940
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24579
/proc/meminfo: memFree=30429720/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=438908 CPUtime=1071.95 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 74725 0 0 0 107148 47 0 0 20 0 1 0 279478837 449441792 94153 33554432000 4194304 5654031 140733824437072 140733824424888 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 109727 94153 142 357 0 109367 0
Current children cumulated CPU time (s) 1421.49
Current children cumulated vsize (KiB) 561584
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24579
/proc/meminfo: memFree=30363284/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=520296 CPUtime=1131.92 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 74938 0 0 0 113143 49 0 0 20 0 1 0 279478837 532783104 108657 33554432000 4194304 5654031 140733824437072 140733824424888 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 130074 108657 142 357 0 129714 0
Current children cumulated CPU time (s) 1481.46
Current children cumulated vsize (KiB) 642972
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24579
/proc/meminfo: memFree=30386560/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=438908 CPUtime=1191.92 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 75502 0 0 0 119140 52 0 0 20 0 1 0 279478837 449441792 99628 33554432000 4194304 5654031 140733824437072 140733824424888 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 109727 99628 142 357 0 109367 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 561584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24579
/proc/meminfo: memFree=30378928/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=438908 CPUtime=1251.9 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 75504 0 0 0 125138 52 0 0 20 0 1 0 279478837 449441792 100652 33554432000 4194304 5654031 140733824437072 140733824424888 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 109727 100652 142 357 0 109367 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 561584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24579
/proc/meminfo: memFree=30365008/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=522628 CPUtime=1311.9 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 76295 0 0 0 131135 55 0 0 20 0 1 0 279478837 535171072 111150 33554432000 4194304 5654031 140733824437072 140733824434840 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 130657 111150 142 357 0 130297 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 645304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24580
/proc/meminfo: memFree=30374184/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=444216 CPUtime=1371.89 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 76556 0 0 0 137131 58 0 0 20 0 1 0 279478837 454877184 101360 33554432000 4194304 5654031 140733824437072 140733824424888 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 111054 101360 142 357 0 110694 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 566892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24580
/proc/meminfo: memFree=30422824/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=444216 CPUtime=1431.88 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 77573 0 0 0 143127 61 0 0 20 0 1 0 279478837 454877184 95397 33554432000 4194304 5654031 140733824437072 140733824434920 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 111054 95397 142 357 0 110694 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 566892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24580
/proc/meminfo: memFree=30408240/32873844 swapFree=6872/6872
[pid=24476] ppid=24474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (npSolver-pbo-I.) S 24474 24476 22966 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279443826 9367552 275 33554432000 4194304 5064252 140734388121264 140734388120176 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24476/statm: 2287 275 233 213 0 72 0
[pid=24477] ppid=24476 vsize=113528 CPUtime=349.54 cores=1,3,5,7
/proc/24477/stat : 24477 (npSolver-pbo) S 24476 24476 22966 0 -1 4202496 29498 217044 0 0 616 186 34031 121 20 0 1 0 279443827 116252672 25226 33554432000 4194304 5992684 140735951906512 140735951891416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24477/statm: 28382 25226 192 440 0 27938 0
[pid=24493] ppid=24477 vsize=444216 CPUtime=1450.49 cores=1,3,5,7
/proc/24493/stat : 24493 (glucosInc) R 24477 24476 22966 0 -1 4202496 77792 0 0 0 144987 62 0 0 20 0 1 0 279478837 454877184 97149 33554432000 4194304 5654031 140733824437072 140733824424888 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24493/statm: 111054 97149 142 357 0 110694 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 566892
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 24476 and gives
# childrusage.ru_utime.tv_sec=346
# childrusage.ru_utime.tv_usec=479327
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=89530
# CPU time returned by wait4() is 349.569
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.92
CPU time (s): 1800.03
CPU user time (s): 1796.34
CPU system time (s): 3.69
CPU usage (%): 99.9508
Max. virtual memory (cumulated for all children) (KiB): 778508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 346.479
system time used= 3.08953
maximum resident set size= 552140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246916
page faults= 0
swaps= 0
block input operations= 8
block output operations= 941200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4749
involuntary context switches= 2569
runsolver used 4.12237 second user time and 8.30574 second system time
The end