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-4094706-1466079849/watcher-4094706-1466079849 -o /tmp/evaluation-result-4094706-1466079849/solver-4094706-1466079849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466075267-10089 --watchdog 1960 naps-1.02 HOME/instance-4094706-1466079849.wbo 

pid=10937
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.00 2.00 2.00 3/176 10940
/proc/meminfo: memFree=31843444/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=6688 CPUtime=0 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 10035469 6848512 244 33554432000 4194304 5796924 140734252587680 140733331481368 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 1672 244 130 392 0 1271 0

[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10940
/proc/meminfo: memFree=31843444/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=10832 CPUtime=0.09 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 1584 0 0 0 9 0 0 0 20 0 1 0 10035469 11091968 1366 33554432000 4194304 5796924 140734252587680 140733331481368 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 2708 1366 151 392 0 2307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10832

[startup+0.200364 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10940
/proc/meminfo: memFree=31843444/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=15428 CPUtime=0.19 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 3876 0 0 0 19 0 0 0 20 0 1 0 10035469 15798272 3278 33554432000 4194304 5796924 140734252587680 140733331481368 4591992 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 3857 3278 171 392 0 3456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15428

[startup+0.300341 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10940
/proc/meminfo: memFree=31843444/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=18104 CPUtime=0.29 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 4004 0 0 0 29 0 0 0 20 0 1 0 10035469 18538496 3917 33554432000 4194304 5796924 140734252587680 140733331481368 4607218 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 4526 3917 171 392 0 4125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18104

[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10940
/proc/meminfo: memFree=31843444/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=18104 CPUtime=0.69 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 4510 0 0 0 69 0 0 0 20 0 1 0 10035469 18538496 4080 33554432000 4194304 5796924 140734252587680 140733331481368 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 4526 4080 171 392 0 4125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18104

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31822396/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=25204 CPUtime=1.49 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 4866 0 0 0 149 0 0 0 20 0 1 0 10035469 25808896 5454 33554432000 4194304 5796924 140734252587680 140734252584920 4592059 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 6301 5454 171 392 0 5900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25204

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31817496/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=55624 CPUtime=3.09 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 6071 0 0 0 308 1 0 0 20 0 1 0 10035469 56958976 10058 33554432000 4194304 5796924 140734252587680 140734252584920 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 13906 10058 171 392 0 13505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55624

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31797372/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=74480 CPUtime=6.28 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 6103 0 0 0 627 1 0 0 20 0 1 0 10035469 76267520 11086 33554432000 4194304 5796924 140734252587680 140734252585144 4591895 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 18620 11086 171 392 0 18219 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 74480

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31765276/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=123800 CPUtime=12.69 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 6803 0 0 0 1266 3 0 0 20 0 1 0 10035469 126771200 22351 33554432000 4194304 5796924 140734252587680 140734252584968 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 30950 22351 171 392 0 30549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123800

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31709680/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=128360 CPUtime=25.48 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 8641 0 0 0 2543 5 0 0 20 0 1 0 10035469 131440640 29392 33554432000 4194304 5796924 140734252587680 140734252584968 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 32090 29392 183 392 0 31689 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128360

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31703720/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=128360 CPUtime=51.08 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 9562 0 0 0 5101 7 0 0 20 0 1 0 10035469 131440640 29904 33554432000 4194304 5796924 140734252587680 140734252584968 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 32090 29904 183 392 0 31689 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128360

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10942
/proc/meminfo: memFree=31639996/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=194840 CPUtime=102.28 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 12740 0 0 0 10216 12 0 0 20 0 1 0 10035469 199516160 41869 33554432000 4194304 5796924 140734252587680 140734252585320 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 48710 41869 183 392 0 48309 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 194840

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10943
/proc/meminfo: memFree=31633596/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=194840 CPUtime=162.25 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 14690 0 0 0 16210 15 0 0 20 0 1 0 10035469 199516160 43405 33554432000 4194304 5796924 140734252587680 140734252585320 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 48710 43405 183 392 0 48309 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 194840

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10944
/proc/meminfo: memFree=31644800/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=164020 CPUtime=222.25 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 16400 0 0 0 22206 19 0 0 20 0 1 0 10035469 167956480 39796 33554432000 4194304 5796924 140734252587680 140734252584968 4606567 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 41005 39796 183 392 0 40604 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 164020

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 10945
/proc/meminfo: memFree=31643496/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=164020 CPUtime=282.24 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 17729 0 0 0 28203 21 0 0 20 0 1 0 10035469 167956480 40313 33554432000 4194304 5796924 140734252587680 140734252584968 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 41005 40313 183 392 0 40604 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 164020

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 10948
/proc/meminfo: memFree=31611704/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=194840 CPUtime=342.23 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 19659 0 0 0 34199 24 0 0 20 0 1 0 10035469 199516160 42940 33554432000 4194304 5796924 140734252587680 140734252585320 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 48710 42940 183 392 0 48309 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 194840

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 10952
/proc/meminfo: memFree=31597596/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=194840 CPUtime=402.22 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 21006 0 0 0 40195 27 0 0 20 0 1 0 10035469 199516160 47036 33554432000 4194304 5796924 140734252587680 140734252585320 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 48710 47036 183 392 0 48309 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 194840

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10953
/proc/meminfo: memFree=31599700/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=194840 CPUtime=462.21 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 22349 0 0 0 46192 29 0 0 20 0 1 0 10035469 199516160 46012 33554432000 4194304 5796924 140734252587680 140734252585320 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 48710 46012 183 392 0 48309 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 194840

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10954
/proc/meminfo: memFree=31563648/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=244928 CPUtime=522.2 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 22668 0 0 0 52190 30 0 0 20 0 1 0 10035469 250806272 55017 33554432000 4194304 5796924 140734252587680 140734252585320 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 61232 55017 183 392 0 60831 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 244928

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10955
/proc/meminfo: memFree=31588208/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=244928 CPUtime=582.19 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 24011 0 0 0 58186 33 0 0 20 0 1 0 10035469 250806272 48873 33554432000 4194304 5796924 140734252587680 140734252585320 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 61232 48873 183 392 0 60831 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 244928


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10961
/proc/meminfo: memFree=31619336/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=167324 CPUtime=882.15 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 27986 0 0 0 88174 41 0 0 20 0 1 0 10035469 171339776 41108 33554432000 4194304 5796924 140734252587680 140734252585144 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 41831 41108 183 392 0 41430 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 167324

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10963
/proc/meminfo: memFree=31545892/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=248596 CPUtime=942.14 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 28826 0 0 0 94171 43 0 0 20 0 1 0 10035469 254562304 51653 33554432000 4194304 5796924 140734252587680 140734252584792 4606721 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 62149 51653 183 392 0 61748 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 248596

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 10967
/proc/meminfo: memFree=31510012/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=251068 CPUtime=1002.09 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 29364 0 0 0 100166 43 0 0 20 0 1 0 10035469 257093632 59467 33554432000 4194304 5796924 140734252587680 140734252584792 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 62767 59467 183 392 0 62366 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 251068

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10968
/proc/meminfo: memFree=31557864/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=205124 CPUtime=1062.09 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 31741 0 0 0 106163 46 0 0 20 0 1 0 10035469 210046976 48728 33554432000 4194304 5796924 140734252587680 140734252584792 4607209 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 51281 48728 183 392 0 50880 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 205124

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 10969
/proc/meminfo: memFree=31510236/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=261068 CPUtime=1122.08 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 33273 0 0 0 112161 47 0 0 20 0 1 0 10035469 267333632 58945 33554432000 4194304 5796924 140734252587680 140734252584792 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 65267 58945 183 392 0 64866 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 261068

[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 10970
/proc/meminfo: memFree=31553912/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=214184 CPUtime=1182.07 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 35178 0 0 0 118156 51 0 0 20 0 1 0 10035469 219324416 47092 33554432000 4194304 5796924 140734252587680 140734252585320 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 53546 47092 183 392 0 53145 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 214184

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 10972
/proc/meminfo: memFree=31515712/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=264484 CPUtime=1242.07 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 35511 0 0 0 124155 52 0 0 20 0 1 0 10035469 270831616 55601 33554432000 4194304 5796924 140734252587680 140734252584792 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 66121 55601 183 392 0 65720 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 264484

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10973
/proc/meminfo: memFree=31481640/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=265156 CPUtime=1302.05 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 35679 0 0 0 130153 52 0 0 20 0 1 0 10035469 271519744 63083 33554432000 4194304 5796924 140734252587680 140734252584792 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 66289 63083 183 392 0 65888 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 265156

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 10974
/proc/meminfo: memFree=31486004/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=217620 CPUtime=1362.02 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 37724 0 0 0 136147 55 0 0 20 0 1 0 10035469 222842880 53025 33554432000 4194304 5796924 140734252587680 140734252584792 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 54405 53025 183 392 0 54004 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 217620

[startup+1422.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 10975
/proc/meminfo: memFree=31443756/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=270552 CPUtime=1422.01 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 38626 0 0 0 142145 56 0 0 20 0 1 0 10035469 277045248 62614 33554432000 4194304 5796924 140734252587680 140734252584792 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 67638 62614 183 392 0 67237 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 270552

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10976
/proc/meminfo: memFree=31506288/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=222992 CPUtime=1482 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 40342 0 0 0 148141 59 0 0 20 0 1 0 10035469 228343808 49554 33554432000 4194304 5796924 140734252587680 140734252585320 4606491 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 55748 49554 183 392 0 55347 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 222992

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10978
/proc/meminfo: memFree=31456112/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=273080 CPUtime=1541.99 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 40678 0 0 0 154139 60 0 0 20 0 1 0 10035469 279633920 58574 33554432000 4194304 5796924 140734252587680 140734252585320 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 68270 58574 183 392 0 67869 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 273080

[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 10982
/proc/meminfo: memFree=31445160/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=273920 CPUtime=1601.97 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 40840 0 0 0 160137 60 0 0 20 0 1 0 10035469 280494080 67423 33554432000 4194304 5796924 140734252587680 140734252584792 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 68480 67423 183 392 0 68079 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 273920

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 10983
/proc/meminfo: memFree=31402804/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=357248 CPUtime=1661.97 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 41769 0 0 0 166136 61 0 0 20 0 1 0 10035469 365821952 73657 33554432000 4194304 5796924 140734252587680 140734252584792 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 89312 73657 183 392 0 88911 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 357248

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10984
/proc/meminfo: memFree=31445016/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=276788 CPUtime=1721.95 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 42862 0 0 0 172133 62 0 0 20 0 1 0 10035469 283430912 60820 33554432000 4194304 5796924 140734252587680 140734252584792 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 69197 60820 183 392 0 68796 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 276788

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11031
/proc/meminfo: memFree=31589604/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=278432 CPUtime=1781.94 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 43293 0 0 0 178131 63 0 0 20 0 1 0 10035469 285114368 68405 33554432000 4194304 5796924 140734252587680 140734252584792 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 69608 68405 183 392 0 69207 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 278432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11031
/proc/meminfo: memFree=31567948/32872528 swapFree=188940/188940
[pid=10940] ppid=10937 vsize=360072 CPUtime=1800.04 cores=0,2,4,6
/proc/10940/stat : 10940 (naps-1.02) R 10937 10940 8211 0 -1 4202496 43746 0 0 0 179941 63 0 0 20 0 1 0 10035469 368713728 70901 33554432000 4194304 5796924 140734252587680 140734252584792 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10940/statm: 90018 70901 183 392 0 89617 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 360072

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 10940 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.05
CPU user time (s): 1799.41
CPU system time (s): 0.638902
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 437556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.638902
maximum resident set size= 350208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43756
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= 114
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.333 second user time and 13.086 second system time

The end