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

pid=18911
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.30 2.24 2.20 3/179 18914
/proc/meminfo: memFree=30225632/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=6696 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 11148863 6856704 247 33554432000 4194304 5796924 140735098487680 140736994692152 4621249 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 1674 247 130 392 0 1273 0

[startup+0.100168 s]
/proc/loadavg: 2.30 2.24 2.20 3/179 18914
/proc/meminfo: memFree=30225632/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=11248 CPUtime=0.09 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 2656 0 0 0 9 0 0 0 20 0 1 0 11148863 11517952 2275 33554432000 4194304 5796924 140735098487680 140735098485240 5190026 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 2812 2276 169 392 0 2411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11248

[startup+0.200445 s]
/proc/loadavg: 2.30 2.24 2.20 3/179 18914
/proc/meminfo: memFree=30225632/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=15672 CPUtime=0.19 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 3248 0 0 0 19 0 0 0 20 0 1 0 11148863 16048128 2836 33554432000 4194304 5796924 140735098487680 140735098485240 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 3918 2836 171 392 0 3517 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15672

[startup+0.300299 s]
/proc/loadavg: 2.30 2.24 2.20 3/179 18914
/proc/meminfo: memFree=30225632/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=15672 CPUtime=0.29 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 3555 0 0 0 29 0 0 0 20 0 1 0 11148863 16048128 3140 33554432000 4194304 5796924 140735098487680 140735098485240 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 3918 3140 171 392 0 3517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15672

[startup+0.700324 s]
/proc/loadavg: 2.30 2.24 2.20 3/179 18914
/proc/meminfo: memFree=30225632/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=15672 CPUtime=0.68 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 4487 0 0 0 68 0 0 0 20 0 1 0 11148863 16048128 3495 33554432000 4194304 5796924 140735098487680 140735098485240 4592629 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 3918 3495 171 392 0 3517 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15672

[startup+1.50022 s]
/proc/loadavg: 2.30 2.24 2.20 3/180 18915
/proc/meminfo: memFree=30206756/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=22772 CPUtime=1.49 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 5072 0 0 0 148 1 0 0 20 0 1 0 11148863 23318528 5102 33554432000 4194304 5796924 140735098487680 140735098484920 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 5693 5102 171 392 0 5292 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22772

[startup+3.1003 s]
/proc/loadavg: 2.30 2.24 2.20 3/180 18915
/proc/meminfo: memFree=30199436/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=31912 CPUtime=3.09 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 7120 0 0 0 308 1 0 0 20 0 1 0 11148863 32677888 7478 33554432000 4194304 5796924 140735098487680 140735098484744 4607222 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 7978 7478 182 392 0 7577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31912

[startup+6.30027 s]
/proc/loadavg: 2.28 2.23 2.20 3/180 18915
/proc/meminfo: memFree=30182808/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=36384 CPUtime=6.29 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 7243 0 0 0 628 1 0 0 20 0 1 0 11148863 37257216 8622 33554432000 4194304 5796924 140735098487680 140735098484920 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 9096 8622 182 392 0 8695 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36384

[startup+12.7003 s]
/proc/loadavg: 2.26 2.23 2.20 4/180 18915
/proc/meminfo: memFree=30197276/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=55060 CPUtime=12.68 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 7301 0 0 0 1267 1 0 0 20 0 1 0 11148863 56381440 12257 33554432000 4194304 5796924 140735098487680 140735098484920 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 13765 12257 182 392 0 13364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55060

[startup+25.5004 s]
/proc/loadavg: 2.20 2.22 2.20 3/180 18915
/proc/meminfo: memFree=30166336/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=62564 CPUtime=25.49 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 7768 0 0 0 2547 2 0 0 20 0 1 0 11148863 64065536 14255 33554432000 4194304 5796924 140735098487680 140735098484920 4591913 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 15641 14255 182 392 0 15240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62564

[startup+51.1003 s]
/proc/loadavg: 2.28 2.23 2.20 3/179 18961
/proc/meminfo: memFree=30299504/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=92912 CPUtime=51.08 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 8771 0 0 0 5106 2 0 0 20 0 1 0 11148863 95141888 15791 33554432000 4194304 5796924 140735098487680 140735098484920 4606565 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 23228 15791 182 392 0 22827 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92912

[startup+102.3 s]
/proc/loadavg: 2.38 2.26 2.21 3/179 18961
/proc/meminfo: memFree=30153784/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=92912 CPUtime=102.27 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 9088 0 0 0 10225 2 0 0 20 0 1 0 11148863 95141888 22242 33554432000 4194304 5796924 140735098487680 140735098484920 4606565 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 23228 22242 182 392 0 22827 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 92912

