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-3747115-1339100002/watcher-3747115-1339100002 -o /tmp/evaluation-result-3747115-1339100002/solver-3747115-1339100002 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747115-1339100002.opb 1412376636 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: 1.92 1.97 1.69 3/178 12346
/proc/meminfo: memFree=26982860/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[startup+0.032906 s]
/proc/loadavg: 1.92 1.97 1.69 3/178 12346
/proc/meminfo: memFree=26982860/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100167 s]
/proc/loadavg: 1.92 1.97 1.69 3/178 12346
/proc/meminfo: memFree=26982860/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300189 s]
/proc/loadavg: 1.92 1.97 1.69 3/178 12346
/proc/meminfo: memFree=26982860/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 1.92 1.97 1.69 3/178 12346
/proc/meminfo: memFree=26982860/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 1.92 1.97 1.69 3/181 12352
/proc/meminfo: memFree=26968928/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=6084 CPUtime=1.33 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 1093 0 0 0 133 0 0 0 20 0 1 0 376128803 6230016 865 33554432000 4194304 5654031 140734822086544 140734822084632 4216436 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12352/statm: 1521 865 138 357 0 1161 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23776
[startup+3.10025 s]
/proc/loadavg: 1.92 1.97 1.69 3/181 12352
/proc/meminfo: memFree=26963616/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=8164 CPUtime=2.93 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 2077 0 0 0 293 0 0 0 20 0 1 0 376128803 8359936 1523 33554432000 4194304 5654031 140734822086544 140734822084344 4215913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12352/statm: 2041 1523 138 357 0 1681 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 25856
[startup+6.30025 s]
/proc/loadavg: 1.93 1.97 1.69 3/181 12352
/proc/meminfo: memFree=26944072/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=11500 CPUtime=6.12 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 2958 0 0 0 612 0 0 0 20 0 1 0 376128803 11776000 2353 33554432000 4194304 5654031 140734822086544 140734822084344 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12352/statm: 2875 2353 138 357 0 2515 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29192
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.69 3/181 12352
/proc/meminfo: memFree=26907516/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=15352 CPUtime=12.52 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 3931 0 0 0 1252 0 0 0 20 0 1 0 376128803 15720448 3273 33554432000 4194304 5654031 140734822086544 140734822084344 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 3838 3273 138 357 0 3478 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33044
[startup+25.5003 s]
/proc/loadavg: 1.95 1.97 1.69 3/181 12352
/proc/meminfo: memFree=26845356/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=18148 CPUtime=25.32 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 4339 0 0 0 2532 0 0 0 20 0 1 0 376128803 18583552 4004 33554432000 4194304 5654031 140734822086544 140734822084424 4233236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 4537 4004 138 357 0 4177 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35840
[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 1.70 3/181 12352
/proc/meminfo: memFree=26731916/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=26920 CPUtime=50.92 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 5570 0 0 0 5091 1 0 0 20 0 1 0 376128803 27566080 6197 33554432000 4194304 5654031 140734822086544 140734822084344 4232386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 6730 6197 138 357 0 6370 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 44612
[startup+102.307 s]
/proc/loadavg: 1.91 1.95 1.71 3/180 12392
/proc/meminfo: memFree=27207008/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=30036 CPUtime=102.12 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 6383 0 0 0 10211 1 0 0 20 0 1 0 376128803 30756864 6986 33554432000 4194304 5654031 140734822086544 140734822084344 4233039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 7509 6986 138 357 0 7149 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47728
[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.74 3/180 12393
/proc/meminfo: memFree=22518748/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=42348 CPUtime=162.1 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 6484 0 0 0 16209 1 0 0 20 0 1 0 376128803 43364352 9126 33554432000 4194304 5654031 140734822086544 140734822084424 4232528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 10587 9126 138 357 0 10227 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 60040
[startup+222.3 s]
/proc/loadavg: 3.03 2.23 1.83 2/181 12394
/proc/meminfo: memFree=12125348/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=53844 CPUtime=222.09 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 6819 0 0 0 22207 2 0 0 20 0 1 0 376128803 55136256 12512 33554432000 4194304 5654031 140734822086544 140734822084344 4232678 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 13461 12512 138 357 0 13101 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71536
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.06 2.14 2.20 3/181 12450
/proc/meminfo: memFree=27297460/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1361.92 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 16236 0 0 0 136182 10 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 111416
[startup+1422.3 s]
/proc/loadavg: 2.02 2.11 2.18 3/181 12450
/proc/meminfo: memFree=27300904/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1421.9 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 16751 0 0 0 142180 10 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4233151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 111416
[startup+1482.3 s]
/proc/loadavg: 2.01 2.09 2.17 3/181 12450
/proc/meminfo: memFree=27270204/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1481.89 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 17781 0 0 0 148178 11 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4215913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 111416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.16 3/181 12450
/proc/meminfo: memFree=27275204/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1541.89 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 18296 0 0 0 154177 12 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 111416
[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.15 3/182 12453
/proc/meminfo: memFree=27260392/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=143044 CPUtime=1601.88 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 19324 0 0 0 160174 14 0 0 20 0 1 0 376128803 146477056 31095 33554432000 4194304 5654031 140734822086544 140734822084472 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 35761 31095 138 357 0 35401 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 160736
[startup+1662.31 s]
/proc/loadavg: 2.02 2.05 2.14 3/181 12454
/proc/meminfo: memFree=27269380/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1661.87 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 19842 0 0 0 166173 14 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 111416
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.13 3/181 12454
/proc/meminfo: memFree=27248640/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=93724 CPUtime=1721.86 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 20358 0 0 0 172171 15 0 0 20 0 1 0 376128803 95973376 22917 33554432000 4194304 5654031 140734822086544 140734822084568 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 23431 22917 138 357 0 23071 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 111416
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/181 12454
/proc/meminfo: memFree=27237192/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=143044 CPUtime=1781.85 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 21387 0 0 0 178169 16 0 0 20 0 1 0 376128803 146477056 31095 33554432000 4194304 5654031 140734822086544 140734822084472 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 35761 31095 138 357 0 35401 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 160736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.03 2.11 3/181 12454
/proc/meminfo: memFree=27214912/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=143044 CPUtime=1799.95 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 21391 0 0 0 179979 16 0 0 20 0 1 0 376128803 146477056 33143 33554432000 4194304 5654031 140734822086544 140734822084472 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 35761 33143 138 357 0 35401 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 160736
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.00 2.03 2.11 3/181 12454
/proc/meminfo: memFree=27214912/32873844 swapFree=7372/7372
[pid=12346] ppid=12344 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12346/stat : 12346 (npSolver-pbo-It) S 12344 12346 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376128786 9367552 274 33554432000 4194304 5064252 140735265902768 140735265901680 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12346/statm: 2287 274 233 213 0 72 0
[pid=12347] ppid=12346 vsize=8544 CPUtime=0.14 cores=0,2,4,6
/proc/12347/stat : 12347 (npSolver-pbo) S 12346 12346 11882 0 -1 4202496 3947 2445 0 0 4 1 9 0 20 0 1 0 376128787 8749056 1775 33554432000 4194304 6004724 140733904208864 140733904195144 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12347/statm: 2136 1775 152 442 0 1690 0
[pid=12352] ppid=12347 vsize=143044 CPUtime=1799.95 cores=0,2,4,6
/proc/12352/stat : 12352 (glucosInc) R 12347 12346 11882 0 -1 4202496 21391 0 0 0 179979 16 0 0 20 0 1 0 376128803 146477056 33143 33554432000 4194304 5654031 140734822086544 140734822084472 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12352/statm: 35761 33143 138 357 0 35401 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 160736
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12346 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=137979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.160975
# while last known CPU time is 1800.09
#
# 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.09
CPU user time (s): 1799.92
CPU system time (s): 0.17
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 160736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.137979
system time used= 0.022996
maximum resident set size= 34392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7
runsolver used 2.98754 second user time and 8.74367 second system time
The end