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-3752522-1339218932/watcher-3752522-1339218932 -o /tmp/evaluation-result-3752522-1339218932/solver-3752522-1339218932 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752522-1339218932.opb 1176863594 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: 0.00 0.00 0.00 3/179 9610
/proc/meminfo: memFree=31397584/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[startup+0.0818241 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 9610
/proc/meminfo: memFree=31397584/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100219 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 9610
/proc/meminfo: memFree=31397584/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 9610
/proc/meminfo: memFree=31397584/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700199 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 9610
/proc/meminfo: memFree=31397584/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 9632
/proc/meminfo: memFree=31375080/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=0.83 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 4459 13285 0 0 10 6 44 23 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9632] ppid=9611 vsize=19032 CPUtime=0.63 cores=0,2,4,6
/proc/9632/stat : 9632 (glucosInc) R 9611 9610 9563 0 -1 4202496 3768 0 0 0 63 0 0 0 20 0 1 0 388018827 19488768 4022 33554432000 4194304 5654031 140737295589168 140737295586776 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9632/statm: 4758 4022 131 357 0 4398 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36628
[startup+3.10022 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 9634
/proc/meminfo: memFree=31375344/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=2.02 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 5020 17923 0 0 13 6 159 24 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9634] ppid=9611 vsize=17312 CPUtime=1.04 cores=0,2,4,6
/proc/9634/stat : 9634 (glucosInc) R 9611 9610 9563 0 -1 4202496 3340 0 0 0 104 0 0 0 20 0 1 0 388018946 17727488 3621 33554432000 4194304 5654031 140736290985824 140736290983608 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 4328 3621 131 357 0 3968 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34908
[startup+6.30027 s]
/proc/loadavg: 0.16 0.03 0.01 3/181 9636
/proc/meminfo: memFree=31365304/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=5.28 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 5556 24145 0 0 16 6 480 26 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9636] ppid=9611 vsize=17312 CPUtime=0.98 cores=0,2,4,6
/proc/9636/stat : 9636 (glucosInc) R 9611 9610 9563 0 -1 4202496 3316 0 0 0 98 0 0 0 20 0 1 0 388019272 17727488 3597 33554432000 4194304 5654031 140737334195856 140737334193640 4232403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9636/statm: 4328 3597 131 357 0 3968 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34908
[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.02 3/181 9646
/proc/meminfo: memFree=31348148/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=9.83 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 8235 42719 0 0 28 7 917 31 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9646] ppid=9611 vsize=32024 CPUtime=2.82 cores=0,2,4,6
/proc/9646/stat : 9646 (glucosInc) R 9611 9610 9563 0 -1 4202496 6206 0 0 0 281 1 0 0 20 0 1 0 388019728 32792576 6626 33554432000 4194304 5654031 140733941896992 140733941894776 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9646/statm: 8006 6626 141 357 0 7646 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 49620
[startup+25.5003 s]
/proc/loadavg: 0.75 0.18 0.06 3/181 9648
/proc/meminfo: memFree=31337780/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=24.31 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 8771 52574 0 0 31 7 2358 35 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9648] ppid=9611 vsize=17444 CPUtime=1.14 cores=0,2,4,6
/proc/9648/stat : 9648 (glucosInc) R 9611 9610 9563 0 -1 4202496 3469 0 0 0 114 0 0 0 20 0 1 0 388021176 17862656 3751 33554432000 4194304 5654031 140735840760832 140735840758616 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9648/statm: 4361 3751 140 357 0 4001 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 35040
[startup+51.1003 s]
/proc/loadavg: 1.18 0.32 0.11 3/181 9648
/proc/meminfo: memFree=31257980/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=24.31 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 8771 52574 0 0 31 7 2358 35 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9648] ppid=9611 vsize=69860 CPUtime=26.73 cores=0,2,4,6
/proc/9648/stat : 9648 (glucosInc) R 9611 9610 9563 0 -1 4202496 9252 0 0 0 2668 5 0 0 20 0 1 0 388021176 71536640 16872 33554432000 4194304 5654031 140735840760832 140735840758856 4215138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9648/statm: 17465 16872 142 357 0 17105 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 87456
[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/181 9650
/proc/meminfo: memFree=31294512/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=32296 CPUtime=3.22 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 6523 0 0 0 321 1 0 0 20 0 1 0 388028649 33071104 6601 33554432000 4194304 5654031 140734055002304 140734055000088 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 8074 6601 141 357 0 7714 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 49892
[startup+162.3 s]
/proc/loadavg: 1.92 0.85 0.32 3/181 9651
/proc/meminfo: memFree=31118312/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=74632 CPUtime=63.19 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 15028 0 0 0 6305 14 0 0 20 0 1 0 388028649 76423168 15580 33554432000 4194304 5654031 140734055002304 140734055000328 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 18658 15580 141 357 0 18298 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 92228
[startup+222.3 s]
/proc/loadavg: 1.97 1.06 0.42 3/181 9651
/proc/meminfo: memFree=31153188/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=123952 CPUtime=123.18 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 19888 0 0 0 12293 25 0 0 20 0 1 0 388028649 126926848 26966 33554432000 4194304 5654031 140734055002304 140734055000328 4215344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 30988 26966 141 357 0 30628 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 141548
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30883148/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=418508 CPUtime=1143 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 60340 0 0 0 114166 134 0 0 20 0 1 0 388028649 428552192 75263 33554432000 4194304 5654031 140734055002304 140734055000392 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 104627 75263 141 357 0 104267 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 436104
[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/181 9661
/proc/meminfo: memFree=30974128/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=204860 CPUtime=1202.99 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 61367 0 0 0 120161 138 0 0 20 0 1 0 388028649 209776640 45657 33554432000 4194304 5654031 140734055002304 140734055000328 4233184 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 51215 45657 141 357 0 50855 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 222456
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/180 9661
/proc/meminfo: memFree=30754636/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=418508 CPUtime=1262.98 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 62611 0 0 0 126154 144 0 0 20 0 1 0 388028649 428552192 95954 33554432000 4194304 5654031 140734055002304 140734055000392 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 104627 95954 141 357 0 104267 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 436104
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/181 9662
/proc/meminfo: memFree=30816884/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=418508 CPUtime=1322.97 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 64589 0 0 0 132147 150 0 0 20 0 1 0 388028649 428552192 74751 33554432000 4194304 5654031 140734055002304 140734055000392 4232973 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 104627 74751 141 357 0 104267 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 436104
[startup+1482.3 s]
/proc/loadavg: 2.07 1.99 1.57 3/182 9665
/proc/meminfo: memFree=30891096/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=286248 CPUtime=1382.96 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 66323 0 0 0 138139 157 0 0 20 0 1 0 388028649 293117952 51969 33554432000 4194304 5654031 140734055002304 140734055000392 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 71562 51969 141 357 0 71202 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 303844
[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.59 3/181 9665
/proc/meminfo: memFree=30664744/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=633432 CPUtime=1442.94 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 67409 0 0 0 144134 160 0 0 20 0 1 0 388028649 648634368 103634 33554432000 4194304 5654031 140734055002304 140734055000392 4215108 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 158358 103634 141 357 0 157998 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 651028
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.61 3/181 9665
/proc/meminfo: memFree=30791268/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=286248 CPUtime=1502.92 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 68388 0 0 0 150126 166 0 0 20 0 1 0 388028649 293117952 67583 33554432000 4194304 5654031 140734055002304 140734055000392 4233226 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 71562 67583 141 357 0 71202 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 303844
[startup+1662.3 s]
/proc/loadavg: 2.07 2.00 1.64 3/180 9665
/proc/meminfo: memFree=30567732/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=633432 CPUtime=1562.91 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 69507 0 0 0 156122 169 0 0 20 0 1 0 388028649 648634368 116735 33554432000 4194304 5654031 140734055002304 140734055000392 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 158358 116735 141 357 0 157998 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 651028
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.66 3/181 9666
/proc/meminfo: memFree=30702292/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=418508 CPUtime=1622.9 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 71175 0 0 0 162114 176 0 0 20 0 1 0 388028649 428552192 79570 33554432000 4194304 5654031 140734055002304 140734055000392 4217063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 104627 79570 141 357 0 104267 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 436104
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/181 9666
/proc/meminfo: memFree=30708004/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=633432 CPUtime=1682.89 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 71767 0 0 0 168111 178 0 0 20 0 1 0 388028649 648634368 121042 33554432000 4194304 5654031 140734055002304 140734055000392 4232994 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 158358 121042 141 357 0 157998 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 651028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 9666
/proc/meminfo: memFree=30974036/32873648 swapFree=7116/7116
[pid=9610] ppid=9608 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (npSolver-pbo-It) S 9608 9610 9563 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388018741 9367552 275 33554432000 4194304 5064252 140733987258240 140733987257152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9610/statm: 2287 275 233 213 0 72 0
[pid=9611] ppid=9610 vsize=8448 CPUtime=99.01 cores=0,2,4,6
/proc/9611/stat : 9611 (npSolver-pbo) S 9610 9610 9563 0 -1 4202496 9307 67833 0 0 33 8 9810 50 20 0 1 0 388018741 8650752 1722 33554432000 4194304 6004724 140737027945952 140737027931800 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9611/statm: 2112 1722 189 442 0 1666 0
[pid=9650] ppid=9611 vsize=286248 CPUtime=1701 cores=0,2,4,6
/proc/9650/stat : 9650 (glucosInc) R 9611 9610 9563 0 -1 4202496 72649 0 0 0 169918 182 0 0 20 0 1 0 388028649 293117952 52223 33554432000 4194304 5654031 140734055002304 140734055000392 4232968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 71562 52223 141 357 0 71202 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 303844
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.04
CPU user time (s): 1797.63
CPU system time (s): 2.41463
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 781256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.41463
maximum resident set size= 628692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 958
involuntary context switches= 3051
runsolver used 2.66459 second user time and 7.16991 second system time
The end