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-4095021-1466089269/watcher-4095021-1466089269 -o /tmp/evaluation-result-4095021-1466089269/solver-4095021-1466089269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466075444-16122 --watchdog 1960 naps-1.02 HOME/instance-4095021-1466089269.wbo 

pid=18821
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: 2.25 2.26 2.20 4/179 18824
/proc/meminfo: memFree=30301832/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=6692 CPUtime=0 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 10973368 6852608 248 33554432000 4194304 5796924 140734052243344 140734052242168 4806891 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 1673 248 130 392 0 1272 0

[startup+0.10017 s]
/proc/loadavg: 2.25 2.26 2.20 4/179 18824
/proc/meminfo: memFree=30301832/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=6368 CPUtime=0.09 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 1709 0 0 0 9 0 0 0 20 0 1 0 10973368 6520832 1269 33554432000 4194304 5796924 140734052243344 140734052242168 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 1592 1269 162 392 0 1191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6368

[startup+0.200347 s]
/proc/loadavg: 2.25 2.26 2.20 4/179 18824
/proc/meminfo: memFree=30301832/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=19244 CPUtime=0.19 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 4862 0 0 0 19 0 0 0 20 0 1 0 10973368 19705856 4256 33554432000 4194304 5796924 140734052243344 140734052242168 4650392 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 4811 4256 169 392 0 4410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19244

[startup+0.300333 s]
/proc/loadavg: 2.25 2.26 2.20 4/179 18824
/proc/meminfo: memFree=30301832/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=20908 CPUtime=0.29 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 5196 0 0 0 29 0 0 0 20 0 1 0 10973368 21409792 4589 33554432000 4194304 5796924 140734052243344 140734052242168 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 5227 4589 171 392 0 4826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20908

[startup+0.700251 s]
/proc/loadavg: 2.25 2.26 2.20 4/179 18824
/proc/meminfo: memFree=30301832/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=35024 CPUtime=0.68 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 6734 0 0 0 68 0 0 0 20 0 1 0 10973368 35864576 7618 33554432000 4194304 5796924 140734052243344 140734052242168 4592067 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 8756 7618 182 392 0 8355 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35024

[startup+1.50024 s]
/proc/loadavg: 2.25 2.26 2.20 4/180 18825
/proc/meminfo: memFree=30270760/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=35020 CPUtime=1.49 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 6933 0 0 0 148 1 0 0 20 0 1 0 10973368 35860480 7896 33554432000 4194304 5796924 140734052243344 140734052240584 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 8755 7896 182 392 0 8354 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35020

[startup+3.10023 s]
/proc/loadavg: 2.25 2.26 2.20 4/180 18825
/proc/meminfo: memFree=30269892/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=35020 CPUtime=3.09 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 7585 0 0 0 308 1 0 0 20 0 1 0 10973368 35860480 8032 33554432000 4194304 5796924 140734052243344 140734052240808 4591877 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 8755 8032 182 392 0 8354 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35020

[startup+6.30029 s]
/proc/loadavg: 2.23 2.26 2.20 3/180 18825
/proc/meminfo: memFree=30258596/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=46516 CPUtime=6.29 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 8418 0 0 0 628 1 0 0 20 0 1 0 10973368 47632384 10906 33554432000 4194304 5796924 140734052243344 140734052240584 4612160 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 11629 10906 182 392 0 11228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46516

[startup+12.7003 s]
/proc/loadavg: 2.21 2.25 2.20 3/180 18825
/proc/meminfo: memFree=30258896/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=58008 CPUtime=12.68 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 8483 0 0 0 1267 1 0 0 20 0 1 0 10973368 59400192 12504 33554432000 4194304 5796924 140734052243344 140734052240584 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 14502 12504 182 392 0 14101 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58008

[startup+25.5004 s]
/proc/loadavg: 2.31 2.27 2.21 4/180 18825
/proc/meminfo: memFree=30243652/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=65756 CPUtime=25.48 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 9895 0 0 0 2546 2 0 0 20 0 1 0 10973368 67334144 14800 33554432000 4194304 5796924 140734052243344 140734052240584 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 16439 14800 182 392 0 16038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65756

[startup+51.1004 s]
/proc/loadavg: 2.34 2.28 2.21 3/180 18825
/proc/meminfo: memFree=30200524/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=70980 CPUtime=51.08 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 12068 0 0 0 5105 3 0 0 20 0 1 0 10973368 72683520 17022 33554432000 4194304 5796924 140734052243344 140734052240584 4606744 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 17745 17022 182 392 0 17344 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70980

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.21 3/179 18826
/proc/meminfo: memFree=30195292/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=102.28 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 12766 0 0 0 10224 4 0 0 20 0 1 0 10973368 123179008 23725 33554432000 4194304 5796924 140734052243344 140734052240584 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 23725 182 392 0 29672 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 120292

