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

pid=10890
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.00 2.00 2.00 2/176 10893
/proc/meminfo: memFree=31795056/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=6688 CPUtime=0 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 10032412 6848512 247 33554432000 4194304 5796924 140735401733536 140737011029128 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 1672 247 130 392 0 1271 0

[startup+0.100159 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10893
/proc/meminfo: memFree=31795056/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=10640 CPUtime=0.09 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 2553 0 0 0 9 0 0 0 20 0 1 0 10032412 10895360 2179 33554432000 4194304 5796924 140735401733536 140737011029128 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 2660 2179 169 392 0 2259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10640

[startup+0.200344 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10893
/proc/meminfo: memFree=31795056/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=11264 CPUtime=0.19 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 2817 0 0 0 19 0 0 0 20 0 1 0 10032412 11534336 2419 33554432000 4194304 5796924 140735401733536 140737011029128 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 2816 2419 171 392 0 2415 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11264

[startup+0.300273 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10893
/proc/meminfo: memFree=31795056/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=13952 CPUtime=0.29 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 2957 0 0 0 29 0 0 0 20 0 1 0 10032412 14286848 2559 33554432000 4194304 5796924 140735401733536 140737011029128 4592546 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 3488 2559 171 392 0 3087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13952

[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10893
/proc/meminfo: memFree=31795056/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=16944 CPUtime=0.69 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 4202 0 0 0 69 0 0 0 20 0 1 0 10032412 17350656 3786 33554432000 4194304 5796924 140735401733536 140735401730648 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 4236 3786 171 392 0 3835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16944

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10894
/proc/meminfo: memFree=31777384/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=32792 CPUtime=1.49 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 5314 0 0 0 149 0 0 0 20 0 1 0 10032412 33579008 7451 33554432000 4194304 5796924 140735401733536 140735401730648 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 8198 7451 171 392 0 7797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32792

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10894
/proc/meminfo: memFree=31773912/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=37636 CPUtime=3.09 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 6451 0 0 0 309 0 0 0 20 0 1 0 10032412 38539264 6823 33554432000 4194304 5796924 140735401733536 140735401730600 4607607 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 9409 6823 183 392 0 9008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37636

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10894
/proc/meminfo: memFree=31758476/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=37636 CPUtime=6.29 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 7205 0 0 0 628 1 0 0 20 0 1 0 10032412 38539264 9104 33554432000 4194304 5796924 140735401733536 140735401730776 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 9409 9104 183 392 0 9008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37636

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10894
/proc/meminfo: memFree=31751412/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=49176 CPUtime=12.69 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 7383 0 0 0 1268 1 0 0 20 0 1 0 10032412 50356224 10812 33554432000 4194304 5796924 140735401733536 140735401730776 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 12294 10812 183 392 0 11893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49176

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10895
/proc/meminfo: memFree=31743160/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=56360 CPUtime=25.49 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 8147 0 0 0 2548 1 0 0 20 0 1 0 10032412 57712640 13093 33554432000 4194304 5796924 140735401733536 140735401730600 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 14090 13093 183 392 0 13689 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56360

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10941
/proc/meminfo: memFree=31768944/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=79636 CPUtime=51.08 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 9944 0 0 0 5106 2 0 0 20 0 1 0 10032412 81547264 17557 33554432000 4194304 5796924 140735401733536 140735401730776 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 19909 17557 183 392 0 19508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79636

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10942
/proc/meminfo: memFree=31690936/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=80104 CPUtime=102.28 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 10807 0 0 0 10225 3 0 0 20 0 1 0 10032412 82026496 18489 33554432000 4194304 5796924 140735401733536 140735401730776 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 20026 18489 183 392 0 19625 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 80104

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10943
/proc/meminfo: memFree=31633496/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=91600 CPUtime=162.26 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 11135 0 0 0 16223 3 0 0 20 0 1 0 10032412 93798400 22389 33554432000 4194304 5796924 140735401733536 140735401730600 4591865 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 22900 22389 183 392 0 22499 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91600

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10944
/proc/meminfo: memFree=31632340/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=91600 CPUtime=222.26 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 11591 0 0 0 22222 4 0 0 20 0 1 0 10032412 93798400 22596 33554432000 4194304 5796924 140735401733536 140735401731000 4593898 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 22900 22596 183 392 0 22499 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 91600

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 10945
/proc/meminfo: memFree=31583188/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=91600 CPUtime=282.24 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 12594 0 0 0 28218 6 0 0 20 0 1 0 10032412 93798400 22596 33554432000 4194304 5796924 140735401733536 140735401730824 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 22900 22596 183 392 0 22499 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 91600

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10948
/proc/meminfo: memFree=31560396/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=342.23 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 14731 0 0 0 34214 9 0 0 20 0 1 0 10032412 164638720 35476 33554432000 4194304 5796924 140735401733536 140735401730824 4607261 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 35476 183 392 0 39794 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 160780

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10952
/proc/meminfo: memFree=31600684/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=402.22 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 15743 0 0 0 40211 11 0 0 20 0 1 0 10032412 164638720 36500 33554432000 4194304 5796924 140735401733536 140735401730824 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 36500 183 392 0 39794 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 160780

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10953
/proc/meminfo: memFree=31625696/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=111460 CPUtime=462.21 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 16754 0 0 0 46207 14 0 0 20 0 1 0 10032412 114135040 27562 33554432000 4194304 5796924 140735401733536 140735401731000 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 27865 27562 183 392 0 27464 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 111460

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10954
/proc/meminfo: memFree=31540496/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=522.21 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 17770 0 0 0 52204 17 0 0 20 0 1 0 10032412 164638720 37524 33554432000 4194304 5796924 140735401733536 140735401730824 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 37524 183 392 0 39794 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 160780

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10955
/proc/meminfo: memFree=31574616/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=582.2 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 18533 0 0 0 58201 19 0 0 20 0 1 0 10032412 164638720 37012 33554432000 4194304 5796924 140735401733536 140735401730824 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 37012 183 392 0 39794 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 160780


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10963
/proc/meminfo: memFree=31597008/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=111460 CPUtime=942.14 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 25070 0 0 0 94180 34 0 0 20 0 1 0 10032412 114135040 27562 33554432000 4194304 5796924 140735401733536 140735401731000 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 27865 27562 183 392 0 27464 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 111460

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10967
/proc/meminfo: memFree=31521692/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1002.13 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 26925 0 0 0 100175 38 0 0 20 0 1 0 10032412 164638720 37012 33554432000 4194304 5796924 140735401733536 140735401730824 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 37012 183 392 0 39794 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 160780

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10968
/proc/meminfo: memFree=31501060/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1062.12 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 28609 0 0 0 106171 41 0 0 20 0 1 0 10032412 164638720 35476 33554432000 4194304 5796924 140735401733536 140735401730824 4593510 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 35476 183 392 0 39794 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 160780

[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10969
/proc/meminfo: memFree=31531876/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1122.11 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 30302 0 0 0 112166 45 0 0 20 0 1 0 10032412 164638720 37012 33554432000 4194304 5796924 140735401733536 140735401730824 4607255 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 37012 183 392 0 39794 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 160780

[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 10970
/proc/meminfo: memFree=31489972/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1182.1 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 31992 0 0 0 118162 48 0 0 20 0 1 0 10032412 164638720 38036 33554432000 4194304 5796924 140735401733536 140735401730824 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 38036 183 392 0 39794 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 160780

[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/176 10971
/proc/meminfo: memFree=31535252/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1242.09 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 33681 0 0 0 124158 51 0 0 20 0 1 0 10032412 164638720 38036 33554432000 4194304 5796924 140735401733536 140735401730824 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 38036 183 392 0 39794 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 160780

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10973
/proc/meminfo: memFree=31502596/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=160780 CPUtime=1302.08 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 35373 0 0 0 130153 55 0 0 20 0 1 0 10032412 164638720 39060 33554432000 4194304 5796924 140735401733536 140735401730824 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 40195 39060 183 392 0 39794 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 160780

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10974
/proc/meminfo: memFree=31545668/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=191768 CPUtime=1362.08 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 37699 0 0 0 136149 59 0 0 20 0 1 0 10032412 196370432 40720 33554432000 4194304 5796924 140735401733536 140735401731176 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 47942 40720 183 392 0 47541 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 191768

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10975
/proc/meminfo: memFree=31520024/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=142060 CPUtime=1422.07 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 39830 0 0 0 142144 63 0 0 20 0 1 0 10032412 145469440 35206 33554432000 4194304 5796924 140735401733536 140735401731176 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 35515 35206 183 392 0 35114 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 142060

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 10976
/proc/meminfo: memFree=31433968/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=222200 CPUtime=1482.05 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 41513 0 0 0 148140 65 0 0 20 0 1 0 10032412 227532800 48819 33554432000 4194304 5796924 140735401733536 140735401731176 4592097 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 55550 48819 183 392 0 55149 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 222200

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10977
/proc/meminfo: memFree=31501220/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=191380 CPUtime=1542.06 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 42615 0 0 0 154138 68 0 0 20 0 1 0 10032412 195973120 44144 33554432000 4194304 5796924 140735401733536 140735401730824 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 47845 44144 183 392 0 47444 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 191380

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 10982
/proc/meminfo: memFree=31446876/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=222200 CPUtime=1602.04 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 44054 0 0 0 160134 70 0 0 20 0 1 0 10032412 227532800 48313 33554432000 4194304 5796924 140735401733536 140735401731176 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 55550 48313 183 392 0 55149 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 222200

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10983
/proc/meminfo: memFree=31471500/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=142060 CPUtime=1662.03 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 44907 0 0 0 166131 72 0 0 20 0 1 0 10032412 145469440 35212 33554432000 4194304 5796924 140735401733536 140735401731176 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 35515 35212 183 392 0 35114 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 142060

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10984
/proc/meminfo: memFree=31494236/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=191380 CPUtime=1722.02 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 46011 0 0 0 172127 75 0 0 20 0 1 0 10032412 195973120 45174 33554432000 4194304 5796924 140735401733536 140735401730824 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 47845 45174 183 392 0 47444 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 191380

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 10985
/proc/meminfo: memFree=31437768/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=222200 CPUtime=1782.02 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 47445 0 0 0 178124 78 0 0 20 0 1 0 10032412 227532800 48825 33554432000 4194304 5796924 140735401733536 140735401731176 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 55550 48825 183 392 0 55149 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 222200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10985
/proc/meminfo: memFree=31483148/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=142060 CPUtime=1800.01 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 47451 0 0 0 179923 78 0 0 20 0 1 0 10032412 145469440 35212 33554432000 4194304 5796924 140735401733536 140735401731000 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 35515 35212 183 392 0 35114 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 142060

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

[startup+1800.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10985
/proc/meminfo: memFree=31483148/32872528 swapFree=188940/188940
[pid=10893] ppid=10890 vsize=142060 CPUtime=1800.01 cores=1,3,5,7
/proc/10893/stat : 10893 (naps-1.02) R 10890 10893 8211 0 -1 4202496 47451 0 0 0 179923 78 0 0 20 0 1 0 10032412 145469440 35212 33554432000 4194304 5796924 140735401733536 140735401731000 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10893/statm: 35515 35212 183 392 0 35114 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 142060

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.78788
maximum resident set size= 207588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47461
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= 17
involuntary context switches= 1989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50331 second user time and 6.95794 second system time

The end