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-3746891-1339109214/watcher-3746891-1339109214 -o /tmp/evaluation-result-3746891-1339109214/solver-3746891-1339109214 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746891-1339109214.opb 1940873738 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.26 2.39 3/178 9443
/proc/meminfo: memFree=19872468/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[startup+0.0246219 s]
/proc/loadavg: 2.00 2.26 2.39 3/178 9443
/proc/meminfo: memFree=19872468/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 2.00 2.26 2.39 3/178 9443
/proc/meminfo: memFree=19872468/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.00 2.26 2.39 3/178 9443
/proc/meminfo: memFree=19872468/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 2.00 2.26 2.39 3/178 9443
/proc/meminfo: memFree=19872468/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.26 2.39 3/182 9447
/proc/meminfo: memFree=19774340/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=18804 CPUtime=0.21 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 6063 0 0 0 19 2 0 0 20 0 1 0 377047418 19255296 3542 33554432000 4194304 6004724 140733445751216 140733445745680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9444/statm: 4701 3542 164 442 0 4255 0
[pid=9446] ppid=9444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9446/stat : 9446 (cp2_pre.sh) S 9444 9443 4113 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377047440 9367552 276 33554432000 4194304 5064252 140734904606080 140734904604784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 2287 276 234 213 0 72 0
[pid=9447] ppid=9446 vsize=84044 CPUtime=1.27 cores=1,3,5,7
/proc/9447/stat : 9447 (coprocessor) R 9446 9443 4113 0 -1 4202496 16692 0 0 0 125 2 0 0 20 0 1 0 377047440 86061056 20159 33554432000 4194304 6586260 140734226143216 140734226139480 5599279 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9447/statm: 21011 20159 192 584 0 20423 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121144
[startup+3.10036 s]
/proc/loadavg: 2.00 2.26 2.39 3/181 9449
/proc/meminfo: memFree=19820792/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 6080 18643 0 0 19 2 172 7 20 0 1 0 377047418 19255296 3545 33554432000 4194304 6004724 140733445751216 140733445737496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9444/statm: 4701 3545 167 442 0 4255 0
[pid=9449] ppid=9444 vsize=48900 CPUtime=1.06 cores=1,3,5,7
/proc/9449/stat : 9449 (glucosInc) R 9444 9443 4113 0 -1 4202496 10099 0 0 0 105 1 0 0 20 0 1 0 377047620 50073600 10381 33554432000 4194304 5654031 140736621426272 140736621424360 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9449/statm: 12225 10381 132 357 0 11865 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 76852
[startup+6.3004 s]
/proc/loadavg: 2.00 2.25 2.39 3/181 9449
/proc/meminfo: memFree=19784236/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 6080 18643 0 0 19 2 172 7 20 0 1 0 377047418 19255296 3545 33554432000 4194304 6004724 140733445751216 140733445737496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9444/statm: 4701 3545 167 442 0 4255 0
[pid=9449] ppid=9444 vsize=80104 CPUtime=4.26 cores=1,3,5,7
/proc/9449/stat : 9449 (glucosInc) R 9444 9443 4113 0 -1 4202496 12056 0 0 0 423 3 0 0 20 0 1 0 377047620 82026496 18369 33554432000 4194304 5654031 140736621426272 140736621424200 4214483 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9449/statm: 20026 18369 132 357 0 19666 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108056
[startup+12.7004 s]
/proc/loadavg: 2.00 2.25 2.39 3/181 9449
/proc/meminfo: memFree=19751804/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 6080 18643 0 0 19 2 172 7 20 0 1 0 377047418 19255296 3545 33554432000 4194304 6004724 140733445751216 140733445737496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9444/statm: 4701 3545 167 442 0 4255 0
[pid=9449] ppid=9444 vsize=130628 CPUtime=10.66 cores=1,3,5,7
/proc/9449/stat : 9449 (glucosInc) R 9444 9443 4113 0 -1 4202496 13989 0 0 0 1060 6 0 0 20 0 1 0 377047620 133763072 26353 33554432000 4194304 5654031 140736621426272 140736621424360 4215126 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9449/statm: 32657 26353 132 357 0 32297 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158580
[startup+25.5004 s]
/proc/loadavg: 2.00 2.23 2.38 3/181 9449
/proc/meminfo: memFree=19754788/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 6080 18643 0 0 19 2 172 7 20 0 1 0 377047418 19255296 3545 33554432000 4194304 6004724 140733445751216 140733445737496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9444/statm: 4701 3545 167 442 0 4255 0
[pid=9449] ppid=9444 vsize=130628 CPUtime=23.46 cores=1,3,5,7
/proc/9449/stat : 9449 (glucosInc) R 9444 9443 4113 0 -1 4202496 16608 0 0 0 2337 9 0 0 20 0 1 0 377047620 133763072 24818 33554432000 4194304 5654031 140736621426272 140736621424360 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9449/statm: 32657 24818 132 357 0 32297 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 158580
[startup+51.1004 s]
/proc/loadavg: 2.00 2.21 2.37 3/181 9454
/proc/meminfo: memFree=19627168/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=23668 CPUtime=46.62 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 17663 72276 0 0 181 53 4394 34 20 0 1 0 377047418 24236032 4809 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/9444/statm: 5917 4809 183 442 0 5471 0
[pid=9454] ppid=9444 vsize=181996 CPUtime=3.68 cores=1,3,5,7
/proc/9454/stat : 9454 (glucosInc) R 9444 9443 4113 0 -1 4202496 32110 0 0 0 361 7 0 0 20 0 1 0 377052158 186363904 38612 33554432000 4194304 5654031 140736041367216 140736041365112 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9454/statm: 45499 38612 141 357 0 45139 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 214812
[startup+102.3 s]
/proc/loadavg: 2.11 2.21 2.36 3/181 9461
/proc/meminfo: memFree=19592036/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=22788 CPUtime=70 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 35253 168137 0 0 394 82 6458 66 20 0 1 0 377047418 23334912 4589 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/9444/statm: 5697 4589 183 442 0 5251 0
[pid=9461] ppid=9444 vsize=256380 CPUtime=31.49 cores=1,3,5,7
/proc/9461/stat : 9461 (glucosInc) R 9444 9443 4113 0 -1 4202496 35425 0 0 0 3136 13 0 0 20 0 1 0 377054497 262533120 48324 33554432000 4194304 5654031 140733552046688 140733552044584 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9461/statm: 64095 48324 141 357 0 63735 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 288316
[startup+162.3 s]
/proc/loadavg: 2.08 2.18 2.34 3/181 9463
/proc/meminfo: memFree=19634216/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=22592 CPUtime=113.93 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 41347 206470 0 0 459 91 10756 87 20 0 1 0 377047418 23134208 4540 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/9444/statm: 5648 4540 183 442 0 5202 0
[pid=9463] ppid=9444 vsize=174240 CPUtime=47.54 cores=1,3,5,7
/proc/9463/stat : 9463 (glucosInc) R 9444 9443 4113 0 -1 4202496 31294 0 0 0 4745 9 0 0 20 0 1 0 377058892 178421760 37828 33554432000 4194304 5654031 140735468479328 140735468477352 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9463/statm: 43560 37828 140 357 0 43200 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 205980
[startup+222.307 s]
/proc/loadavg: 2.07 2.16 2.32 3/182 9476
/proc/meminfo: memFree=19667120/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=21744 CPUtime=218.8 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 68816 354634 0 0 760 133 20853 134 20 0 1 0 377047418 22265856 4328 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/9444/statm: 5436 4328 183 442 0 4990 0
[pid=9476] ppid=9444 vsize=143352 CPUtime=2.69 cores=1,3,5,7
/proc/9476/stat : 9476 (glucosInc) R 9444 9443 4113 0 -1 4202496 26546 0 0 0 264 5 0 0 20 0 1 0 377069377 146792448 30801 33554432000 4194304 5654031 140733631111840 140733631099656 4215648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9476/statm: 35838 30801 141 357 0 35478 0
Current children cumulated CPU time (s) 221.49
################
# More data... #
################
/proc/loadavg: 1.99 2.00 2.08 3/181 9605
/proc/meminfo: memFree=30713544/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=228836 CPUtime=531.52 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 31237 0 0 0 53133 19 0 0 20 0 1 0 377124483 234328064 50198 33554432000 4194304 5654031 140737147066928 140737147065016 4215168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 57209 50198 141 357 0 56849 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 291228
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.08 3/181 9625
/proc/meminfo: memFree=30756260/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=198016 CPUtime=591.51 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 31858 0 0 0 59130 21 0 0 20 0 1 0 377124483 202768384 46547 33554432000 4194304 5654031 140737147066928 140737147054744 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 49504 46547 141 357 0 49144 0
Current children cumulated CPU time (s) 1361.27
Current children cumulated vsize (KiB) 260408
[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.07 3/182 9642
/proc/meminfo: memFree=30705060/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=278924 CPUtime=651.5 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 32763 0 0 0 65128 22 0 0 20 0 1 0 377124483 285618176 58179 33554432000 4194304 5654031 140737147066928 140737147054744 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 69731 58179 141 357 0 69371 0
Current children cumulated CPU time (s) 1421.26
Current children cumulated vsize (KiB) 341316
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/181 9648
/proc/meminfo: memFree=30715788/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=228836 CPUtime=711.49 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 33666 0 0 0 71125 24 0 0 20 0 1 0 377124483 234328064 54806 33554432000 4194304 5654031 140737147066928 140737147054744 4215115 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 57209 54806 141 357 0 56849 0
Current children cumulated CPU time (s) 1481.25
Current children cumulated vsize (KiB) 291228
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.06 3/181 9648
/proc/meminfo: memFree=30732204/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=228836 CPUtime=771.49 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 34859 0 0 0 77122 27 0 0 20 0 1 0 377124483 234328064 50710 33554432000 4194304 5654031 140737147066928 140737147054744 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 57209 50710 141 357 0 56849 0
Current children cumulated CPU time (s) 1541.25
Current children cumulated vsize (KiB) 291228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 9651
/proc/meminfo: memFree=30743120/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=198016 CPUtime=831.47 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 35471 0 0 0 83118 29 0 0 20 0 1 0 377124483 202768384 47571 33554432000 4194304 5654031 140737147066928 140737147054744 4215206 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 49504 47571 141 357 0 49144 0
Current children cumulated CPU time (s) 1601.23
Current children cumulated vsize (KiB) 260408
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.06 3/181 9651
/proc/meminfo: memFree=30678324/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=278924 CPUtime=891.46 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 36384 0 0 0 89115 31 0 0 20 0 1 0 377124483 285618176 62275 33554432000 4194304 5654031 140737147066928 140737147054744 4232782 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 69731 62275 141 357 0 69371 0
Current children cumulated CPU time (s) 1661.22
Current children cumulated vsize (KiB) 341316
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.06 3/181 9651
/proc/meminfo: memFree=30688504/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=278924 CPUtime=951.45 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 37600 0 0 0 95111 34 0 0 20 0 1 0 377124483 285618176 57667 33554432000 4194304 5654031 140737147066928 140737147054744 4215017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 69731 57667 141 357 0 69371 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 341316
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9651
/proc/meminfo: memFree=30714556/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=228836 CPUtime=1011.44 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 38514 0 0 0 101108 36 0 0 20 0 1 0 377124483 234328064 51222 33554432000 4194304 5654031 140737147066928 140737147054744 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 57209 51222 141 357 0 56849 0
Current children cumulated CPU time (s) 1781.2
Current children cumulated vsize (KiB) 291228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9651
/proc/meminfo: memFree=30704192/32873648 swapFree=7628/7628
[pid=9443] ppid=9441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9443/stat : 9443 (npSolver-pbo-It) S 9441 9443 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377047418 9367552 275 33554432000 4194304 5064252 140733800376704 140733800375616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9443/statm: 2287 275 233 213 0 72 0
[pid=9444] ppid=9443 vsize=53244 CPUtime=769.76 cores=1,3,5,7
/proc/9444/stat : 9444 (npSolver-pbo) S 9443 9443 4113 0 -1 4202496 114770 576719 0 0 1153 187 75411 225 20 0 1 0 377047418 54521856 12171 33554432000 4194304 6004724 140733445751216 140733445737064 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/9444/statm: 13311 12171 183 442 0 12865 0
[pid=9494] ppid=9444 vsize=228836 CPUtime=1030.25 cores=1,3,5,7
/proc/9494/stat : 9494 (glucosInc) R 9444 9443 4113 0 -1 4202496 38519 0 0 0 102988 37 0 0 20 0 1 0 377124483 234328064 53782 33554432000 4194304 5654031 140737147066928 140737147054744 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9494/statm: 57209 53782 141 357 0 56849 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 291228
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 9443 and gives
# childrusage.ru_utime.tv_sec=765
# childrusage.ru_utime.tv_usec=650603
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=131371
# CPU time returned by wait4() is 769.782
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.11
CPU time (s): 1800.01
CPU user time (s): 1795.52
CPU system time (s): 4.49
CPU usage (%): 99.9387
Max. virtual memory (cumulated for all children) (KiB): 390636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.651
system time used= 4.13137
maximum resident set size= 265352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691864
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1697192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10965
involuntary context switches= 4175
runsolver used 3.37349 second user time and 7.73182 second system time
The end