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-3699767-1338071668/watcher-3699767-1338071668 -o /tmp/evaluation-result-3699767-1338071668/solver-3699767-1338071668 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699767-1338071668.opb 2112518341 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/176 7423
/proc/meminfo: memFree=29771492/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[startup+0.0188629 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7423
/proc/meminfo: memFree=29771492/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7423
/proc/meminfo: memFree=29771492/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7423
/proc/meminfo: memFree=29771492/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7423
/proc/meminfo: memFree=29771492/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7427
/proc/meminfo: memFree=29641008/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=0.29 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7932 0 0 0 26 3 0 0 20 0 1 0 273292282 34422784 6469 33554432000 4194304 5992684 140733901275680 140733901270128 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7424/statm: 8404 6469 164 440 0 7960 0
[pid=7426] ppid=7424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7426/stat : 7426 (cp2_pre.sh) S 7424 7423 5385 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273292312 9367552 277 33554432000 4194304 5064252 140734236784800 140734236783504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7426/statm: 2287 277 234 213 0 72 0
[pid=7427] ppid=7426 vsize=115000 CPUtime=1.18 cores=1,3,5,7
/proc/7427/stat : 7427 (coprocessor) R 7426 7423 5385 0 -1 4202496 21509 0 0 0 114 4 0 0 20 0 1 0 273292312 117760000 27656 33554432000 4194304 6586260 140734469912384 140734469908584 4683456 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/7427/statm: 28750 27656 191 584 0 28162 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 166912
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7427
/proc/meminfo: memFree=29665932/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 42764
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7429
/proc/meminfo: memFree=29682384/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=56412 CPUtime=4.08 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 11306 0 0 0 406 2 0 0 20 0 1 0 273292503 57765888 12402 33554432000 4194304 5654031 140734406786048 140734406783656 4208676 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 14103 12402 131 357 0 13743 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 99176
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7429
/proc/meminfo: memFree=29672268/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=56544 CPUtime=10.48 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 11356 0 0 0 1046 2 0 0 20 0 1 0 273292503 57901056 12452 33554432000 4194304 5654031 140734406786048 140734406783832 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 14136 12452 131 357 0 13776 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 99308
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7429
/proc/meminfo: memFree=29628632/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=57216 CPUtime=23.28 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 12671 0 0 0 2325 3 0 0 20 0 1 0 273292503 58589184 12532 33554432000 4194304 5654031 140734406786048 140734406784072 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 14304 12532 141 357 0 13944 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 99980
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7429
/proc/meminfo: memFree=29616444/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=64824 CPUtime=48.87 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 13100 0 0 0 4884 3 0 0 20 0 1 0 273292503 66379776 13977 33554432000 4194304 5654031 140734406786048 140734406783832 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 16206 13977 141 357 0 15846 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 107588
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7429
/proc/meminfo: memFree=29651884/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=65508 CPUtime=100.08 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 13585 0 0 0 10004 4 0 0 20 0 1 0 273292503 67080192 14545 33554432000 4194304 5654031 140734406786048 140734406783832 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 16377 14545 141 357 0 16017 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108272
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7430
/proc/meminfo: memFree=29548112/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=102860 CPUtime=160.05 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 14044 0 0 0 16000 5 0 0 20 0 1 0 273292503 105328640 24530 33554432000 4194304 5654031 140734406786048 140734406783848 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 25715 24530 141 357 0 25355 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 145624
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7430
/proc/meminfo: memFree=29558860/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=84184 CPUtime=220.05 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 14925 0 0 0 21999 6 0 0 20 0 1 0 273292503 86204416 19820 33554432000 4194304 5654031 140734406786048 140734406784072 4216690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 21046 19820 141 357 0 20686 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 126948
################
# More data... #
################
/proc/loadavg: 2.01 2.05 2.00 3/179 7439
/proc/meminfo: memFree=29511480/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=163852 CPUtime=1359.87 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15780 0 0 0 135977 10 0 0 20 0 1 0 273292503 167784448 35267 33554432000 4194304 5654031 140734406786048 140734406783976 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 40963 35267 141 357 0 40603 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 206616
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 7440
/proc/meminfo: memFree=29501972/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1419.87 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15780 0 0 0 141977 10 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 157296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 7440
/proc/meminfo: memFree=29542172/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1479.84 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15850 0 0 0 147974 10 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 157296
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 7443
/proc/meminfo: memFree=29503736/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1539.84 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15850 0 0 0 153974 10 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 157296
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7466
/proc/meminfo: memFree=29517388/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=163852 CPUtime=1599.83 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15920 0 0 0 159972 11 0 0 20 0 1 0 273292503 167784448 35267 33554432000 4194304 5654031 140734406786048 140734406783976 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 40963 35267 141 357 0 40603 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 206616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7466
/proc/meminfo: memFree=29510264/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1659.82 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15921 0 0 0 165971 11 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 157296
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 7467
/proc/meminfo: memFree=29558840/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1719.81 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15921 0 0 0 171970 11 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 157296
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 7660
/proc/meminfo: memFree=29748564/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1779.8 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15992 0 0 0 177969 11 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 157296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 7668
/proc/meminfo: memFree=29758200/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1797.9 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15992 0 0 0 179779 11 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 157296
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 7668
/proc/meminfo: memFree=29758200/32873852 swapFree=7624/7624
[pid=7423] ppid=7421 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7423/stat : 7423 (npSolver-pbo-I.) S 7421 7423 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273292282 9367552 275 33554432000 4194304 5064252 140735858851776 140735858850688 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7423/statm: 2287 275 233 213 0 72 0
[pid=7424] ppid=7423 vsize=33616 CPUtime=2.18 cores=1,3,5,7
/proc/7424/stat : 7424 (npSolver-pbo) S 7423 7423 5385 0 -1 4202496 7948 22910 0 0 26 3 182 7 20 0 1 0 273292282 34422784 6472 33554432000 4194304 5992684 140733901275680 140733901261944 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/7424/statm: 8404 6472 166 440 0 7960 0
[pid=7429] ppid=7424 vsize=114532 CPUtime=1797.9 cores=1,3,5,7
/proc/7429/stat : 7429 (glucosInc) R 7424 7423 5385 0 -1 4202496 15992 0 0 0 179779 11 0 0 20 0 1 0 273292503 117280768 27532 33554432000 4194304 5654031 140734406786048 140734406784072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7429/statm: 28633 27532 141 357 0 28273 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 157296
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7423 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=87682
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 2.20366
# while last known CPU time is 1800.08
#
# 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.08
CPU user time (s): 1799.87
CPU system time (s): 0.21
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 206616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.08768
system time used= 0.115982
maximum resident set size= 114652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 16
runsolver used 3.3035 second user time and 8.17776 second system time
The end