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-3703020-1338073667/watcher-3703020-1338073667 -o /tmp/evaluation-result-3703020-1338073667/solver-3703020-1338073667 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703020-1338073667.opb 735127385 HOME HOME
running on 4 cores: 1,3,5,7
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.70 2.51 3/180 15918
/proc/meminfo: memFree=28134744/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[startup+0.012292 s]
/proc/loadavg: 2.00 2.70 2.51 3/180 15918
/proc/meminfo: memFree=28134744/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100226 s]
/proc/loadavg: 2.00 2.70 2.51 3/180 15918
/proc/meminfo: memFree=28134744/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 2.00 2.70 2.51 3/180 15918
/proc/meminfo: memFree=28134744/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 2.00 2.70 2.51 3/180 15918
/proc/meminfo: memFree=28134744/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.70 2.51 3/183 15937
/proc/meminfo: memFree=28153572/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=13300 CPUtime=1.49 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) R 15918 15918 4763 0 -1 4202496 3080 0 0 0 149 0 0 0 20 0 1 0 273492769 13619200 2971 33554432000 4194304 5992684 140735845463424 140735845459544 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 3325 2971 147 440 0 2881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22448
[startup+3.1003 s]
/proc/loadavg: 2.00 2.70 2.51 3/184 15957
/proc/meminfo: memFree=28063712/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=33084 CPUtime=1.87 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 7046 0 0 0 176 11 0 0 20 0 1 0 273492769 33878016 7882 33554432000 4194304 5992684 140735845463424 140735845457872 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 8271 7882 165 440 0 7827 0
[pid=15949] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15949/stat : 15949 (cp2_pre.sh) S 15919 15918 4763 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273492958 9367552 277 33554432000 4194304 5064252 140736638701952 140736638700656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15949/statm: 2287 277 234 213 0 72 0
[pid=15950] ppid=15949 vsize=150820 CPUtime=1.2 cores=1,3,5,7
/proc/15950/stat : 15950 (coprocessor) R 15949 15918 4763 0 -1 4202496 27028 0 0 0 115 5 0 0 20 0 1 0 273492958 154439680 36508 33554432000 4194304 6586260 140737254826128 140737254822280 4775781 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15950/statm: 37705 36508 175 584 0 37117 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202200
[startup+6.30022 s]
/proc/loadavg: 2.00 2.69 2.51 3/183 15994
/proc/meminfo: memFree=28025888/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=38916 CPUtime=5.94 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 8606 30519 0 0 262 93 229 10 20 0 1 0 273492769 39849984 9349 33554432000 4194304 5992684 140735845463424 140735845457456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 9729 9349 174 440 0 9285 0
[pid=15980] ppid=15919 vsize=70232 CPUtime=0.32 cores=1,3,5,7
/proc/15980/stat : 15980 (glucosInc) S 15919 15918 4763 0 -1 4202496 14208 0 0 0 30 2 0 0 20 0 1 0 273493197 71917568 15153 33554432000 4194304 5654031 140735900160624 140735900158936 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15980/statm: 17558 15153 146 357 0 17198 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 118296
[startup+12.7003 s]
/proc/loadavg: 2.00 2.68 2.50 3/183 16088
/proc/meminfo: memFree=27423544/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=602176 CPUtime=2.26 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 70487 0 0 0 209 17 0 0 20 0 1 0 273493811 616628224 130020 33554432000 4194304 5654031 140735216826400 140735215775992 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16065/statm: 150544 130020 109 357 0 150184 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 658984
[startup+25.5003 s]
/proc/loadavg: 2.07 2.66 2.50 3/183 16270
/proc/meminfo: memFree=27189788/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=666852 CPUtime=15.05 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99288 0 0 0 1480 25 0 0 20 0 1 0 273493811 682856448 153413 33554432000 4194304 5654031 140735216826400 140735216814216 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16065/statm: 166713 153413 141 357 0 166353 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 723660
[startup+51.1002 s]
/proc/loadavg: 2.04 2.60 2.49 3/183 16620
/proc/meminfo: memFree=27188076/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=666852 CPUtime=40.65 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99289 0 0 0 4040 25 0 0 20 0 1 0 273493811 682856448 153414 33554432000 4194304 5654031 140735216826400 140735216814216 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 166713 153414 141 357 0 166353 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 723660
[startup+102.307 s]
/proc/loadavg: 1.99 2.51 2.46 3/183 17348
/proc/meminfo: memFree=27206452/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=666852 CPUtime=91.85 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99294 0 0 0 9159 26 0 0 20 0 1 0 273493811 682856448 153926 33554432000 4194304 5654031 140735216826400 140735216814216 4209096 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 166713 153926 141 357 0 166353 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 723660
[startup+162.3 s]
/proc/loadavg: 1.95 2.40 2.42 3/184 18177
/proc/meminfo: memFree=27185584/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=666852 CPUtime=151.83 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99298 0 0 0 15157 26 0 0 20 0 1 0 273493811 682856448 153926 33554432000 4194304 5654031 140735216826400 140735216814216 4214638 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 166713 153926 141 357 0 166353 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 723660
[startup+222.3 s]
/proc/loadavg: 2.03 2.34 2.40 3/183 19025
/proc/meminfo: memFree=27182604/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=666852 CPUtime=211.82 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99299 0 0 0 21156 26 0 0 20 0 1 0 273493811 682856448 154221 33554432000 4194304 5654031 140735216826400 140735216814216 4209217 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 166713 154221 141 357 0 166353 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 723660
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27158536/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=667136 CPUtime=1231.66 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99426 0 0 0 123140 26 0 0 20 0 1 0 273493811 683147264 156682 33554432000 4194304 5654031 140735216826400 140735216824008 4214318 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 166784 156682 142 357 0 166424 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 723944
[startup+1302.3 s]
/proc/loadavg: 2.15 2.01 2.08 3/181 871
/proc/meminfo: memFree=25857188/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668216 CPUtime=1291.66 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99615 0 0 0 129140 26 0 0 20 0 1 0 273493811 684253184 156871 33554432000 4194304 5654031 140735216826400 140735216824296 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167054 156871 142 357 0 166694 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 725024
[startup+1362.3 s]
/proc/loadavg: 2.05 2.00 2.08 3/182 874
/proc/meminfo: memFree=25799680/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668452 CPUtime=1351.64 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99665 0 0 0 135138 26 0 0 20 0 1 0 273493811 684494848 156921 33554432000 4194304 5654031 140735216826400 140735216824088 4214612 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167113 156921 142 357 0 166753 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 725260
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 2.07 3/181 875
/proc/meminfo: memFree=25796028/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668592 CPUtime=1411.64 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99744 0 0 0 141138 26 0 0 20 0 1 0 273493811 684638208 157000 33554432000 4194304 5654031 140735216826400 140735216814216 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167148 157000 142 357 0 166788 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 725400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 875
/proc/meminfo: memFree=25776872/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668592 CPUtime=1471.63 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99744 0 0 0 147137 26 0 0 20 0 1 0 273493811 684638208 157000 33554432000 4194304 5654031 140735216826400 140735216814216 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167148 157000 142 357 0 166788 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 725400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 875
/proc/meminfo: memFree=25774328/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668724 CPUtime=1531.62 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99768 0 0 0 153136 26 0 0 20 0 1 0 273493811 684773376 157024 33554432000 4194304 5654031 140735216826400 140735216814216 4233332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167181 157024 142 357 0 166821 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 725532
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.06 3/181 875
/proc/meminfo: memFree=25772156/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668724 CPUtime=1591.61 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99777 0 0 0 159135 26 0 0 20 0 1 0 273493811 684773376 157033 33554432000 4194304 5654031 140735216826400 140735216814216 4214638 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167181 157033 142 357 0 166821 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 725532
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 875
/proc/meminfo: memFree=25772160/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668724 CPUtime=1651.6 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99790 0 0 0 165134 26 0 0 20 0 1 0 273493811 684773376 157046 33554432000 4194304 5654031 140735216826400 140735216814216 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167181 157046 142 357 0 166821 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 725532
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 876
/proc/meminfo: memFree=25769988/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668724 CPUtime=1711.59 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99807 0 0 0 171133 26 0 0 20 0 1 0 273493811 684773376 157061 33554432000 4194304 5654031 140735216826400 140735216814216 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167181 157061 142 357 0 166821 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 725532
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 876
/proc/meminfo: memFree=25767816/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=668724 CPUtime=1771.58 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99864 0 0 0 177132 26 0 0 20 0 1 0 273493811 684773376 157111 33554432000 4194304 5654031 140735216826400 140735216814216 4214475 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167181 157111 142 357 0 166821 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 725532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 876
/proc/meminfo: memFree=25767072/32873648 swapFree=6864/6864
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo-It) S 15916 15918 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273492769 9367552 274 33554432000 4194304 5064252 140736261935936 140736261934848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=47660 CPUtime=10.41 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-pbo) S 15918 15918 4763 0 -1 4202496 22896 45767 0 0 622 143 260 16 20 0 1 0 273492769 48803840 11590 33554432000 4194304 5992684 140735845463424 140735845449256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 11915 11590 197 440 0 11471 0
[pid=16065] ppid=15919 vsize=669620 CPUtime=1789.68 cores=1,3,5,7
/proc/16065/stat : 16065 (glucosInc) R 15919 15918 4763 0 -1 4202496 99999 0 0 0 178942 26 0 0 20 0 1 0 273493811 685690880 157243 33554432000 4194304 5654031 140735216826400 140735216814216 4214618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16065/statm: 167405 157243 142 357 0 167045 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 726428
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.13
CPU user time (s): 1798.25
CPU system time (s): 1.87471
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 927444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 1.87471
maximum resident set size= 807504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 645744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 444
involuntary context switches= 2113
runsolver used 3.06453 second user time and 8.42372 second system time
The end