[startup+162.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/179 18828
/proc/meminfo: memFree=30192592/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=162.26 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 12767 0 0 0 16222 4 0 0 20 0 1 0 10973368 123179008 24237 33554432000 4194304 5796924 140734052243344 140734052240584 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24237 182 392 0 29672 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 120292

[startup+222.307 s]
/proc/loadavg: 2.34 2.27 2.21 3/179 18829
/proc/meminfo: memFree=30156356/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=222.25 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 12808 0 0 0 22221 4 0 0 20 0 1 0 10973368 123179008 24789 33554432000 4194304 5796924 140734052243344 140734052240584 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24789 182 392 0 29672 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 120292

[startup+282.3 s]
/proc/loadavg: 2.37 2.30 2.22 4/179 18830
/proc/meminfo: memFree=30141176/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=282.25 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 13826 0 0 0 28218 7 0 0 20 0 1 0 10973368 123179008 24791 33554432000 4194304 5796924 140734052243344 140734052240808 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24791 182 392 0 29672 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 120292

[startup+342.3 s]
/proc/loadavg: 2.21 2.27 2.21 3/179 18831
/proc/meminfo: memFree=30099300/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=169612 CPUtime=342.23 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 15864 0 0 0 34212 11 0 0 20 0 1 0 10973368 173682688 33222 33554432000 4194304 5796924 140734052243344 140734052240632 4607171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42403 33222 182 392 0 42002 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 169612

[startup+402.3 s]
/proc/loadavg: 2.24 2.26 2.21 3/179 18832
/proc/meminfo: memFree=30105776/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=402.22 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 17397 0 0 0 40208 14 0 0 20 0 1 0 10973368 123179008 24791 33554432000 4194304 5796924 140734052243344 140734052240808 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24791 182 392 0 29672 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 120292

[startup+462.3 s]
/proc/loadavg: 2.30 2.27 2.21 3/179 18834
/proc/meminfo: memFree=30110188/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=462.21 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 18936 0 0 0 46204 17 0 0 20 0 1 0 10973368 123179008 24791 33554432000 4194304 5796924 140734052243344 140734052240808 4596889 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24791 182 392 0 29672 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 120292

[startup+522.3 s]
/proc/loadavg: 2.33 2.29 2.22 3/179 18835
/proc/meminfo: memFree=30095104/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=169612 CPUtime=522.21 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 20478 0 0 0 52200 21 0 0 20 0 1 0 10973368 173682688 32711 33554432000 4194304 5796924 140734052243344 140734052240808 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42403 32711 182 392 0 42002 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 169612

[startup+582.3 s]
/proc/loadavg: 2.29 2.28 2.22 4/180 18839
/proc/meminfo: memFree=30115000/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=120292 CPUtime=582.19 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 21510 0 0 0 58196 23 0 0 20 0 1 0 10973368 123179008 24792 33554432000 4194304 5796924 140734052243344 140734052240808 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30073 24792 182 392 0 29672 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 120292


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.21 2.27 2.22 3/179 18845
/proc/meminfo: memFree=30023196/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=170656 CPUtime=882.15 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 27969 0 0 0 88176 39 0 0 20 0 1 0 10973368 174751744 39389 33554432000 4194304 5796924 140734052243344 140734052240632 4606420 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42664 39389 182 392 0 42263 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 170656

[startup+942.3 s]
/proc/loadavg: 2.32 2.28 2.23 3/179 18846
/proc/meminfo: memFree=30059624/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=170656 CPUtime=942.13 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 29015 0 0 0 94172 41 0 0 20 0 1 0 10973368 174751744 39389 33554432000 4194304 5796924 140734052243344 140734052240632 4607198 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42664 39389 182 392 0 42263 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 170656

[startup+1002.3 s]
/proc/loadavg: 2.25 2.27 2.23 3/179 18847
/proc/meminfo: memFree=30024148/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=170656 CPUtime=1002.12 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 30104 0 0 0 100167 45 0 0 20 0 1 0 10973368 174751744 38877 33554432000 4194304 5796924 140734052243344 140734052240632 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42664 38877 182 392 0 42263 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 170656

[startup+1062.3 s]
/proc/loadavg: 2.17 2.25 2.22 3/179 18849
/proc/meminfo: memFree=30084820/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=121336 CPUtime=1062.11 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 30883 0 0 0 106164 47 0 0 20 0 1 0 10973368 124248064 29934 33554432000 4194304 5796924 140734052243344 140734052240808 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30334 29934 182 392 0 29933 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 121336

[startup+1122.3 s]
/proc/loadavg: 2.22 2.24 2.22 4/179 18850
/proc/meminfo: memFree=30075624/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=121336 CPUtime=1122.11 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 31917 0 0 0 112161 50 0 0 20 0 1 0 10973368 124248064 29934 33554432000 4194304 5796924 140734052243344 140734052240808 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30334 29934 182 392 0 29933 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 121336

[startup+1182.3 s]
/proc/loadavg: 2.29 2.26 2.22 3/180 18854
/proc/meminfo: memFree=30010660/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=170656 CPUtime=1182.09 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 32960 0 0 0 118156 53 0 0 20 0 1 0 10973368 174751744 41949 33554432000 4194304 5796924 140734052243344 140734052240632 4607212 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42664 41949 182 392 0 42263 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 170656

[startup+1242.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/179 18855
/proc/meminfo: memFree=30067652/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=121336 CPUtime=1242.08 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 34326 0 0 0 124152 56 0 0 20 0 1 0 10973368 124248064 29934 33554432000 4194304 5796924 140734052243344 140734052240808 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30334 29934 182 392 0 29933 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 121336

[startup+1302.3 s]
/proc/loadavg: 2.24 2.25 2.22 3/179 18856
/proc/meminfo: memFree=30007316/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=201476 CPUtime=1302.07 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 36868 0 0 0 130147 60 0 0 20 0 1 0 10973368 206311424 43552 33554432000 4194304 5796924 140734052243344 140734052240984 4606559 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 50369 43552 182 392 0 49968 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 201476

[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.21 3/179 18858
/proc/meminfo: memFree=30007500/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=170656 CPUtime=1362.07 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 38824 0 0 0 136142 65 0 0 20 0 1 0 10973368 174751744 41437 33554432000 4194304 5796924 140734052243344 140734052240632 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 42664 41437 182 392 0 42263 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 170656

[startup+1422.3 s]
/proc/loadavg: 2.14 2.22 2.21 3/179 18859
/proc/meminfo: memFree=30047028/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=121336 CPUtime=1422.07 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 41100 0 0 0 142138 69 0 0 20 0 1 0 10973368 124248064 29934 33554432000 4194304 5796924 140734052243344 140734052240808 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 30334 29934 182 392 0 29933 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 121336

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.21 3/179 18860
/proc/meminfo: memFree=29997612/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=189500 CPUtime=1482.05 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 43346 0 0 0 148133 72 0 0 20 0 1 0 10973368 194048000 42239 33554432000 4194304 5796924 140734052243344 140734052240632 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 47375 42239 182 392 0 46974 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 189500

[startup+1542.31 s]
/proc/loadavg: 2.28 2.25 2.21 3/179 18861
/proc/meminfo: memFree=30039264/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=140180 CPUtime=1542.05 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 45494 0 0 0 154129 76 0 0 20 0 1 0 10973368 143544320 30091 33554432000 4194304 5796924 140734052243344 140734052240808 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 35045 30091 182 392 0 34644 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 140180

[startup+1602.3 s]
/proc/loadavg: 2.19 2.23 2.21 3/179 18862
/proc/meminfo: memFree=29978552/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=220320 CPUtime=1602.03 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 48180 0 0 0 160122 81 0 0 20 0 1 0 10973368 225607680 44877 33554432000 4194304 5796924 140734052243344 140734052240984 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 55080 44877 182 392 0 54679 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 220320

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 18864
/proc/meminfo: memFree=29993192/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=189500 CPUtime=1662.02 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 50136 0 0 0 166117 85 0 0 20 0 1 0 10973368 194048000 39178 33554432000 4194304 5796924 140734052243344 140734052240632 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 47375 39178 182 392 0 46974 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 189500

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.20 3/179 18865
/proc/meminfo: memFree=29976708/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=189500 CPUtime=1722.01 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 51840 0 0 0 172113 88 0 0 20 0 1 0 10973368 194048000 42250 33554432000 4194304 5796924 140734052243344 140734052240632 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 47375 42250 182 392 0 46974 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 189500

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.20 3/180 18915
/proc/meminfo: memFree=30164288/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=220320 CPUtime=1782 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 54125 0 0 0 178108 92 0 0 20 0 1 0 10973368 225607680 45389 33554432000 4194304 5796924 140734052243344 140734052240984 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 55080 45389 182 392 0 54679 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 220320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.22 2.20 3/179 18915
/proc/meminfo: memFree=30173868/32872528 swapFree=1481856/1661728
[pid=18824] ppid=18821 vsize=189500 CPUtime=1800.09 cores=0,2,4,6
/proc/18824/stat : 18824 (naps-1.02) R 18821 18824 13787 0 -1 4202496 54389 0 0 0 179916 93 0 0 20 0 1 0 10973368 194048000 43274 33554432000 4194304 5796924 140734052243344 140734052240632 4607168 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/18824/statm: 47375 43274 182 392 0 46974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 189500

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 18824 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.17
CPU system time (s): 0.939857
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 220320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.939857
maximum resident set size= 185652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54399
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= 16
involuntary context switches= 2210

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35534 second user time and 7.10592 second system time

The end