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-3698074-1338063788/watcher-3698074-1338063788 -o /tmp/evaluation-result-3698074-1338063788/solver-3698074-1338063788 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698074-1338063788.opb 1681533455 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.00 2.00 2.00 3/178 2033
/proc/meminfo: memFree=28403328/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[startup+0.0444291 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2033
/proc/meminfo: memFree=28403328/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2033
/proc/meminfo: memFree=28403328/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30013 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2033
/proc/meminfo: memFree=28403328/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2033
/proc/meminfo: memFree=28403328/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2042
/proc/meminfo: memFree=28359124/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5772 CPUtime=1.36 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 5957 15371 0 0 65 18 49 4 20 0 1 0 272507384 5910528 1024 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1443 1024 179 440 0 999 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 14920
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2044
/proc/meminfo: memFree=28359560/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5772 CPUtime=1.36 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 5957 15371 0 0 65 18 49 4 20 0 1 0 272507384 5910528 1024 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1443 1024 179 440 0 999 0
[pid=2044] ppid=2034 vsize=39156 CPUtime=1.7 cores=0,2,4,6
/proc/2044/stat : 2044 (glucosInc) R 2034 2033 824 0 -1 4202496 8595 0 0 0 170 0 0 0 20 0 1 0 272507522 40095744 8528 33554432000 4194304 5654031 140733355878048 140733355865864 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2044/statm: 9789 8528 137 357 0 9429 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 54076
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2046
/proc/meminfo: memFree=28358948/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=4.94 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 8638 24539 0 0 84 19 386 5 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2046] ppid=2034 vsize=39484 CPUtime=1.33 cores=0,2,4,6
/proc/2046/stat : 2046 (glucosInc) R 2034 2033 824 0 -1 4202496 8609 0 0 0 132 1 0 0 20 0 1 0 272507880 40431616 8512 33554432000 4194304 5654031 140735242883472 140735242881240 4233008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2046/statm: 9871 8512 131 357 0 9511 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 54296
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2046
/proc/meminfo: memFree=28358096/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=4.94 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 8638 24539 0 0 84 19 386 5 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2046] ppid=2034 vsize=39484 CPUtime=7.72 cores=0,2,4,6
/proc/2046/stat : 2046 (glucosInc) R 2034 2033 824 0 -1 4202496 8862 0 0 0 771 1 0 0 20 0 1 0 272507880 40431616 8760 33554432000 4194304 5654031 140735242883472 140735242871288 4216697 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2046/statm: 9871 8760 140 357 0 9511 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54296
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2048
/proc/meminfo: memFree=28355748/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=25.31 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 14000 43775 0 0 122 20 2377 12 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 14812
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2052
/proc/meminfo: memFree=28357524/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=42.31 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 16681 54359 0 0 141 21 4054 15 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2052] ppid=2034 vsize=39484 CPUtime=8.74 cores=0,2,4,6
/proc/2052/stat : 2052 (glucosInc) R 2034 2033 824 0 -1 4202496 8041 0 0 0 872 2 0 0 20 0 1 0 272511618 40431616 8881 33554432000 4194304 5654031 140737347604944 140737347592760 4233280 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2052/statm: 9871 8881 140 357 0 9511 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 54296
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2058
/proc/meminfo: memFree=28355856/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=89.41 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 24724 86064 0 0 198 23 8694 26 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2058] ppid=2034 vsize=44680 CPUtime=12.83 cores=0,2,4,6
/proc/2058/stat : 2058 (glucosInc) R 2034 2033 824 0 -1 4202496 9487 0 0 0 1282 1 0 0 20 0 1 0 272516330 45752320 9307 33554432000 4194304 5654031 140736325915392 140736325903208 4232788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2058/statm: 11170 9307 141 357 0 10810 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 59492
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2062
/proc/meminfo: memFree=28293396/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=134.44 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 30086 110176 0 0 237 24 13150 33 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2062] ppid=2034 vsize=66524 CPUtime=27.78 cores=0,2,4,6
/proc/2062/stat : 2062 (glucosInc) R 2034 2033 824 0 -1 4202496 12194 0 0 0 2776 2 0 0 20 0 1 0 272520834 68120576 15865 33554432000 4194304 5654031 140733869430400 140733869418216 4215948 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2062/statm: 16631 15865 142 357 0 16271 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 81336
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2067
/proc/meminfo: memFree=28297796/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=199.94 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 35448 134700 0 0 275 26 19652 41 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2067] ppid=2034 vsize=59380 CPUtime=22.27 cores=0,2,4,6
/proc/2067/stat : 2067 (glucosInc) R 2034 2033 824 0 -1 4202496 12193 0 0 0 2224 3 0 0 20 0 1 0 272527386 60805120 13277 33554432000 4194304 5654031 140733490879360 140733490867176 4232491 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2067/statm: 14845 13277 142 357 0 14485 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 74192
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2067
/proc/meminfo: memFree=28266940/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=199.94 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=19996264/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=134652 CPUtime=520.32 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 17160 0 0 0 52021 11 0 0 20 0 1 0 272579574 137883648 28263 33554432000 4194304 5654031 140736796802944 140736796790760 4232976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 33663 28263 142 357 0 33303 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 149464
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 2255
/proc/meminfo: memFree=19994464/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=134652 CPUtime=580.32 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 17569 0 0 0 58019 13 0 0 20 0 1 0 272579574 137883648 28775 33554432000 4194304 5654031 140736796802944 140736796800968 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 33663 28775 142 357 0 33303 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 149464
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/180 2255
/proc/meminfo: memFree=19955676/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=183972 CPUtime=640.29 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 18178 0 0 0 64015 14 0 0 20 0 1 0 272579574 188387328 38686 33554432000 4194304 5654031 140736796802944 140736796800872 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 45993 38686 142 357 0 45633 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 198784
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 2256
/proc/meminfo: memFree=19947360/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=134652 CPUtime=700.29 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 18908 0 0 0 70013 16 0 0 20 0 1 0 272579574 137883648 28775 33554432000 4194304 5654031 140736796802944 140736796790760 4218714 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 33663 28775 142 357 0 33303 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 149464
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 2256
/proc/meminfo: memFree=19945872/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=214792 CPUtime=760.28 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 20002 0 0 0 76010 18 0 0 20 0 1 0 272579574 219947008 41278 33554432000 4194304 5654031 140736796802944 140736796801032 4232611 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 53698 41278 142 357 0 53338 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 229604
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 2256
/proc/meminfo: memFree=19949192/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=183972 CPUtime=820.27 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 20972 0 0 0 82006 21 0 0 20 0 1 0 272579574 188387328 40222 33554432000 4194304 5654031 140736796802944 140736796790760 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 45993 40222 142 357 0 45633 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 198784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2256
/proc/meminfo: memFree=19951176/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=183972 CPUtime=880.26 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 22316 0 0 0 88002 24 0 0 20 0 1 0 272579574 188387328 40222 33554432000 4194304 5654031 140736796802944 140736796790760 4233226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 45993 40222 142 357 0 45633 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 198784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2259
/proc/meminfo: memFree=19947064/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=183972 CPUtime=940.25 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 23915 0 0 0 93998 27 0 0 20 0 1 0 272579574 188387328 40734 33554432000 4194304 5654031 140736796802944 140736796790760 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 45993 40734 142 357 0 45633 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 198784
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 2259
/proc/meminfo: memFree=19966540/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=146756 CPUtime=1000.25 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 25833 0 0 0 99994 31 0 0 20 0 1 0 272579574 150278144 35942 33554432000 4194304 5654031 140736796802944 140736796800824 4232607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 36689 35942 142 357 0 36329 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 161568
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 2260
/proc/meminfo: memFree=19918348/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=196076 CPUtime=1060.23 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 26842 0 0 0 105990 33 0 0 20 0 1 0 272579574 200781824 47901 33554432000 4194304 5654031 140736796802944 140736796800872 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 49019 47901 142 357 0 48659 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 210888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 2260
/proc/meminfo: memFree=19965140/32873844 swapFree=7620/7620
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (npSolver-pbo-It) S 2031 2033 824 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272507384 9367552 275 33554432000 4194304 5064252 140736284806496 140736284805408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2033/statm: 2287 275 233 213 0 72 0
[pid=2034] ppid=2033 vsize=5664 CPUtime=721.69 cores=0,2,4,6
/proc/2034/stat : 2034 (npSolver-pbo) S 2033 2033 824 0 -1 4202496 38129 156765 0 0 294 27 71792 56 20 0 1 0 272507384 5799936 997 33554432000 4194304 5992684 140733571473072 140733571458904 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2034/statm: 1416 997 179 440 0 972 0
[pid=2250] ppid=2034 vsize=146756 CPUtime=1078.33 cores=0,2,4,6
/proc/2250/stat : 2250 (glucosInc) R 2034 2033 824 0 -1 4202496 27434 0 0 0 107799 34 0 0 20 0 1 0 272579574 150278144 35942 33554432000 4194304 5654031 140736796802944 140736796800968 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2250/statm: 36689 35942 142 357 0 36329 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 161568
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1798.88
CPU system time (s): 1.19782
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 241708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.19782
maximum resident set size= 200064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2556
involuntary context switches= 2234
runsolver used 8.25174 second user time and 17.1944 second system time
The end