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-3751680-1339177845/watcher-3751680-1339177845 -o /tmp/evaluation-result-3751680-1339177845/solver-3751680-1339177845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751680-1339177845.opb 424378113 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.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[startup+0.0132449 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700341 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17173
/proc/meminfo: memFree=23229068/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=0.21 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5430 0 0 0 18 3 0 0 20 0 1 0 383908995 19255296 3928 33554432000 4194304 6004724 140736246539360 140736246533824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3928 164 442 0 4255 0
[pid=17172] ppid=17170 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17172/stat : 17172 (cp2_pre.sh) S 17170 17169 16567 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383909017 9367552 277 33554432000 4194304 5064252 140737191921392 140737191920096 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17172/statm: 2287 277 234 213 0 72 0
[pid=17173] ppid=17172 vsize=83912 CPUtime=1.26 cores=1,3,5,7
/proc/17173/stat : 17173 (coprocessor) R 17172 17169 16567 0 -1 4202496 17681 0 0 0 123 3 0 0 20 0 1 0 383909017 85925888 20125 33554432000 4194304 6586260 140735452142832 140735452138648 4683525 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17173/statm: 20978 20125 192 584 0 20390 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121012
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17173
/proc/meminfo: memFree=23226092/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 27952
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17175
/proc/meminfo: memFree=23262908/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=80100 CPUtime=3.94 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 11945 0 0 0 391 3 0 0 20 0 1 0 383909229 82022400 17806 33554432000 4194304 5654031 140736909274560 140736909272584 4215088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 20025 17806 132 357 0 19665 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108052
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17199
/proc/meminfo: memFree=28737544/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=130624 CPUtime=10.34 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 13824 0 0 0 1028 6 0 0 20 0 1 0 383909229 133758976 24763 33554432000 4194304 5654031 140736909274560 140736909272648 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 32656 24763 132 357 0 32296 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158576
[startup+25.5004 s]
/proc/loadavg: 2.23 2.05 2.02 3/183 17222
/proc/meminfo: memFree=28471800/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=99804 CPUtime=23.13 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 16019 0 0 0 2304 9 0 0 20 0 1 0 383909229 102199296 21629 33554432000 4194304 5654031 140736909274560 140736909272648 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 24951 21629 132 357 0 24591 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 127756
[startup+51.1004 s]
/proc/loadavg: 2.15 2.04 2.01 3/181 17241
/proc/meminfo: memFree=27948296/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 8919 8181 199 442 0 8473 0
[pid=17241] ppid=17170 vsize=176216 CPUtime=2.63 cores=1,3,5,7
/proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 31819 0 0 0 255 8 0 0 20 0 1 0 383913840 180445184 36791 33554432000 4194304 5654031 140736035077728 140736035075512 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17241/statm: 44054 36791 141 357 0 43694 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 221040
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.01 3/181 17241
/proc/meminfo: memFree=27898612/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 8919 8181 199 442 0 8473 0
[pid=17241] ppid=17170 vsize=179428 CPUtime=53.83 cores=1,3,5,7
/proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 35617 0 0 0 5371 12 0 0 20 0 1 0 383913840 183734272 39578 33554432000 4194304 5654031 140736035077728 140736035065544 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17241/statm: 44857 39578 142 357 0 44497 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 224252
[startup+187.59 s]
/proc/loadavg: 2.20 2.08 2.02 3/181 17249
/proc/meminfo: memFree=27930228/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53712 CPUtime=187.37 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 36444 210693 0 0 414 88 18142 93 20 0 1 0 383908995 55001088 12657 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 13428 12657 200 442 0 12982 0
Current children cumulated CPU time (s) 187.37
Current children cumulated vsize (KiB) 62860
[startup+336.352 s]
/proc/loadavg: 2.98 2.28 2.09 3/181 17251
/proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=86324 CPUtime=336.12 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 40143 238096 0 0 462 98 32941 111 20 0 1 0 383908995 88395776 20509 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 21581 20509 200 442 0 21135 0
Current children cumulated CPU time (s) 336.12
Current children cumulated vsize (KiB) 95472
[startup+336.562 s]
/proc/loadavg: 2.98 2.28 2.09 3/181 17251
/proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=27851736/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=664.87 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 55738 317100 0 0 604 119 65611 153 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17296] ppid=17170 vsize=199560 CPUtime=636.73 cores=1,3,5,7
/proc/17296/stat : 17296 (glucosInc) R 17170 17169 16567 0 -1 4202496 36307 0 0 0 63645 28 0 0 20 0 1 0 383975538 204349440 47932 33554432000 4194304 5654031 140734923682656 140734923670472 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17296/statm: 49890 47932 141 357 0 49530 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 262264
[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.23 3/181 17305
/proc/meminfo: memFree=27825872/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=115972 CPUtime=6.91 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 22730 0 0 0 686 5 0 0 20 0 1 0 384044533 118755328 24930 33554432000 4194304 5654031 140735989693696 140735989681512 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17305/statm: 28993 24930 141 357 0 28633 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 178676
[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 2.21 3/181 17305
/proc/meminfo: memFree=27954628/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=66.9 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 25533 0 0 0 6683 7 0 0 20 0 1 0 384044533 204169216 45640 33554432000 4194304 5654031 140735989693696 140735989681512 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 49846 45640 141 357 0 49486 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 262088
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.20 3/181 17305
/proc/meminfo: memFree=28025664/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=126.89 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 26550 0 0 0 12679 10 0 0 20 0 1 0 384044533 204169216 44107 33554432000 4194304 5654031 140735989693696 140735989681512 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 49846 44107 141 357 0 49486 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 262088
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.18 3/181 17305
/proc/meminfo: memFree=27876912/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=230204 CPUtime=186.87 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 27281 0 0 0 18675 12 0 0 20 0 1 0 384044533 235728896 48782 33554432000 4194304 5654031 140735989693696 140735989691784 4233176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 57551 48782 141 357 0 57191 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 292908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/181 17306
/proc/meminfo: memFree=28000420/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=246.86 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 28859 0 0 0 24670 16 0 0 20 0 1 0 384044533 204169216 43603 33554432000 4194304 5654031 140735989693696 140735989681512 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17305/statm: 49846 43603 141 357 0 49486 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 262088
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.16 3/181 17308
/proc/meminfo: memFree=27880472/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=120340 CPUtime=24.62 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 23089 0 0 0 2454 8 0 0 20 0 1 0 384072761 123228160 27350 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17308/statm: 30085 27350 141 357 0 29725 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 183044
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/181 17308
/proc/meminfo: memFree=27638376/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=84.6 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25849 0 0 0 8444 16 0 0 20 0 1 0 384072761 204701696 46627 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17308/statm: 49976 46627 141 357 0 49616 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 262608
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.14 3/182 17311
/proc/meminfo: memFree=27919456/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=150584 CPUtime=144.59 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25892 0 0 0 14442 17 0 0 20 0 1 0 384072761 154198016 36364 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 37646 36364 141 357 0 37286 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 213288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 17311
/proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 49976 47140 141 357 0 49616 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 262608
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 17311
/proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 49976 47140 141 357 0 49616 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 262608
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.12
CPU user time (s): 1796.58
CPU system time (s): 3.54146
CPU usage (%): 99.9562
Max. virtual memory (cumulated for all children) (KiB): 392836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 3.54146
maximum resident set size= 268208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1003392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6491
involuntary context switches= 4074
runsolver used 5.86011 second user time and 15.9786 second system time
The end