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-3746976-1339108636/watcher-3746976-1339108636 -o /tmp/evaluation-result-3746976-1339108636/solver-3746976-1339108636 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746976-1339108636.opb 1018771552 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 340
/proc/meminfo: memFree=25797636/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[startup+0.0629251 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 340
/proc/meminfo: memFree=25797636/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 340
/proc/meminfo: memFree=25797636/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 340
/proc/meminfo: memFree=25797636/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 340
/proc/meminfo: memFree=25797636/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 344
/proc/meminfo: memFree=25571172/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=97188 CPUtime=0.69 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 12397 0 0 0 63 6 0 0 20 0 1 0 376988073 99520512 22458 33554432000 4194304 6004724 140733318512336 140733318506800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/341/statm: 24297 22458 164 442 0 23851 0
[pid=343] ppid=341 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/343/stat : 343 (cp2_pre.sh) S 341 340 30741 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376988143 9367552 276 33554432000 4194304 5064252 140734354803776 140734354802480 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/343/statm: 2287 276 234 213 0 72 0
[pid=344] ppid=343 vsize=184752 CPUtime=0.78 cores=1,3,5,7
/proc/344/stat : 344 (coprocessor) R 343 340 30741 0 -1 4202496 30771 0 0 0 73 5 0 0 20 0 1 0 376988144 189186048 41079 33554432000 4194304 6586260 140733265503952 140733265500216 4501227 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/344/statm: 46188 41079 170 584 0 45600 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 300236
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 344
/proc/meminfo: memFree=25498472/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=97188 CPUtime=0.69 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 12397 0 0 0 63 6 0 0 20 0 1 0 376988073 99520512 22458 33554432000 4194304 6004724 140733318512336 140733318506800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/341/statm: 24297 22458 164 442 0 23851 0
[pid=343] ppid=341 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/343/stat : 343 (cp2_pre.sh) S 341 340 30741 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376988143 9367552 276 33554432000 4194304 5064252 140734354803776 140734354802480 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/343/statm: 2287 276 234 213 0 72 0
[pid=344] ppid=343 vsize=210320 CPUtime=2.38 cores=1,3,5,7
/proc/344/stat : 344 (coprocessor) R 343 340 30741 0 -1 4202496 34147 0 0 0 232 6 0 0 20 0 1 0 376988144 215367680 51609 33554432000 4194304 6586260 140733265503952 140733265499272 4667130 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/344/statm: 52580 51609 200 584 0 51992 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 325804
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 346
/proc/meminfo: memFree=25622296/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=97188 CPUtime=4.82 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 15543 35944 0 0 94 78 291 19 20 0 1 0 376988073 99520512 22467 33554432000 4194304 6004724 140733318512336 140733318506384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/341/statm: 24297 22467 173 442 0 23851 0
[pid=346] ppid=341 vsize=88168 CPUtime=1.43 cores=1,3,5,7
/proc/346/stat : 346 (glucosInc) S 341 340 30741 0 -1 4202496 16827 0 0 0 140 3 0 0 20 0 1 0 376988455 90284032 18720 33554432000 4194304 5654031 140735799501872 140735799500184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/346/statm: 22042 18720 145 357 0 21682 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 194504
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 349
/proc/meminfo: memFree=24858088/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=538052 CPUtime=3.37 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 81501 0 0 0 314 23 0 0 20 0 1 0 376989003 550965248 120674 33554432000 4194304 5654031 140736132697088 140736132695208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 134513 120674 131 357 0 134153 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 660772
[startup+25.507 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 349
/proc/meminfo: memFree=24997344/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=541648 CPUtime=16.18 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 82842 0 0 0 1594 24 0 0 20 0 1 0 376989003 554647552 122015 33554432000 4194304 5654031 140736132697088 140736132694872 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 135412 122015 141 357 0 135052 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 664368
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 350
/proc/meminfo: memFree=24981088/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=544000 CPUtime=41.77 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 84880 0 0 0 4147 30 0 0 20 0 1 0 376989003 557056000 125885 33554432000 4194304 5654031 140736132697088 140736132695112 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 136000 125885 142 357 0 135640 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 666720
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 350
/proc/meminfo: memFree=24962288/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=548464 CPUtime=92.96 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 88345 0 0 0 9256 40 0 0 20 0 1 0 376989003 561627136 130037 33554432000 4194304 5654031 140736132697088 140736132684904 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 137116 130037 142 357 0 136756 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 671184
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 353
/proc/meminfo: memFree=24062396/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=633800 CPUtime=152.93 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 90066 0 0 0 15251 42 0 0 20 0 1 0 376989003 649011200 135309 33554432000 4194304 5654031 140736132697088 140736132684904 4216136 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 158450 135309 142 357 0 158090 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 756520
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 356
/proc/meminfo: memFree=24071232/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=556232 CPUtime=212.9 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=24699872/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=672216 CPUtime=1232.7 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 107092 0 0 0 123180 90 0 0 20 0 1 0 376989003 688349184 145184 33554432000 4194304 5654031 140736132697088 140736132684904 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168054 145184 142 357 0 167694 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 794936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 420
/proc/meminfo: memFree=24859048/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=590828 CPUtime=1292.69 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 107651 0 0 0 129176 93 0 0 20 0 1 0 376989003 605007872 138360 33554432000 4194304 5654031 140736132697088 140736132684904 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 147707 138360 142 357 0 147347 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 713548
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 420
/proc/meminfo: memFree=24802704/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=672216 CPUtime=1352.68 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 108559 0 0 0 135173 95 0 0 20 0 1 0 376989003 688349184 144887 33554432000 4194304 5654031 140736132697088 140736132684904 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168054 144887 142 357 0 167694 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 794936
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 423
/proc/meminfo: memFree=24866748/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=672216 CPUtime=1412.68 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 109832 0 0 0 141167 101 0 0 20 0 1 0 376989003 688349184 144375 33554432000 4194304 5654031 140736132697088 140736132695176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168054 144375 142 357 0 167694 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 794936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 448
/proc/meminfo: memFree=24541932/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=804476 CPUtime=1472.67 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 110378 0 0 0 147164 103 0 0 20 0 1 0 376989003 823783424 164338 33554432000 4194304 5654031 140736132697088 140736132695176 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 201119 164338 142 357 0 200759 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 927196
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 448
/proc/meminfo: memFree=24540556/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=672216 CPUtime=1532.66 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 111070 0 0 0 153158 108 0 0 20 0 1 0 376989003 688349184 160215 33554432000 4194304 5654031 140736132697088 140736132695112 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168054 160215 142 357 0 167694 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 794936
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 449
/proc/meminfo: memFree=24637152/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=673240 CPUtime=1592.65 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 113113 0 0 0 159150 115 0 0 20 0 1 0 376989003 689397760 149026 33554432000 4194304 5654031 140736132697088 140736132694872 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168310 149026 142 357 0 167950 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 795960
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 449
/proc/meminfo: memFree=24668740/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=806496 CPUtime=1652.64 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 113826 0 0 0 165146 118 0 0 20 0 1 0 376989003 825851904 163573 33554432000 4194304 5654031 140736132697088 140736132695176 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 201624 163573 142 357 0 201264 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 929216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 449
/proc/meminfo: memFree=24483164/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=675120 CPUtime=1712.62 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 115333 0 0 0 171139 123 0 0 20 0 1 0 376989003 691322880 157133 33554432000 4194304 5654031 140736132697088 140736132694872 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168780 157133 142 357 0 168420 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 797840
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 449
/proc/meminfo: memFree=24592604/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=675376 CPUtime=1772.61 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 116310 0 0 0 177131 130 0 0 20 0 1 0 376989003 691585024 148692 33554432000 4194304 5654031 140736132697088 140736132695112 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168844 148692 142 357 0 168484 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 798096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 449
/proc/meminfo: memFree=24526572/32873844 swapFree=6904/6904
[pid=340] ppid=338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/340/stat : 340 (npSolver-pbo-It) S 338 340 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376988072 9367552 274 33554432000 4194304 5064252 140736578817296 140736578816208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/340/statm: 2287 274 233 213 0 72 0
[pid=341] ppid=340 vsize=113572 CPUtime=9.3 cores=1,3,5,7
/proc/341/stat : 341 (npSolver-pbo) S 340 340 30741 0 -1 4202496 21876 53806 0 0 355 116 432 27 20 0 1 0 376988073 116297728 26572 33554432000 4194304 6004724 140733318512336 140733318498184 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/341/statm: 28393 26572 182 442 0 27947 0
[pid=349] ppid=341 vsize=675576 CPUtime=1790.71 cores=1,3,5,7
/proc/349/stat : 349 (glucosInc) R 341 340 30741 0 -1 4202496 116369 0 0 0 178941 130 0 0 20 0 1 0 376989003 691789824 153350 33554432000 4194304 5654031 140736132697088 140736132695112 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/349/statm: 168894 153350 142 357 0 168534 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 798296
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.42
CPU time (s): 1800.05
CPU user time (s): 1797.29
CPU system time (s): 2.75358
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 1141972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.29
system time used= 2.75358
maximum resident set size= 799732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 737
involuntary context switches= 1897
runsolver used 3.16552 second user time and 9.64453 second system time
The end