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-3702444-1338100169/watcher-3702444-1338100169 -o /tmp/evaluation-result-3702444-1338100169/solver-3702444-1338100169 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702444-1338100169.opb 1797553385 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: 3.63 2.51 2.22 2/178 1232
/proc/meminfo: memFree=17067656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (runsolver) D 1230 1232 15712 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 276141224 12095488 51 33554432000 4194304 5436572 140736658684800 140736658681096 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/1232/statm: 2953 51 31 304 0 2645 0
[startup+0.0742431 s]
/proc/loadavg: 3.63 2.51 2.22 2/178 1232
/proc/meminfo: memFree=17067656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 3.63 2.51 2.22 2/178 1232
/proc/meminfo: memFree=17067656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 3.63 2.51 2.22 2/178 1232
/proc/meminfo: memFree=17067656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 3.63 2.51 2.22 2/178 1232
/proc/meminfo: memFree=17067656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 3.63 2.51 2.22 3/180 1234
/proc/meminfo: memFree=16976148/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=147464 CPUtime=1.48 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) R 1232 1232 15712 0 -1 4202496 23605 0 0 0 142 6 0 0 20 0 1 0 276141224 151003136 32277 33554432000 4194304 5992684 140735648050160 140735648045560 4567994 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 36866 32277 167 440 0 36422 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 156612
[startup+3.10027 s]
/proc/loadavg: 3.63 2.51 2.22 3/180 1234
/proc/meminfo: memFree=16890976/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=3.07 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) R 1232 1232 15712 0 -1 4202496 41418 0 0 0 296 11 0 0 20 0 1 0 276141224 288731136 64366 33554432000 4194304 5992684 140735648050160 140735648046216 4523497 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 64366 167 440 0 70047 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 291112
[startup+6.30038 s]
/proc/loadavg: 3.50 2.50 2.22 3/182 1236
/proc/meminfo: memFree=16338908/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=3.45 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41917 0 0 0 315 30 0 0 20 0 1 0 276141224 288731136 67445 33554432000 4194304 5992684 140735648050160 140735648044608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67445 174 440 0 70047 0
[pid=1235] ppid=1234 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1235/stat : 1235 (cp2_pre.sh) S 1234 1232 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276141571 9367552 277 33554432000 4194304 5064252 140736418415632 140736418414336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1235/statm: 2287 277 234 213 0 72 0
[pid=1236] ppid=1235 vsize=466072 CPUtime=2.82 cores=0,2,4,6
/proc/1236/stat : 1236 (coprocessor) R 1235 1232 15712 0 -1 4202496 50983 0 0 0 268 14 0 0 20 0 1 0 276141571 477257728 103253 33554432000 4194304 6586260 140734379325456 140734379321720 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/1236/statm: 116518 103253 164 584 0 115930 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 766332
[startup+12.7004 s]
/proc/loadavg: 3.46 2.51 2.22 3/181 1236
/proc/meminfo: memFree=16122976/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=3.45 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41917 0 0 0 315 30 0 0 20 0 1 0 276141224 288731136 67445 33554432000 4194304 5992684 140735648050160 140735648044608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67445 174 440 0 70047 0
[pid=1235] ppid=1234 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1235/stat : 1235 (cp2_pre.sh) S 1234 1232 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276141571 9367552 277 33554432000 4194304 5064252 140736418415632 140736418414336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1235/statm: 2287 277 234 213 0 72 0
[pid=1236] ppid=1235 vsize=578428 CPUtime=9.21 cores=0,2,4,6
/proc/1236/stat : 1236 (coprocessor) R 1235 1232 15712 0 -1 4202496 70806 0 0 0 904 17 0 0 20 0 1 0 276141571 592310272 138406 33554432000 4194304 6586260 140734379325456 140734379320776 4684023 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/1236/statm: 144607 138406 190 584 0 144019 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 878688
[startup+25.5004 s]
/proc/loadavg: 3.13 2.48 2.22 3/182 1237
/proc/meminfo: memFree=16051556/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 291112
[startup+51.1004 s]
/proc/loadavg: 2.75 2.44 2.21 3/182 1242
/proc/meminfo: memFree=16490276/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=284776 CPUtime=25.63 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 46385 0 0 0 2554 9 0 0 20 0 1 0 276143769 291610624 60092 33554432000 4194304 5654031 140736836676384 140736836674168 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 71194 60092 141 357 0 70834 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 575888
[startup+102.306 s]
/proc/loadavg: 2.32 2.37 2.20 3/181 1242
/proc/meminfo: memFree=16418908/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=297596 CPUtime=76.83 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 49312 0 0 0 7673 10 0 0 20 0 1 0 276143769 304738304 65063 33554432000 4194304 5654031 140736836676384 140736836664200 4208694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 74399 65063 141 357 0 74039 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 588708
[startup+162.3 s]
/proc/loadavg: 2.12 2.30 2.18 3/181 1242
/proc/meminfo: memFree=16302236/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=299744 CPUtime=136.82 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 50092 0 0 0 13671 11 0 0 20 0 1 0 276143769 306937856 67376 33554432000 4194304 5654031 140736836676384 140736836664200 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 74936 67376 141 357 0 74576 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 590856
[startup+222.3 s]
/proc/loadavg: 2.04 2.24 2.17 3/182 1243
/proc/meminfo: memFree=16294372/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=304868 CPUtime=196.8 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 51606 0 0 0 19668 12 0 0 20 0 1 0 276143769 312184832 67106 33554432000 4194304 5654031 140736836676384 140736836674280 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 76217 67106 142 357 0 75857 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 595980
[startup+282.3 s]
/proc/loadavg: 2.01 2.20 2.16 3/181 1243
/proc/meminfo: memFree=16269724/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30707152/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=386940 CPUtime=1336.52 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 67484 0 0 0 133613 39 0 0 20 0 1 0 276143769 396226560 81025 33554432000 4194304 5654031 140736836676384 140736836664200 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 96735 81025 142 357 0 96375 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 678052
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 1307
/proc/meminfo: memFree=30743008/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=281964 CPUtime=25.4 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 41934 72471 0 1 315 31 2157 37 20 0 1 0 276141224 288731136 67447 33554432000 4194304 5992684 140735648050160 140735648036424 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1234/statm: 70491 67447 176 440 0 70047 0
[pid=1239] ppid=1234 vsize=339824 CPUtime=1396.52 cores=0,2,4,6
/proc/1239/stat : 1239 (glucosInc) R 1234 1232 15712 0 -1 4202496 68714 0 0 0 139611 41 0 0 20 0 1 0 276143769 347979776 79159 33554432000 4194304 5654031 140736836676384 140736836664200 4215097 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1239/statm: 84956 79159 142 357 0 84596 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 630936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 1317
/proc/meminfo: memFree=30667620/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=302484 CPUtime=23.46 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 52692 0 0 0 2333 13 0 0 20 0 1 0 276287104 309743616 69854 33554432000 4194304 5654031 140733365076512 140733365064328 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1317/statm: 75621 69854 140 357 0 75261 0
Current children cumulated CPU time (s) 1481.17
Current children cumulated vsize (KiB) 633684
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 1318
/proc/meminfo: memFree=30643736/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=315068 CPUtime=83.46 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 54978 0 0 0 8331 15 0 0 20 0 1 0 276287104 322629632 74184 33554432000 4194304 5654031 140733365076512 140733365064328 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 78767 74184 140 357 0 78407 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 646268
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.02 3/181 1322
/proc/meminfo: memFree=30681624/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=323564 CPUtime=143.43 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 56875 0 0 0 14326 17 0 0 20 0 1 0 276287104 331329536 75444 33554432000 4194304 5654031 140733365076512 140733365064328 4233332 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 80891 75444 141 357 0 80531 0
Current children cumulated CPU time (s) 1601.14
Current children cumulated vsize (KiB) 654764
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/181 1322
/proc/meminfo: memFree=30665656/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=323564 CPUtime=203.37 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 57236 0 0 0 20319 18 0 0 20 0 1 0 276287104 331329536 75536 33554432000 4194304 5654031 140733365076512 140733365064328 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 80891 75536 141 357 0 80531 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 654764
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.02 3/181 1324
/proc/meminfo: memFree=30682532/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=330240 CPUtime=263.36 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 58808 0 0 0 26316 20 0 0 20 0 1 0 276287104 338165760 75394 33554432000 4194304 5654031 140733365076512 140733365064328 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 82560 75394 141 357 0 82200 0
Current children cumulated CPU time (s) 1721.07
Current children cumulated vsize (KiB) 661440
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/181 1324
/proc/meminfo: memFree=30657008/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=330240 CPUtime=323.33 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 59060 0 0 0 32313 20 0 0 20 0 1 0 276287104 338165760 78886 33554432000 4194304 5654031 140733365076512 140733365064328 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 82560 78886 141 357 0 82200 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 661440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/181 1324
/proc/meminfo: memFree=30650212/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=330240 CPUtime=342.33 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 59083 0 0 0 34213 20 0 0 20 0 1 0 276287104 338165760 79420 33554432000 4194304 5654031 140733365076512 140733365064328 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 82560 79420 141 357 0 82200 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 661440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/181 1324
/proc/meminfo: memFree=30650212/32873844 swapFree=7632/7632
[pid=1232] ppid=1230 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1232/stat : 1232 (npSolver-pbo-It) S 1230 1232 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276141224 9367552 274 33554432000 4194304 5064252 140737485366112 140737485365024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1232/statm: 2287 274 233 213 0 72 0
[pid=1234] ppid=1232 vsize=322052 CPUtime=1457.71 cores=0,2,4,6
/proc/1234/stat : 1234 (npSolver-pbo) S 1232 1232 15712 0 -1 4202496 48622 197369 0 1 429 394 144822 126 20 0 1 0 276141224 329781248 76622 33554432000 4194304 5992684 140735648050160 140735648035992 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1234/statm: 80513 76622 201 440 0 80069 0
[pid=1317] ppid=1234 vsize=330240 CPUtime=342.33 cores=0,2,4,6
/proc/1317/stat : 1317 (glucosInc) R 1234 1232 15712 0 -1 4202496 59083 0 0 0 34213 20 0 0 20 0 1 0 276287104 338165760 79420 33554432000 4194304 5654031 140733365076512 140733365064328 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1317/statm: 82560 79420 141 357 0 82200 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 661440
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1232 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.04
CPU user time (s): 1794.64
CPU system time (s): 5.4
CPU usage (%): 99.9292
Max. virtual memory (cumulated for all children) (KiB): 980120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 3.63245 second user time and 10.1635 second system time
The end