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-4094704-1466078160/watcher-4094704-1466078160 -o /tmp/evaluation-result-4094704-1466078160/solver-4094704-1466078160 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466075286-20964 --watchdog 1960 naps-1.02 HOME/instance-4094704-1466078160.wbo 

pid=21841
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.25 2.23 2.17 4/176 21844
/proc/meminfo: memFree=30334120/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 9864711 6852608 247 33554432000 4194304 5796924 140735927158576 140734419527288 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 1673 247 130 392 0 1272 0

[startup+0.100161 s]
/proc/loadavg: 2.25 2.23 2.17 4/176 21844
/proc/meminfo: memFree=30334120/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=7536 CPUtime=0.09 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 1888 0 0 0 9 0 0 0 20 0 1 0 9864711 7716864 1489 33554432000 4194304 5796924 140735927158576 140734419527288 4618116 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 1884 1489 169 392 0 1483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7536

[startup+0.200406 s]
/proc/loadavg: 2.25 2.23 2.17 4/176 21844
/proc/meminfo: memFree=30334120/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=10284 CPUtime=0.19 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 2320 0 0 0 19 0 0 0 20 0 1 0 9864711 10530816 1909 33554432000 4194304 5796924 140735927158576 140734419527288 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 2571 1909 171 392 0 2170 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10284

[startup+0.300303 s]
/proc/loadavg: 2.25 2.23 2.17 4/176 21844
/proc/meminfo: memFree=30334120/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=14652 CPUtime=0.29 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 2626 0 0 0 29 0 0 0 20 0 1 0 9864711 15003648 3234 33554432000 4194304 5796924 140735927158576 140734419527288 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 3663 3234 171 392 0 3262 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14652

[startup+0.7003 s]
/proc/loadavg: 2.25 2.23 2.17 4/176 21844
/proc/meminfo: memFree=30334120/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=17180 CPUtime=0.69 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 3321 0 0 0 69 0 0 0 20 0 1 0 9864711 17592320 3550 33554432000 4194304 5796924 140735927158576 140735927156136 4583381 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 4295 3550 183 392 0 3894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17180

[startup+1.50016 s]
/proc/loadavg: 2.25 2.23 2.17 4/177 21845
/proc/meminfo: memFree=30312952/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=24252 CPUtime=1.49 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 3862 0 0 0 148 1 0 0 20 0 1 0 9864711 24834048 5622 33554432000 4194304 5796924 140735927158576 140735927156136 4583188 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 6063 5622 183 392 0 5662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24252

[startup+3.1003 s]
/proc/loadavg: 2.25 2.23 2.17 3/177 21845
/proc/meminfo: memFree=30303520/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=27064 CPUtime=3.09 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 4896 0 0 0 308 1 0 0 20 0 1 0 9864711 27713536 6265 33554432000 4194304 5796924 140735927158576 140735927155816 4592023 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 6766 6265 183 392 0 6365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27064

[startup+6.30024 s]
/proc/loadavg: 2.23 2.23 2.17 3/177 21845
/proc/meminfo: memFree=30359028/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=38556 CPUtime=6.29 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 5108 0 0 0 628 1 0 0 20 0 1 0 9864711 39481344 7497 33554432000 4194304 5796924 140735927158576 140735927155816 4592613 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 9639 7497 183 392 0 9238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38556

[startup+12.7003 s]
/proc/loadavg: 2.21 2.22 2.17 3/177 21845
/proc/meminfo: memFree=30318792/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=38556 CPUtime=12.69 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 5277 0 0 0 1268 1 0 0 20 0 1 0 9864711 39481344 9198 33554432000 4194304 5796924 140735927158576 140735927155816 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 9639 9198 183 392 0 9238 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38556

[startup+25.5004 s]
/proc/loadavg: 2.24 2.23 2.17 3/177 21845
/proc/meminfo: memFree=30270716/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=43160 CPUtime=25.48 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 5814 0 0 0 2547 1 0 0 20 0 1 0 9864711 44195840 10244 33554432000 4194304 5796924 140735927158576 140735927155816 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 10790 10244 183 392 0 10389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43160

[startup+51.1003 s]
/proc/loadavg: 2.29 2.24 2.18 3/177 21845
/proc/meminfo: memFree=30287836/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=61836 CPUtime=51.08 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 6282 0 0 0 5106 2 0 0 20 0 1 0 9864711 63320064 11593 33554432000 4194304 5796924 140735927158576 140735927155816 4592148 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 15459 11593 183 392 0 15058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61836

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.18 3/177 21846
/proc/meminfo: memFree=30247612/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=69356 CPUtime=102.28 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 7760 0 0 0 10225 3 0 0 20 0 1 0 9864711 71020544 16433 33554432000 4194304 5796924 140735927158576 140735927155640 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 17339 16433 183 392 0 16938 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69356

