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-3699402-1338129436/watcher-3699402-1338129436 -o /tmp/evaluation-result-3699402-1338129436/solver-3699402-1338129436 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699402-1338129436.opb 872734817 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.95 3.44 2.61 3/179 4673
/proc/meminfo: memFree=30592044/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[startup+0.171961 s]
/proc/loadavg: 3.95 3.44 2.61 3/179 4673
/proc/meminfo: memFree=30592044/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200209 s]
/proc/loadavg: 3.95 3.44 2.61 3/179 4673
/proc/meminfo: memFree=30592044/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30018 s]
/proc/loadavg: 3.95 3.44 2.61 3/179 4673
/proc/meminfo: memFree=30592044/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700171 s]
/proc/loadavg: 3.95 3.44 2.61 3/179 4673
/proc/meminfo: memFree=30592044/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.71936 s]
/proc/loadavg: 3.95 3.44 2.61 3/183 4677
/proc/meminfo: memFree=30522504/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=16940 CPUtime=1.53 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 3985 12318 0 0 23 29 97 4 20 0 1 0 279067988 17346560 3331 33554432000 4194304 5992684 140736262524224 140736262518256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 4235 3331 180 440 0 3791 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 26088
[startup+58.3208 s]
/proc/loadavg: 3.95 3.44 2.61 3/183 4677
/proc/meminfo: memFree=30522504/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 37528
heavy processes:
[startup+78.5022 s]
/proc/loadavg: 3.95 3.44 2.61 3/182 4682
/proc/meminfo: memFree=30411704/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=156540 CPUtime=76.12 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 26755 0 0 0 7604 8 0 0 20 0 1 0 279068224 160296960 32212 33554432000 4194304 5654031 140735321727248 140735321715064 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 39135 32212 141 357 0 38775 0
Current children cumulated CPU time (s) 78.48
Current children cumulated vsize (KiB) 194068
[startup+82.8718 s]
/proc/loadavg: 3.95 3.44 2.61 3/182 4682
/proc/meminfo: memFree=30411704/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=156540 CPUtime=80.49 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 26755 0 0 0 8041 8 0 0 20 0 1 0 279068224 160296960 32212 33554432000 4194304 5654031 140735321727248 140735321715064 4232448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 39135 32212 141 357 0 38775 0
Current children cumulated CPU time (s) 82.85
Current children cumulated vsize (KiB) 194068
[startup+82.9749 s]
/proc/loadavg: 3.95 3.44 2.61 3/182 4682
/proc/meminfo: memFree=30411704/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=156540 CPUtime=80.59 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 26755 0 0 0 8051 8 0 0 20 0 1 0 279068224 160296960 32212 33554432000 4194304 5654031 140735321727248 140735321715064 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 39135 32212 141 357 0 38775 0
Current children cumulated CPU time (s) 82.95
Current children cumulated vsize (KiB) 194068
[startup+100.249 s]
/proc/loadavg: 3.95 3.44 2.61 3/182 4682
/proc/meminfo: memFree=30411704/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=137572 CPUtime=97.87 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 26881 0 0 0 9778 9 0 0 20 0 1 0 279068224 140873728 30634 33554432000 4194304 5654031 140735321727248 140735321715064 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 34393 30634 141 357 0 34033 0
Current children cumulated CPU time (s) 100.23
Current children cumulated vsize (KiB) 175100
[startup+103.517 s]
/proc/loadavg: 3.95 3.44 2.61 3/182 4682
/proc/meminfo: memFree=30411704/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=137572 CPUtime=101.13 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 26881 0 0 0 10104 9 0 0 20 0 1 0 279068224 140873728 30634 33554432000 4194304 5654031 140735321727248 140735321715064 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 34393 30634 141 357 0 34033 0
Current children cumulated CPU time (s) 103.49
Current children cumulated vsize (KiB) 175100
[startup+164.452 s]
/proc/loadavg: 3.95 3.44 2.61 3/181 4682
/proc/meminfo: memFree=30403796/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=158360 CPUtime=162.05 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 27893 0 0 0 16196 9 0 0 20 0 1 0 279068224 162160640 33170 33554432000 4194304 5654031 140735321727248 140735321715064 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 39590 33170 141 357 0 39230 0
Current children cumulated CPU time (s) 164.41
Current children cumulated vsize (KiB) 195888
[startup+247.889 s]
/proc/loadavg: 3.95 3.44 2.61 3/181 4682
/proc/meminfo: memFree=30403796/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=139392 CPUtime=245.47 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 28195 0 0 0 24537 10 0 0 20 0 1 0 279068224 142737408 31762 33554432000 4194304 5654031 140735321727248 140735321715064 4232763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4682/statm: 34848 31762 141 357 0 34488 0
Current children cumulated CPU time (s) 247.83
Current children cumulated vsize (KiB) 176920
[startup+282.3 s]
/proc/loadavg: 4.88 5.24 3.68 3/181 4687
/proc/meminfo: memFree=30405084/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=31087592/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=164964 CPUtime=1239.65 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 35309 0 0 0 123945 20 0 0 20 0 1 0 279068224 168923136 35631 33554432000 4194304 5654031 140735321727248 140735321715064 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4682/statm: 41241 35631 141 357 0 40881 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 202492
[startup+1302.3 s]
/proc/loadavg: 2.05 2.11 2.54 3/181 4740
/proc/meminfo: memFree=31071124/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=165228 CPUtime=1299.64 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 35417 0 0 0 129944 20 0 0 20 0 1 0 279068224 169193472 36761 33554432000 4194304 5654031 140735321727248 140735321725032 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4682/statm: 41307 36761 141 357 0 40947 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 202756
[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 2.51 3/181 4740
/proc/meminfo: memFree=31082696/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=28380 CPUtime=2.36 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 8913 18700 0 0 78 37 114 7 20 0 1 0 279067988 29061120 6202 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 7095 6202 191 440 0 6651 0
[pid=4682] ppid=4674 vsize=165800 CPUtime=1359.62 cores=0,2,4,6
/proc/4682/stat : 4682 (glucosInc) R 4674 4673 3856 0 -1 4202496 36272 0 0 0 135941 21 0 0 20 0 1 0 279068224 169779200 35354 33554432000 4194304 5654031 140735321727248 140735321715064 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4682/statm: 41450 35354 141 357 0 41090 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 203328
[startup+1422.3 s]
/proc/loadavg: 2.00 2.07 2.47 3/182 4745
/proc/meminfo: memFree=31118708/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=123000 CPUtime=27.3 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 24502 0 0 0 2725 5 0 0 20 0 1 0 279207487 125952000 27876 33554432000 4194304 5654031 140734857454864 140734857442680 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 30750 27876 141 357 0 30390 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 154580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.44 3/182 4769
/proc/meminfo: memFree=31123272/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=123444 CPUtime=87.29 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 24733 0 0 0 8724 5 0 0 20 0 1 0 279207487 126406656 28614 33554432000 4194304 5654031 140734857454864 140734857452648 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 30861 28614 141 357 0 30501 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 155024
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.41 3/181 4769
/proc/meminfo: memFree=31112460/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=123932 CPUtime=147.26 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 25864 0 0 0 14720 6 0 0 20 0 1 0 279207487 126906368 28613 33554432000 4194304 5654031 140734857454864 140734857452648 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 30983 28613 141 357 0 30623 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 155512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.38 3/181 4769
/proc/meminfo: memFree=31113736/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=124688 CPUtime=207.24 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 26026 0 0 0 20718 6 0 0 20 0 1 0 279207487 127680512 29286 33554432000 4194304 5654031 140734857454864 140734857442680 4232380 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 31172 29286 141 357 0 30812 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 156268
[startup+1662.31 s]
/proc/loadavg: 2.00 2.02 2.35 3/181 4769
/proc/meminfo: memFree=31107040/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=127152 CPUtime=267.24 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 27569 0 0 0 26717 7 0 0 20 0 1 0 279207487 130203648 29189 33554432000 4194304 5654031 140734857454864 140734857442680 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 31788 29189 141 357 0 31428 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 158732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.33 3/181 4769
/proc/meminfo: memFree=31113652/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=127152 CPUtime=327.22 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 28919 0 0 0 32714 8 0 0 20 0 1 0 279207487 130203648 29919 33554432000 4194304 5654031 140734857454864 140734857442680 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 31788 29919 141 357 0 31428 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 158732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/181 4770
/proc/meminfo: memFree=31110276/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=129340 CPUtime=387.21 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 30520 0 0 0 38712 9 0 0 20 0 1 0 279207487 132444160 30391 33554432000 4194304 5654031 140734857454864 140734857442680 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 32335 30391 141 357 0 31975 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 160920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.30 3/181 4770
/proc/meminfo: memFree=31103824/32873844 swapFree=7632/7632
[pid=4673] ppid=4671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4673/stat : 4673 (npSolver-pbo-I.) S 4671 4673 3856 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279067988 9367552 275 33554432000 4194304 5064252 140735494762912 140735494761824 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4673/statm: 2287 275 233 213 0 72 0
[pid=4674] ppid=4673 vsize=22432 CPUtime=1394.66 cores=0,2,4,6
/proc/4674/stat : 4674 (npSolver-pbo) S 4673 4673 3856 0 -1 4202496 14770 55738 0 0 133 44 139258 31 20 0 1 0 279067988 22970368 4747 33554432000 4194304 5992684 140736262524224 140736262509128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4674/statm: 5608 4747 191 440 0 5164 0
[pid=4745] ppid=4674 vsize=148308 CPUtime=405.42 cores=0,2,4,6
/proc/4745/stat : 4745 (glucosInc) R 4674 4673 3856 0 -1 4202496 31082 0 0 0 40532 10 0 0 20 0 1 0 279207487 151867392 31459 33554432000 4194304 5654031 140734857454864 140734857442680 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4745/statm: 37077 31459 141 357 0 36717 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 179888
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.51
CPU time (s): 1800.11
CPU user time (s): 1799.24
CPU system time (s): 0.865868
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 233372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.865868
maximum resident set size= 181732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 189800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 794
involuntary context switches= 2300
runsolver used 2.36764 second user time and 6.14706 second system time
The end