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-4109151-1466341806/watcher-4109151-1466341806 -o /tmp/evaluation-result-4109151-1466341806/solver-4109151-1466341806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466341806-4422 --watchdog 1960 naps-1.02 HOME/instance-4109151-1466341806.wbo 

pid=4449
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: 0.20 0.20 0.18 4/177 4452
/proc/meminfo: memFree=30043668/32872528 swapFree=1459760/1655856
[pid=4452] ppid=4449 vsize=6832 CPUtime=0 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 36226131 6995968 257 33554432000 4194304 5796924 140733532270992 140734898625256 4350334 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 1708 257 130 392 0 1307 0

[startup+0.100144 s]
/proc/loadavg: 0.20 0.20 0.18 4/177 4452
/proc/meminfo: memFree=30043668/32872528 swapFree=1459760/1655856
[pid=4452] ppid=4449 vsize=8676 CPUtime=0.09 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 2119 0 0 0 9 0 0 0 20 0 1 0 36226131 8884224 1740 33554432000 4194304 5796924 140733532270992 140734898625256 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 2169 1740 169 392 0 1768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8676

[startup+0.200294 s]
/proc/loadavg: 0.20 0.20 0.18 4/177 4452
/proc/meminfo: memFree=30043668/32872528 swapFree=1459760/1655856
[pid=4452] ppid=4449 vsize=11364 CPUtime=0.19 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 2565 0 0 0 19 0 0 0 20 0 1 0 36226131 11636736 2165 33554432000 4194304 5796924 140733532270992 140734898625256 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 2841 2165 171 392 0 2440 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11364

[startup+0.300268 s]
/proc/loadavg: 0.20 0.20 0.18 4/177 4452
/proc/meminfo: memFree=30043668/32872528 swapFree=1459760/1655856
[pid=4452] ppid=4449 vsize=11364 CPUtime=0.29 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 2791 0 0 0 29 0 0 0 20 0 1 0 36226131 11636736 2391 33554432000 4194304 5796924 140733532270992 140734898625256 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 2841 2391 171 392 0 2440 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11364

[startup+0.700142 s]
/proc/loadavg: 0.20 0.20 0.18 4/177 4452
/proc/meminfo: memFree=30043668/32872528 swapFree=1459760/1655856
[pid=4452] ppid=4449 vsize=19772 CPUtime=0.69 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 3798 0 0 0 69 0 0 0 20 0 1 0 36226131 20246528 4393 33554432000 4194304 5796924 140733532270992 140733532268232 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 4943 4393 184 392 0 4542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19772

[startup+1.50024 s]
/proc/loadavg: 0.20 0.20 0.18 3/178 4453
/proc/meminfo: memFree=30008628/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=26844 CPUtime=1.48 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 4112 0 0 0 148 0 0 0 20 0 1 0 36226131 27488256 6226 33554432000 4194304 5796924 140733532270992 140733532268232 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 6711 6226 184 392 0 6310 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26844

[startup+3.10027 s]
/proc/loadavg: 0.34 0.23 0.19 3/178 4453
/proc/meminfo: memFree=30003408/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=31264 CPUtime=3.08 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 4731 0 0 0 308 0 0 0 20 0 1 0 36226131 32014336 7340 33554432000 4194304 5796924 140733532270992 140733532268232 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 7816 7340 184 392 0 7415 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31264

[startup+6.30023 s]
/proc/loadavg: 0.34 0.23 0.19 3/178 4453
/proc/meminfo: memFree=29982420/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=41384 CPUtime=6.29 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 5253 0 0 0 628 1 0 0 20 0 1 0 36226131 42377216 8274 33554432000 4194304 5796924 140733532270992 140733532268456 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 10346 8274 184 392 0 9945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41384

[startup+12.7002 s]
/proc/loadavg: 0.59 0.28 0.21 3/178 4453
/proc/meminfo: memFree=29974452/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=41384 CPUtime=12.69 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 5254 0 0 0 1268 1 0 0 20 0 1 0 36226131 42377216 8275 33554432000 4194304 5796924 140733532270992 140733532268232 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 10346 8275 184 392 0 9945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41384

[startup+25.5004 s]
/proc/loadavg: 0.96 0.37 0.24 3/178 4453
/proc/meminfo: memFree=29964328/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=48568 CPUtime=25.49 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 6020 0 0 0 2548 1 0 0 20 0 1 0 36226131 49733632 11067 33554432000 4194304 5796924 140733532270992 140733532268056 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 12142 11067 184 392 0 11741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48568

[startup+51.1003 s]
/proc/loadavg: 1.40 0.52 0.29 4/178 4453
/proc/meminfo: memFree=29943416/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=64704 CPUtime=51.08 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 6870 0 0 0 5107 1 0 0 20 0 1 0 36226131 66256896 13394 33554432000 4194304 5796924 140733532270992 140733532268456 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 16176 13394 184 392 0 15775 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64704

