runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118297-1467234420/watcher-4118297-1467234420 -o /tmp/evaluation-result-4118297-1467234420/solver-4118297-1467234420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8021 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118297-1467234420.opb
pid=8032
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 2.42 2.37 2.29 2/172 8035
/proc/meminfo: memFree=23890832/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=6824 CPUtime=0 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 4394741 6987776 292 33554432000 4194304 5796924 140733818715440 140736632500680 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 1706 292 128 392 0 1305 0
[startup+0.10015 s]
/proc/loadavg: 2.42 2.37 2.29 2/172 8035
/proc/meminfo: memFree=23890832/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=8376 CPUtime=0.09 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 817 0 0 0 9 0 0 0 20 0 1 0 4394741 8577024 683 33554432000 4194304 5796924 140733818715440 140736632500680 5092518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 2094 683 139 392 0 1693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8376
[startup+0.200283 s]
/proc/loadavg: 2.42 2.37 2.29 2/172 8035
/proc/meminfo: memFree=23890832/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=5372 CPUtime=0.19 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 1255 0 0 0 19 0 0 0 20 0 1 0 4394741 5500928 1020 33554432000 4194304 5796924 140733818715440 140736632500680 5092425 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 1343 1020 159 392 0 942 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5372
[startup+0.300266 s]
/proc/loadavg: 2.42 2.37 2.29 2/172 8035
/proc/meminfo: memFree=23890832/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=5372 CPUtime=0.29 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 1255 0 0 0 29 0 0 0 20 0 1 0 4394741 5500928 1020 33554432000 4194304 5796924 140733818715440 140733818712424 5087571 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 1343 1020 159 392 0 942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5372
[startup+0.700311 s]
/proc/loadavg: 2.42 2.37 2.29 2/172 8035
/proc/meminfo: memFree=23890832/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=102688 CPUtime=0.69 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 22615 0 0 0 66 3 0 0 20 0 1 0 4394741 105152512 24017 33554432000 4194304 5796924 140733818715440 140733818712424 4633897 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 25672 24017 166 392 0 25271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102688
[startup+1.50031 s]
/proc/loadavg: 2.42 2.37 2.29 3/179 8051
/proc/meminfo: memFree=23724492/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=127276 CPUtime=1.49 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 27989 0 0 0 145 4 0 0 20 0 1 0 4394741 130330624 29879 33554432000 4194304 5796924 140733818715440 140733818712856 4655467 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 31819 29879 166 392 0 31418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127276
[startup+3.10026 s]
/proc/loadavg: 2.39 2.36 2.29 3/179 8051
/proc/meminfo: memFree=23717452/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=134348 CPUtime=3.09 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 29077 0 0 0 304 5 0 0 20 0 1 0 4394741 137572352 30870 33554432000 4194304 5796924 140733818715440 140733818712680 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 33587 30870 176 392 0 33186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134348
[startup+6.30027 s]
/proc/loadavg: 2.39 2.36 2.29 4/179 8051
/proc/meminfo: memFree=23710192/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=147008 CPUtime=6.29 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 29593 0 0 0 624 5 0 0 20 0 1 0 4394741 150536192 33430 33554432000 4194304 5796924 140733818715440 140733818712680 4594694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 36752 33430 176 392 0 36351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147008
[startup+12.7003 s]
/proc/loadavg: 2.40 2.37 2.29 3/179 8051
/proc/meminfo: memFree=23675284/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=158500 CPUtime=12.69 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 29972 0 0 0 1264 5 0 0 20 0 1 0 4394741 162304000 37349 33554432000 4194304 5796924 140733818715440 140733818712504 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 39625 37349 177 392 0 39224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 158500
[startup+25.5004 s]
/proc/loadavg: 2.34 2.35 2.29 3/179 8051
/proc/meminfo: memFree=23671036/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=188852 CPUtime=25.48 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30548 0 0 0 2543 5 0 0 20 0 1 0 4394741 193384448 43163 33554432000 4194304 5796924 140733818715440 140733818712504 4591877 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 47213 43163 177 392 0 46812 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 188852
[startup+51.1004 s]
/proc/loadavg: 2.30 2.34 2.28 4/179 8051
/proc/meminfo: memFree=23657424/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=158500 CPUtime=51.06 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30559 0 0 0 5101 5 0 0 20 0 1 0 4394741 162304000 38808 33554432000 4194304 5796924 140733818715440 140733818712904 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 39625 38808 177 392 0 39224 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 158500
[startup+102.3 s]
/proc/loadavg: 2.26 2.32 2.28 3/179 8052
/proc/meminfo: memFree=23625916/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=102.26 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30661 0 0 0 10220 6 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712680 4568928 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 177356
[startup+162.3 s]
/proc/loadavg: 2.21 2.29 2.27 3/179 8053
/proc/meminfo: memFree=23605932/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=162.25 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30661 0 0 0 16219 6 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712680 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 177356
[startup+222.308 s]
/proc/loadavg: 2.12 2.25 2.26 4/180 8057
/proc/meminfo: memFree=23562876/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=222.24 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30661 0 0 0 22218 6 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712680 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 177356
[startup+282.3 s]
/proc/loadavg: 2.25 2.27 2.26 3/179 8058
/proc/meminfo: memFree=23599720/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=282.23 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30681 0 0 0 28216 7 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 177356
[startup+342.3 s]
/proc/loadavg: 2.26 2.27 2.27 3/179 8060
/proc/meminfo: memFree=23599148/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=342.22 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30681 0 0 0 34215 7 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4606427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 177356
[startup+402.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/179 8061
/proc/meminfo: memFree=23599368/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=402.21 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30681 0 0 0 40214 7 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4592641 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 177356
[startup+462.3 s]
/proc/loadavg: 2.44 2.32 2.28 3/179 8062
/proc/meminfo: memFree=23586068/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=462.2 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30698 0 0 0 46213 7 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 177356
[startup+522.3 s]
/proc/loadavg: 2.36 2.31 2.28 3/179 8063
/proc/meminfo: memFree=23549044/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=522.19 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30715 0 0 0 52211 8 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 177356
[startup+582.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/179 8064
/proc/meminfo: memFree=23550940/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=226676 CPUtime=582.18 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30732 0 0 0 58210 8 0 0 20 0 1 0 4394741 232116224 52521 33554432000 4194304 5796924 140733818715440 140733818712728 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 56669 52521 177 392 0 56268 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 226676
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.31 2.32 2.28 3/179 8073
/proc/meminfo: memFree=23584800/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=882.14 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30854 0 0 0 88204 10 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4606627 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 177356
[startup+942.3 s]
/proc/loadavg: 2.19 2.29 2.27 3/179 8075
/proc/meminfo: memFree=23552008/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=226676 CPUtime=942.13 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30871 0 0 0 94202 11 0 0 20 0 1 0 4394741 232116224 52521 33554432000 4194304 5796924 140733818715440 140733818712728 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 56669 52521 177 392 0 56268 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 226676
[startup+1002.3 s]
/proc/loadavg: 2.30 2.31 2.27 4/179 8076
/proc/meminfo: memFree=23523064/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=1002.12 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30877 0 0 0 100201 11 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 177356
[startup+1062.3 s]
/proc/loadavg: 2.27 2.30 2.27 3/179 8077
/proc/meminfo: memFree=23504440/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=226676 CPUtime=1062.1 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30893 0 0 0 106199 11 0 0 20 0 1 0 4394741 232116224 52009 33554432000 4194304 5796924 140733818715440 140733818712728 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 56669 52009 177 392 0 56268 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 226676
[startup+1122.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 8078
/proc/meminfo: memFree=23584368/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=177356 CPUtime=1122.1 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 30901 0 0 0 112198 12 0 0 20 0 1 0 4394741 181612544 43817 33554432000 4194304 5796924 140733818715440 140733818712904 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 44339 43817 177 392 0 43938 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 177356
[startup+1182.3 s]
/proc/loadavg: 2.41 2.32 2.28 3/179 8079
/proc/meminfo: memFree=23538432/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1182.09 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31777 0 0 0 118196 13 0 0 20 0 1 0 4394741 246095872 55422 33554432000 4194304 5796924 140733818715440 140733818712728 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 55422 177 392 0 59681 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 240328
[startup+1242.3 s]
/proc/loadavg: 2.35 2.32 2.28 3/179 8081
/proc/meminfo: memFree=23463696/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1242.08 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31785 0 0 0 124195 13 0 0 20 0 1 0 4394741 246095872 59518 33554432000 4194304 5796924 140733818715440 140733818712728 4593716 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 59518 177 392 0 59681 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 240328
[startup+1302.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/179 8082
/proc/meminfo: memFree=23528864/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=191008 CPUtime=1302.07 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31857 0 0 0 130193 14 0 0 20 0 1 0 4394741 195592192 47230 33554432000 4194304 5796924 140733818715440 140733818712904 4594694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 47752 47230 177 392 0 47351 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 191008
[startup+1362.3 s]
/proc/loadavg: 2.36 2.33 2.28 4/179 8083
/proc/meminfo: memFree=23534376/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1362.06 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31874 0 0 0 136191 15 0 0 20 0 1 0 4394741 246095872 55934 33554432000 4194304 5796924 140733818715440 140733818712728 4583352 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 55934 177 392 0 59681 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 240328
[startup+1422.3 s]
/proc/loadavg: 2.33 2.33 2.28 3/180 8087
/proc/meminfo: memFree=23456788/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1422.06 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31881 0 0 0 142191 15 0 0 20 0 1 0 4394741 246095872 59518 33554432000 4194304 5796924 140733818715440 140733818712728 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 59518 177 392 0 59681 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 240328
[startup+1482.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/179 8088
/proc/meminfo: memFree=23461360/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=271148 CPUtime=1482.05 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31956 0 0 0 148189 16 0 0 20 0 1 0 4394741 277655552 63169 33554432000 4194304 5796924 140733818715440 140733818713080 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 67787 63169 177 392 0 67386 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 271148
[startup+1542.31 s]
/proc/loadavg: 2.29 2.31 2.27 4/179 8090
/proc/meminfo: memFree=23535244/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1542.04 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31972 0 0 0 154188 16 0 0 20 0 1 0 4394741 246095872 55422 33554432000 4194304 5796924 140733818715440 140733818712728 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 55422 177 392 0 59681 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 240328
[startup+1602.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/179 8091
/proc/meminfo: memFree=23519064/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1602.02 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 31980 0 0 0 160186 16 0 0 20 0 1 0 4394741 246095872 59518 33554432000 4194304 5796924 140733818715440 140733818712728 4596172 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 59518 177 392 0 59681 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 240328
[startup+1662.3 s]
/proc/loadavg: 2.30 2.31 2.27 4/179 8092
/proc/meminfo: memFree=23519000/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=191008 CPUtime=1662.02 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 32051 0 0 0 166185 17 0 0 20 0 1 0 4394741 195592192 47230 33554432000 4194304 5796924 140733818715440 140733818712904 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 47752 47230 177 392 0 47351 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 191008
[startup+1722.3 s]
/proc/loadavg: 2.20 2.29 2.26 4/179 8093
/proc/meminfo: memFree=23490380/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1722.01 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 32068 0 0 0 172183 18 0 0 20 0 1 0 4394741 246095872 55934 33554432000 4194304 5796924 140733818715440 140733818712728 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 55934 177 392 0 59681 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 240328
[startup+1782.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 8094
/proc/meminfo: memFree=23518976/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=240328 CPUtime=1782 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 32075 0 0 0 178182 18 0 0 20 0 1 0 4394741 246095872 59518 33554432000 4194304 5796924 140733818715440 140733818712728 4606847 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 60082 59518 177 392 0 59681 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 240328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.18 2.27 2.26 3/179 8094
/proc/meminfo: memFree=23476092/32872528 swapFree=1514864/1684516
[pid=8035] ppid=8032 vsize=271148 CPUtime=1800.09 cores=1,3,5,7
/proc/8035/stat : 8035 (naps-1.02) R 8032 8035 5662 0 -1 4202496 32143 0 0 0 179991 18 0 0 20 0 1 0 4394741 277655552 60097 33554432000 4194304 5796924 140733818715440 140733818713080 4593521 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8035/statm: 67787 60097 177 392 0 67386 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 271148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8035 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.19197
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 271148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.19197
maximum resident set size= 252676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65129 second user time and 6.80896 second system time
The end