[startup+162.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/177 21847
/proc/meminfo: memFree=30205028/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=111780 CPUtime=162.26 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 9578 0 0 0 16223 3 0 0 20 0 1 0 9864711 114462720 21321 33554432000 4194304 5796924 140735927158576 140735927155816 4595308 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 27945 21321 183 392 0 27544 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 111780

[startup+222.307 s]
/proc/loadavg: 2.30 2.27 2.19 3/177 21848
/proc/meminfo: memFree=30177716/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=111780 CPUtime=222.27 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 9627 0 0 0 22223 4 0 0 20 0 1 0 9864711 114462720 26480 33554432000 4194304 5796924 140735927158576 140735927155816 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 27945 26480 183 392 0 27544 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 111780

[startup+282.3 s]
/proc/loadavg: 2.20 2.25 2.18 4/178 21853
/proc/meminfo: memFree=30154736/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=111780 CPUtime=282.25 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 9628 0 0 0 28221 4 0 0 20 0 1 0 9864711 114462720 26992 33554432000 4194304 5796924 140735927158576 140735927155816 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 27945 26992 183 392 0 27544 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 111780

[startup+342.3 s]
/proc/loadavg: 2.25 2.26 2.19 3/178 21877
/proc/meminfo: memFree=30203432/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=111780 CPUtime=342.24 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 9629 0 0 0 34220 4 0 0 20 0 1 0 9864711 114462720 27504 33554432000 4194304 5796924 140735927158576 140735927155816 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 27945 27504 183 392 0 27544 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 111780

[startup+402.3 s]
/proc/loadavg: 2.30 2.27 2.19 3/177 21878
/proc/meminfo: memFree=30172608/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=402.23 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 10216 0 0 0 40219 4 0 0 20 0 1 0 9864711 126603264 30131 33554432000 4194304 5796924 140735927158576 140735927155816 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30131 183 392 0 30508 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 123636

[startup+462.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 21879
/proc/meminfo: memFree=30172724/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=462.22 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 10243 0 0 0 46218 4 0 0 20 0 1 0 9864711 126603264 30158 33554432000 4194304 5796924 140735927158576 140735927155816 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30158 183 392 0 30508 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 123636

[startup+522.3 s]
/proc/loadavg: 2.23 2.25 2.18 3/177 21880
/proc/meminfo: memFree=30183804/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=522.21 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 10243 0 0 0 52217 4 0 0 20 0 1 0 9864711 126603264 30158 33554432000 4194304 5796924 140735927158576 140735927155816 4607245 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30158 183 392 0 30508 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 123636

[startup+582.3 s]
/proc/loadavg: 2.32 2.27 2.19 3/177 21882
/proc/meminfo: memFree=30071148/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=582.19 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 10822 0 0 0 58214 5 0 0 20 0 1 0 9864711 126603264 30487 33554432000 4194304 5796924 140735927158576 140735927156040 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30487 183 392 0 30508 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 123636


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


[startup+942.3 s]
/proc/loadavg: 2.42 2.31 2.21 3/177 21892
/proc/meminfo: memFree=30010620/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=942.14 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 20299 0 0 0 94166 48 0 0 20 0 1 0 9864711 126603264 30487 33554432000 4194304 5796924 140735927158576 140735927156040 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30487 183 392 0 30508 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 123636

[startup+1002.3 s]
/proc/loadavg: 2.26 2.28 2.21 3/177 21893
/proc/meminfo: memFree=30065232/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=172956 CPUtime=1002.14 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 22307 0 0 0 100157 57 0 0 20 0 1 0 9864711 177106944 38794 33554432000 4194304 5796924 140735927158576 140735927156040 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 43239 38794 183 392 0 42838 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 172956

[startup+1062.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/177 21894
/proc/meminfo: memFree=30046492/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=123636 CPUtime=1062.13 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 23931 0 0 0 106148 65 0 0 20 0 1 0 9864711 126603264 30487 33554432000 4194304 5796924 140735927158576 140735927156040 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 30909 30487 183 392 0 30508 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 123636

[startup+1122.3 s]
/proc/loadavg: 2.40 2.32 2.22 3/177 21895
/proc/meminfo: memFree=29958932/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=155412 CPUtime=1122.12 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 26207 0 0 0 112139 73 0 0 20 0 1 0 9864711 159141888 38431 33554432000 4194304 5796924 140735927158576 140735927156040 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 38853 38431 183 392 0 38452 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 155412

[startup+1182.3 s]
/proc/loadavg: 2.31 2.31 2.22 3/177 21897
/proc/meminfo: memFree=29998768/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1182.11 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 29311 0 0 0 118129 82 0 0 20 0 1 0 9864711 209645568 48786 33554432000 4194304 5796924 140735927158576 140735927155864 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 48786 183 392 0 50782 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 204732

[startup+1242.3 s]
/proc/loadavg: 2.28 2.31 2.23 3/177 21898
/proc/meminfo: memFree=29947640/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=155412 CPUtime=1242.1 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 30805 0 0 0 124121 89 0 0 20 0 1 0 9864711 159141888 38431 33554432000 4194304 5796924 140735927158576 140735927156040 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 38853 38431 183 392 0 38452 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 155412

[startup+1302.3 s]
/proc/loadavg: 2.30 2.31 2.23 3/177 21899
/proc/meminfo: memFree=29987740/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1302.09 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 32307 0 0 0 130112 97 0 0 20 0 1 0 9864711 209645568 48274 33554432000 4194304 5796924 140735927158576 140735927155864 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 48274 183 392 0 50782 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 204732

[startup+1362.3 s]
/proc/loadavg: 2.27 2.30 2.23 3/177 21900
/proc/meminfo: memFree=29943304/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=155412 CPUtime=1362.08 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 33408 0 0 0 136106 102 0 0 20 0 1 0 9864711 159141888 38431 33554432000 4194304 5796924 140735927158576 140735927156040 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 38853 38431 183 392 0 38452 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 155412

[startup+1422.3 s]
/proc/loadavg: 2.41 2.33 2.24 4/177 21901
/proc/meminfo: memFree=30024852/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1422.08 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 35162 0 0 0 142098 110 0 0 20 0 1 0 9864711 209645568 49298 33554432000 4194304 5796924 140735927158576 140735927155864 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 49298 183 392 0 50782 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 204732

[startup+1482.3 s]
/proc/loadavg: 2.31 2.31 2.24 3/178 21906
/proc/meminfo: memFree=29964704/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1482.06 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 36538 0 0 0 148088 118 0 0 20 0 1 0 9864711 209645568 48786 33554432000 4194304 5796924 140735927158576 140735927155864 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 48786 183 392 0 50782 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 204732

[startup+1542.31 s]
/proc/loadavg: 2.35 2.31 2.25 3/177 21907
/proc/meminfo: memFree=29928672/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1542.06 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 38307 0 0 0 154081 125 0 0 20 0 1 0 9864711 209645568 47250 33554432000 4194304 5796924 140735927158576 140735927155864 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 47250 183 392 0 50782 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 204732

[startup+1602.3 s]
/proc/loadavg: 2.26 2.30 2.24 3/177 21908
/proc/meminfo: memFree=30046032/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1602.05 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 39409 0 0 0 160075 130 0 0 20 0 1 0 9864711 209645568 47250 33554432000 4194304 5796924 140735927158576 140735927155864 4592593 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 47250 183 392 0 50782 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 204732

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.25 3/177 21909
/proc/meminfo: memFree=29985472/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=204732 CPUtime=1662.03 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 41483 0 0 0 166067 136 0 0 20 0 1 0 9864711 209645568 49314 33554432000 4194304 5796924 140735927158576 140735927155864 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 51183 49314 183 392 0 50782 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 204732

[startup+1722.3 s]
/proc/loadavg: 2.17 2.26 2.24 3/177 21956
/proc/meminfo: memFree=30331752/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=174560 CPUtime=1722.03 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 46126 0 0 0 172057 146 0 0 20 0 1 0 9864711 178749440 39260 33554432000 4194304 5796924 140735927158576 140735927156040 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 43640 39260 183 392 0 43239 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 174560

[startup+1782.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/176 21957
/proc/meminfo: memFree=30286596/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=188824 CPUtime=1782.02 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 49034 0 0 0 178051 151 0 0 20 0 1 0 9864711 193355776 46784 33554432000 4194304 5796924 140735927158576 140735927156040 4606537 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 47206 46784 183 392 0 46805 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 188824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.25 2.23 4/177 21958
/proc/meminfo: memFree=30286280/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=188824 CPUtime=1800.02 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 49308 0 0 0 179849 153 0 0 20 0 1 0 9864711 193355776 46784 33554432000 4194304 5796924 140735927158576 140735927156040 4593577 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 47206 46784 183 392 0 46805 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 188824

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.25 2.23 4/177 21958
/proc/meminfo: memFree=30286280/32872528 swapFree=1430864/1543284
[pid=21844] ppid=21841 vsize=188824 CPUtime=1800.02 cores=1,3,5,7
/proc/21844/stat : 21844 (naps-1.02) R 21841 21844 17726 0 -1 4202496 49308 0 0 0 179849 153 0 0 20 0 1 0 9864711 193355776 46784 33554432000 4194304 5796924 140735927158576 140735927156040 4593577 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21844/statm: 47206 46784 183 392 0 46805 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 188824

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1798.49
CPU system time (s): 1.53277
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 268964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.53277
maximum resident set size= 236680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49318
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= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90595 second user time and 9.96049 second system time

The end