[startup+162.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/179 18962
/proc/meminfo: memFree=30104108/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=92920 CPUtime=162.26 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 11187 0 0 0 16219 7 0 0 20 0 1 0 11148863 95150080 22756 33554432000 4194304 5796924 140735098487680 140735098485144 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 23230 22756 182 392 0 22829 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 92920

[startup+222.308 s]
/proc/loadavg: 2.35 2.28 2.22 4/179 18964
/proc/meminfo: memFree=30200444/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=92920 CPUtime=222.26 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 12340 0 0 0 22214 12 0 0 20 0 1 0 11148863 95150080 22756 33554432000 4194304 5796924 140735098487680 140735098485144 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 23230 22756 182 392 0 22829 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 92920

[startup+282.3 s]
/proc/loadavg: 2.29 2.27 2.21 3/179 18965
/proc/meminfo: memFree=30081036/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=142240 CPUtime=282.24 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 13275 0 0 0 28208 16 0 0 20 0 1 0 11148863 145653760 32582 33554432000 4194304 5796924 140735098487680 140735098484968 4596098 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 35560 32582 182 392 0 35159 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 142240

[startup+342.3 s]
/proc/loadavg: 2.19 2.25 2.21 3/179 18966
/proc/meminfo: memFree=30087916/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=154688 CPUtime=342.23 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 14771 0 0 0 34202 21 0 0 20 0 1 0 11148863 158400512 33646 33554432000 4194304 5796924 140735098487680 140735098485144 4592641 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 38672 33646 182 392 0 38271 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 154688

[startup+402.3 s]
/proc/loadavg: 2.19 2.23 2.20 3/179 18967
/proc/meminfo: memFree=30026600/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=105368 CPUtime=402.23 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 15490 0 0 0 40197 26 0 0 20 0 1 0 11148863 107896832 25868 33554432000 4194304 5796924 140735098487680 140735098485144 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 26342 25868 182 392 0 25941 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 105368

[startup+462.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/179 18968
/proc/meminfo: memFree=30061032/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=154688 CPUtime=462.21 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 16209 0 0 0 46191 30 0 0 20 0 1 0 11148863 158400512 36718 33554432000 4194304 5796924 140735098487680 140735098484968 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 38672 36718 182 392 0 38271 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 154688

[startup+522.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/179 18970
/proc/meminfo: memFree=30092308/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=105368 CPUtime=522.2 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 16818 0 0 0 52187 33 0 0 20 0 1 0 11148863 107896832 25871 33554432000 4194304 5796924 140735098487680 140735098485144 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 26342 25871 182 392 0 25941 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 105368

[startup+582.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/180 18974
/proc/meminfo: memFree=29982360/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=154688 CPUtime=582.19 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 18160 0 0 0 58182 37 0 0 20 0 1 0 11148863 158400512 37745 33554432000 4194304 5796924 140735098487680 140735098484968 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 38672 37745 182 392 0 38271 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 154688


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


[startup+942.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/179 18981
/proc/meminfo: memFree=30012800/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=154688 CPUtime=942.14 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 36230 0 0 0 94137 77 0 0 20 0 1 0 11148863 158400512 36209 33554432000 4194304 5796924 140735098487680 140735098484968 4606777 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 38672 36209 182 392 0 38271 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 154688

[startup+1002.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/179 18982
/proc/meminfo: memFree=29950104/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=185508 CPUtime=1002.13 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 38797 0 0 0 100131 82 0 0 20 0 1 0 11148863 189960192 40372 33554432000 4194304 5796924 140735098487680 140735098485320 4607261 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46377 40372 182 392 0 45976 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 185508

[startup+1062.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/179 18983
/proc/meminfo: memFree=30030344/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=185508 CPUtime=1062.12 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 40921 0 0 0 106126 86 0 0 20 0 1 0 11148863 189960192 40372 33554432000 4194304 5796924 140735098487680 140735098485320 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46377 40372 182 392 0 45976 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 185508

[startup+1122.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/179 18985
/proc/meminfo: memFree=30005352/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=185508 CPUtime=1122.11 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 43055 0 0 0 112120 91 0 0 20 0 1 0 11148863 189960192 39355 33554432000 4194304 5796924 140735098487680 140735098485320 4592071 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46377 39355 182 392 0 45976 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 185508

[startup+1182.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/180 18989
/proc/meminfo: memFree=29989744/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=155700 CPUtime=1182.11 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 44838 0 0 0 118115 96 0 0 20 0 1 0 11148863 159436800 37993 33554432000 4194304 5796924 140735098487680 140735098484968 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 38925 37993 182 392 0 38524 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 155700

[startup+1242.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 18990
/proc/meminfo: memFree=29980460/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=136728 CPUtime=1242.09 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 48010 0 0 0 124107 102 0 0 20 0 1 0 11148863 140009472 33718 33554432000 4194304 5796924 140735098487680 140735098485144 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 34182 33718 182 392 0 33781 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 136728

[startup+1302.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/179 18991
/proc/meminfo: memFree=29896908/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=216868 CPUtime=1302.09 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 50146 0 0 0 130102 107 0 0 20 0 1 0 11148863 222072832 50269 33554432000 4194304 5796924 140735098487680 140735098485320 4606500 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 54217 50269 182 392 0 53816 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 216868

[startup+1362.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/179 18992
/proc/meminfo: memFree=29902004/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=186048 CPUtime=1362.08 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 51690 0 0 0 136097 111 0 0 20 0 1 0 11148863 190513152 45594 33554432000 4194304 5796924 140735098487680 140735098484968 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46512 45594 182 392 0 46111 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 186048

[startup+1422.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/179 18994
/proc/meminfo: memFree=29954412/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=216868 CPUtime=1422.07 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 53702 0 0 0 142092 115 0 0 20 0 1 0 11148863 222072832 50269 33554432000 4194304 5796924 140735098487680 140735098485320 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 54217 50269 182 392 0 53816 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 216868

[startup+1482.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 18995
/proc/meminfo: memFree=29993628/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=186048 CPUtime=1482.05 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 55247 0 0 0 148086 119 0 0 20 0 1 0 11148863 190513152 42010 33554432000 4194304 5796924 140735098487680 140735098484968 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46512 42010 182 392 0 46111 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 186048

[startup+1542.31 s]
/proc/loadavg: 2.26 2.23 2.18 3/179 18996
/proc/meminfo: memFree=29955484/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=216868 CPUtime=1542.06 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 57264 0 0 0 154082 124 0 0 20 0 1 0 11148863 222072832 49757 33554432000 4194304 5796924 140735098487680 140735098485320 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 54217 49757 182 392 0 53816 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 216868

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/179 18997
/proc/meminfo: memFree=30021080/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=136728 CPUtime=1602.04 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 58693 0 0 0 160076 128 0 0 20 0 1 0 11148863 140009472 33720 33554432000 4194304 5796924 140735098487680 140735098485144 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 34182 33720 182 392 0 33781 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 136728

[startup+1662.3 s]
/proc/loadavg: 2.27 2.23 2.18 4/179 18998
/proc/meminfo: memFree=29878216/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=186048 CPUtime=1662.03 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 60240 0 0 0 166071 132 0 0 20 0 1 0 11148863 190513152 44058 33554432000 4194304 5796924 140735098487680 140735098484968 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 46512 44058 182 392 0 46111 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 186048

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/179 19000
/proc/meminfo: memFree=29853576/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=136728 CPUtime=1722.02 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 62253 0 0 0 172066 136 0 0 20 0 1 0 11148863 140009472 33720 33554432000 4194304 5796924 140735098487680 140735098485144 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 34182 33720 182 392 0 33781 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 136728

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/180 19004
/proc/meminfo: memFree=29913424/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=136728 CPUtime=1782.01 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 63681 0 0 0 178061 140 0 0 20 0 1 0 11148863 140009472 33720 33554432000 4194304 5796924 140735098487680 140735098485144 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 34182 33720 182 392 0 33781 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 136728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.24 2.18 4/180 19005
/proc/meminfo: memFree=29967192/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=216868 CPUtime=1800.01 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 64392 0 0 0 179859 142 0 0 20 0 1 0 11148863 222072832 48733 33554432000 4194304 5796924 140735098487680 140735098485320 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 54217 48733 182 392 0 53816 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 216868

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 18914 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.26 2.24 2.18 4/180 19005
/proc/meminfo: memFree=29967192/32872528 swapFree=1481856/1661728
[pid=18914] ppid=18911 vsize=216868 CPUtime=1800.01 cores=1,3,5,7
/proc/18914/stat : 18914 (naps-1.02) R 18911 18914 13787 0 -1 4202496 64392 0 0 0 179859 142 0 0 20 0 1 0 11148863 222072832 48733 33554432000 4194304 5796924 140735098487680 140735098485320 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18914/statm: 54217 48733 182 392 0 53816 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 216868

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1798.6
CPU system time (s): 1.42578
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 216868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.42578
maximum resident set size= 209268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64402
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= 12
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2081 second user time and 13.7059 second system time

The end