[startup+102.3 s]
/proc/loadavg: 1.80 0.78 0.39 3/177 4454
/proc/meminfo: memFree=29910160/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=83568 CPUtime=102.28 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 8305 0 0 0 10225 3 0 0 20 0 1 0 36226131 85573632 19600 33554432000 4194304 5796924 140733532270992 140733532268232 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 20892 19600 184 392 0 20491 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83568

[startup+162.3 s]
/proc/loadavg: 2.21 1.08 0.51 3/177 4456
/proc/meminfo: memFree=29884420/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=85264 CPUtime=162.27 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 9160 0 0 0 16223 4 0 0 20 0 1 0 36226131 87310336 20562 33554432000 4194304 5796924 140733532270992 140733532268232 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 21316 20562 184 392 0 20915 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 85264

[startup+222.307 s]
/proc/loadavg: 2.16 1.27 0.61 3/177 4457
/proc/meminfo: memFree=29900116/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=96760 CPUtime=222.26 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 10568 0 0 0 22221 5 0 0 20 0 1 0 36226131 99082240 23816 33554432000 4194304 5796924 140733532270992 140733532268056 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 24190 23816 184 392 0 23789 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 96760

[startup+282.3 s]
/proc/loadavg: 2.10 1.42 0.70 3/177 4458
/proc/meminfo: memFree=29863944/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=103940 CPUtime=282.25 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 12739 0 0 0 28217 8 0 0 20 0 1 0 36226131 106434560 25611 33554432000 4194304 5796924 140733532270992 140733532268456 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 25985 25611 184 392 0 25584 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 103940

[startup+342.3 s]
/proc/loadavg: 2.20 1.57 0.80 3/177 4459
/proc/meminfo: memFree=29851968/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=103940 CPUtime=342.24 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 14136 0 0 0 34214 10 0 0 20 0 1 0 36226131 106434560 25611 33554432000 4194304 5796924 140733532270992 140733532268456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 25985 25611 184 392 0 25584 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 103940

[startup+402.3 s]
/proc/loadavg: 2.22 1.69 0.88 3/177 4460
/proc/meminfo: memFree=29848004/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=103940 CPUtime=402.23 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 15536 0 0 0 40210 13 0 0 20 0 1 0 36226131 106434560 25611 33554432000 4194304 5796924 140733532270992 140733532268456 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 25985 25611 184 392 0 25584 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 103940

[startup+462.3 s]
/proc/loadavg: 2.18 1.77 0.96 3/176 4461
/proc/meminfo: memFree=29808916/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=153260 CPUtime=462.21 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 16947 0 0 0 46206 15 0 0 20 0 1 0 36226131 156938240 35163 33554432000 4194304 5796924 140733532270992 140733532268280 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 38315 35163 184 392 0 37914 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 153260

[startup+522.3 s]
/proc/loadavg: 2.24 1.87 1.04 3/177 4463
/proc/meminfo: memFree=29834592/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=116008 CPUtime=522.2 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 18476 0 0 0 52203 17 0 0 20 0 1 0 36226131 118792192 28632 33554432000 4194304 5796924 140733532270992 140733532268456 4922797 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 29002 28632 184 392 0 28601 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 116008

[startup+582.3 s]
/proc/loadavg: 2.19 1.92 1.11 3/177 4464
/proc/meminfo: memFree=29834604/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=116008 CPUtime=582.19 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 19537 0 0 0 58200 19 0 0 20 0 1 0 36226131 118792192 28632 33554432000 4194304 5796924 140733532270992 140733532268456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 29002 28632 184 392 0 28601 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 116008


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.11 1.45 3/177 4474
/proc/meminfo: memFree=29765932/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=196148 CPUtime=942.14 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 29125 0 0 0 94176 38 0 0 20 0 1 0 36226131 200855552 41046 33554432000 4194304 5796924 140733532270992 140733532268280 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49037 41046 184 392 0 48636 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 196148

[startup+1002.3 s]
/proc/loadavg: 2.22 2.14 1.50 3/177 4475
/proc/meminfo: memFree=29768408/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1002.13 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 30696 0 0 0 100172 41 0 0 20 0 1 0 36226131 169295872 40228 33554432000 4194304 5796924 140733532270992 140733532268280 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 40228 184 392 0 40931 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 165328

[startup+1062.3 s]
/proc/loadavg: 2.22 2.15 1.54 3/177 4476
/proc/meminfo: memFree=29772500/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1062.12 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 32576 0 0 0 106168 44 0 0 20 0 1 0 36226131 169295872 39716 33554432000 4194304 5796924 140733532270992 140733532268280 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 39716 184 392 0 40931 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 165328

[startup+1122.3 s]
/proc/loadavg: 2.36 2.20 1.59 3/177 4478
/proc/meminfo: memFree=29772908/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1122.11 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 34454 0 0 0 112164 47 0 0 20 0 1 0 36226131 169295872 39204 33554432000 4194304 5796924 140733532270992 140733532268280 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 39204 184 392 0 40931 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 165328

