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-3702606-1338126734/watcher-3702606-1338126734 -o /tmp/evaluation-result-3702606-1338126734/solver-3702606-1338126734 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702606-1338126734.opb 626816382 HOME HOME
running on 4 cores: 0,2,4,6
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.50 2.11 2.11 2/178 25413
/proc/meminfo: memFree=31260240/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (runsolver) D 25411 25413 24278 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 278797951 12095488 50 33554432000 4194304 5436572 140735150115760 140735150112056 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/25413/statm: 2953 50 31 304 0 2645 0
[startup+0.0952751 s]
/proc/loadavg: 2.50 2.11 2.11 2/178 25413
/proc/meminfo: memFree=31260240/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 2.50 2.11 2.11 2/178 25413
/proc/meminfo: memFree=31260240/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.50 2.11 2.11 2/178 25413
/proc/meminfo: memFree=31260240/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.50 2.11 2.11 2/178 25413
/proc/meminfo: memFree=31260240/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.50 2.11 2.11 3/180 25415
/proc/meminfo: memFree=31103468/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=99816 CPUtime=1.07 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 12391 0 0 0 96 11 0 0 20 0 1 0 278797955 102211584 17674 33554432000 4194304 5992684 140736993594224 140736993588672 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 24954 17674 171 440 0 24510 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 108964
[startup+3.10039 s]
/proc/loadavg: 2.50 2.11 2.11 3/182 25417
/proc/meminfo: memFree=30706956/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=99816 CPUtime=1.07 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 12391 0 0 0 96 11 0 0 20 0 1 0 278797955 102211584 17674 33554432000 4194304 5992684 140736993594224 140736993588672 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 24954 17674 171 440 0 24510 0
[pid=25416] ppid=25415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25416/stat : 25416 (cp2_pre.sh) S 25415 25413 24278 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278798063 9367552 277 33554432000 4194304 5064252 140737216669552 140737216668256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25416/statm: 2287 277 234 213 0 72 0
[pid=25417] ppid=25416 vsize=327996 CPUtime=1.97 cores=0,2,4,6
/proc/25417/stat : 25417 (coprocessor) R 25416 25413 24278 0 -1 4202496 42407 0 0 0 188 9 0 0 20 0 1 0 278798063 335867904 80264 33554432000 4194304 6586260 140734095325936 140734095322200 4789248 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25417/statm: 81999 80264 172 584 0 81411 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 446108
[startup+6.30021 s]
/proc/loadavg: 2.46 2.11 2.11 3/182 25417
/proc/meminfo: memFree=30263368/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=99816 CPUtime=5.61 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 12409 50813 0 0 96 11 432 22 20 0 1 0 278797955 102211584 17676 33554432000 4194304 5992684 140736993594224 140736993580488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 24954 17676 173 440 0 24510 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 108964
[startup+12.7003 s]
/proc/loadavg: 2.42 2.11 2.11 3/183 25421
/proc/meminfo: memFree=29378308/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=113748 CPUtime=5.83 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) R 25413 25413 24278 0 -1 4202496 14922 50813 0 0 115 14 432 22 20 0 1 0 278797955 116477952 21166 33554432000 4194304 5992684 140736993594224 140736993580488 5179696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 28437 21166 180 440 0 27993 0
[pid=25419] ppid=25415 vsize=175340 CPUtime=6.29 cores=0,2,4,6
/proc/25419/stat : 25419 (glucosInc) S 25415 25413 24278 0 -1 4202496 32610 0 0 0 624 5 0 0 20 0 1 0 278798568 179548160 39974 33554432000 4194304 5654031 140736432847792 140736432846104 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25419/statm: 43835 39974 146 357 0 43475 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 298236
[startup+25.5003 s]
/proc/loadavg: 2.48 2.14 2.12 3/183 25431
/proc/meminfo: memFree=27000104/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=615200 CPUtime=4.99 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 91310 0 0 0 474 25 0 0 20 0 1 0 278800000 629964800 141788 33554432000 4194304 5654031 140733472446992 140733472444776 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25431/statm: 153800 141788 131 357 0 153440 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 750112
[startup+51.1003 s]
/proc/loadavg: 2.37 2.14 2.12 3/182 25433
/proc/meminfo: memFree=27125676/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=636860 CPUtime=30.59 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 94650 0 0 0 3033 26 0 0 20 0 1 0 278800000 652144640 146661 33554432000 4194304 5654031 140733472446992 140733472434808 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25431/statm: 159215 146661 141 357 0 158855 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 771772
[startup+102.307 s]
/proc/loadavg: 2.96 2.32 2.18 3/181 25474
/proc/meminfo: memFree=30253840/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=636860 CPUtime=81.78 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 95147 0 0 0 8134 44 0 0 20 0 1 0 278800000 652144640 147669 33554432000 4194304 5654031 140733472446992 140733472434808 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 159215 147669 142 357 0 158855 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 771772
[startup+162.3 s]
/proc/loadavg: 2.77 2.39 2.21 3/181 25478
/proc/meminfo: memFree=26038824/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=636860 CPUtime=141.76 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 95147 0 0 0 14132 44 0 0 20 0 1 0 278800000 652144640 147669 33554432000 4194304 5654031 140733472446992 140733472434808 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 159215 147669 142 357 0 158855 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 771772
[startup+222.3 s]
/proc/loadavg: 3.59 2.70 2.33 3/183 25521
/proc/meminfo: memFree=29483232/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=718248 CPUtime=201.73 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 95884 0 0 0 20128 45 0 0 20 0 1 0 278800000 735485952 149886 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 179562 149886 142 357 0 179202 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 853160
[startup+282.3 s]
/proc/loadavg: 2.65 2.60 2.31 3/184 25571
/proc/meminfo: memFree=30290572/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.07 2.09 2.11 3/183 25604
/proc/meminfo: memFree=30220272/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=733552 CPUtime=1341.4 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98348 0 0 0 134091 49 0 0 20 0 1 0 278800000 751157248 157912 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 183388 157912 142 357 0 183028 0
Current children cumulated CPU time (s) 1361.32
Current children cumulated vsize (KiB) 868464
[startup+1422.31 s]
/proc/loadavg: 2.02 2.07 2.10 3/183 25604
/proc/meminfo: memFree=30216176/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=733552 CPUtime=1401.39 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98350 0 0 0 140090 49 0 0 20 0 1 0 278800000 751157248 158936 33554432000 4194304 5654031 140733472446992 140733472434808 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 183388 158936 142 357 0 183028 0
Current children cumulated CPU time (s) 1421.31
Current children cumulated vsize (KiB) 868464
[startup+1482.3 s]
/proc/loadavg: 2.01 2.06 2.09 3/183 25605
/proc/meminfo: memFree=30211956/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=733552 CPUtime=1461.38 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98357 0 0 0 146089 49 0 0 20 0 1 0 278800000 751157248 159965 33554432000 4194304 5654031 140733472446992 140733472434808 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 183388 159965 142 357 0 183028 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 868464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/183 25605
/proc/meminfo: memFree=30207852/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1521.37 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98362 0 0 0 152088 49 0 0 20 0 1 0 278800000 758054912 160992 33554432000 4194304 5654031 140733472446992 140733472434808 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 160992 142 357 0 184712 0
Current children cumulated CPU time (s) 1541.29
Current children cumulated vsize (KiB) 875200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/183 25605
/proc/meminfo: memFree=30205956/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1581.33 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98389 0 0 0 158084 49 0 0 20 0 1 0 278800000 758054912 161504 33554432000 4194304 5654031 140733472446992 140733472434808 4232880 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 161504 142 357 0 184712 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 875200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/183 25605
/proc/meminfo: memFree=30201648/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1641.32 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 98400 0 0 0 164083 49 0 0 20 0 1 0 278800000 758054912 162528 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 162528 142 357 0 184712 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 875200
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/184 25608
/proc/meminfo: memFree=30229756/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1701.3 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 99179 0 0 0 170078 52 0 0 20 0 1 0 278800000 758054912 154853 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 154853 142 357 0 184712 0
Current children cumulated CPU time (s) 1721.22
Current children cumulated vsize (KiB) 875200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/183 25609
/proc/meminfo: memFree=30227468/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1761.29 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 99181 0 0 0 176077 52 0 0 20 0 1 0 278800000 758054912 155877 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 155877 142 357 0 184712 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 875200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.06 3/183 25609
/proc/meminfo: memFree=30225420/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1780.1 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 99182 0 0 0 177958 52 0 0 20 0 1 0 278800000 758054912 156389 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 156389 142 357 0 184712 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 875200
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.06 3/183 25609
/proc/meminfo: memFree=30225420/32873844 swapFree=6080/6080
[pid=25413] ppid=25411 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25413/stat : 25413 (npSolver-pbo-It) S 25411 25413 24278 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278797951 9367552 275 33554432000 4194304 5064252 140734389822992 140734389821904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 4 0 0
/proc/25413/statm: 2287 275 233 213 0 72 0
[pid=25415] ppid=25413 vsize=125764 CPUtime=19.92 cores=0,2,4,6
/proc/25415/stat : 25415 (npSolver-pbo) S 25413 25413 24278 0 -1 4202496 24543 130032 0 0 416 251 1269 56 20 0 1 0 278797955 128782336 24227 33554432000 4194304 5992684 140736993594224 140736993580056 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25415/statm: 31441 24227 205 440 0 30997 0
[pid=25431] ppid=25415 vsize=740288 CPUtime=1780.1 cores=0,2,4,6
/proc/25431/stat : 25431 (glucosInc) R 25415 25413 24278 0 -1 4202496 99182 0 0 0 177958 52 0 0 20 0 1 0 278800000 758054912 156389 33554432000 4194304 5654031 140733472446992 140733472434808 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25431/statm: 185072 156389 142 357 0 184712 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 875200
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25413 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=867435
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=85530
# CPU time returned by wait4() is 19.953
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.12
CPU time (s): 1800.02
CPU user time (s): 1796.43
CPU system time (s): 3.59
CPU usage (%): 99.9392
Max. virtual memory (cumulated for all children) (KiB): 1005428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8674
system time used= 3.08553
maximum resident set size= 487056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 782368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1051
involuntary context switches= 70
runsolver used 3.05953 second user time and 9.14761 second system time
The end