[startup+1182.3 s]
/proc/loadavg: 2.27 2.20 1.63 3/177 4479
/proc/meminfo: memFree=29778472/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=116008 CPUtime=1182.1 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 35986 0 0 0 118160 50 0 0 20 0 1 0 36226131 118792192 28632 33554432000 4194304 5796924 140733532270992 140733532268456 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 29002 28632 184 392 0 28601 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 116008

[startup+1242.3 s]
/proc/loadavg: 2.32 2.23 1.67 3/178 4483
/proc/meminfo: memFree=29723712/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=196148 CPUtime=1242.09 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 37868 0 0 0 124156 53 0 0 20 0 1 0 36226131 200855552 42343 33554432000 4194304 5796924 140733532270992 140733532268632 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49037 42343 184 392 0 48636 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 196148

[startup+1302.3 s]
/proc/loadavg: 2.42 2.26 1.72 3/177 4484
/proc/meminfo: memFree=29738036/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1302.09 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 39162 0 0 0 130153 56 0 0 20 0 1 0 36226131 169295872 38180 33554432000 4194304 5796924 140733532270992 140733532268280 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 38180 184 392 0 40931 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 165328

[startup+1362.3 s]
/proc/loadavg: 2.41 2.29 1.76 3/177 4485
/proc/meminfo: memFree=29748436/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1362.08 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 41046 0 0 0 136149 59 0 0 20 0 1 0 36226131 169295872 36644 33554432000 4194304 5796924 140733532270992 140733532268456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 36644 184 392 0 40931 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 165328

[startup+1422.3 s]
/proc/loadavg: 2.41 2.30 1.79 3/177 4487
/proc/meminfo: memFree=29753492/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=196148 CPUtime=1422.07 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 42583 0 0 0 142146 61 0 0 20 0 1 0 36226131 200855552 43879 33554432000 4194304 5796924 140733532270992 140733532268632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49037 43879 184 392 0 48636 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 196148

[startup+1482.3 s]
/proc/loadavg: 2.31 2.28 1.82 3/177 4488
/proc/meminfo: memFree=29734540/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=165328 CPUtime=1482.06 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 43883 0 0 0 148141 65 0 0 20 0 1 0 36226131 169295872 40740 33554432000 4194304 5796924 140733532270992 140733532268280 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 41332 40740 184 392 0 40931 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 165328

[startup+1542.31 s]
/proc/loadavg: 2.22 2.26 1.84 3/177 4489
/proc/meminfo: memFree=29778208/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=116008 CPUtime=1542.06 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 45421 0 0 0 154138 68 0 0 20 0 1 0 36226131 118792192 28632 33554432000 4194304 5796924 140733532270992 140733532268456 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 29002 28632 184 392 0 28601 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 116008

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 1.86 4/177 4490
/proc/meminfo: memFree=29764504/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=196148 CPUtime=1602.04 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 47211 0 0 0 160133 71 0 0 20 0 1 0 36226131 200855552 41228 33554432000 4194304 5796924 140733532270992 140733532268632 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49037 41228 184 392 0 48636 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 196148

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 1.87 3/177 4491
/proc/meminfo: memFree=29771132/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=117488 CPUtime=1662.03 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 48534 0 0 0 166130 73 0 0 20 0 1 0 36226131 120307712 28910 33554432000 4194304 5796924 140733532270992 140733532268456 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 29372 28910 184 392 0 28971 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 117488

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 1.89 4/177 4493
/proc/meminfo: memFree=29746320/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=197328 CPUtime=1722.02 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 50412 0 0 0 172126 76 0 0 20 0 1 0 36226131 202063872 46175 33554432000 4194304 5796924 140733532270992 140733532268280 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49332 46175 184 392 0 48931 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 197328

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 1.91 4/177 4494
/proc/meminfo: memFree=29693280/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=197328 CPUtime=1782.01 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 51360 0 0 0 178123 78 0 0 20 0 1 0 36226131 202063872 47711 33554432000 4194304 5796924 140733532270992 140733532268280 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 49332 47711 184 392 0 48931 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 197328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.21 1.91 3/178 4497
/proc/meminfo: memFree=29747780/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=148008 CPUtime=1800.01 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 51950 0 0 0 179921 80 0 0 20 0 1 0 36226131 151560192 36627 33554432000 4194304 5796924 140733532270992 140733532268456 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 37002 36627 184 392 0 36601 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148008

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

[startup+1800.3 s]
/proc/loadavg: 2.17 2.21 1.91 3/178 4497
/proc/meminfo: memFree=29747780/32872528 swapFree=1459628/1655852
[pid=4452] ppid=4449 vsize=148008 CPUtime=1800.01 cores=0,2,4,6
/proc/4452/stat : 4452 (naps-1.02) R 4449 4452 4406 0 -1 4202496 51950 0 0 0 179921 80 0 0 20 0 1 0 36226131 151560192 36627 33554432000 4194304 5796924 140733532270992 140733532268456 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/4452/statm: 37002 36627 184 392 0 36601 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148008

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.22
CPU system time (s): 0.803877
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 228148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.803877
maximum resident set size= 211592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51960
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= 14
involuntary context switches= 1924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5853 second user time and 6.88195 second system time

The end