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-4094705-1466079011/watcher-4094705-1466079011 -o /tmp/evaluation-result-4094705-1466079011/solver-4094705-1466079011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466075149-17052 --watchdog 1960 naps-1.02 HOME/instance-4094705-1466079011.wbo 

pid=17747
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.08 2.05 2.00 3/177 17750
/proc/meminfo: memFree=31767816/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 9951571 6852608 244 33554432000 4194304 5796924 140736026134640 140734947974008 4805658 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 1673 244 130 392 0 1272 0

[startup+0.100163 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 17750
/proc/meminfo: memFree=31767816/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=6632 CPUtime=0.09 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 1644 0 0 0 9 0 0 0 20 0 1 0 9951571 6791168 1249 33554432000 4194304 5796924 140736026134640 140734947974008 5092522 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 1658 1249 162 392 0 1257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6632

[startup+0.200324 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 17750
/proc/meminfo: memFree=31767816/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=10852 CPUtime=0.19 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 2491 0 0 0 19 0 0 0 20 0 1 0 9951571 11112448 2056 33554432000 4194304 5796924 140736026134640 140734947974008 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 2713 2056 171 392 0 2312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10852

[startup+0.300278 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 17750
/proc/meminfo: memFree=31767816/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=12544 CPUtime=0.29 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 3182 0 0 0 29 0 0 0 20 0 1 0 9951571 12845056 2744 33554432000 4194304 5796924 140736026134640 140734947974008 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 3136 2744 171 392 0 2735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12544

[startup+0.700243 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 17750
/proc/meminfo: memFree=31767816/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=19640 CPUtime=0.69 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 3573 0 0 0 69 0 0 0 20 0 1 0 9951571 20111360 4100 33554432000 4194304 5796924 140736026134640 140734947974008 4591865 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 4910 4100 181 392 0 4509 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19640

[startup+1.50027 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 17751
/proc/meminfo: memFree=31749576/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=26108 CPUtime=1.48 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 4437 0 0 0 148 0 0 0 20 0 1 0 9951571 26734592 5310 33554432000 4194304 5796924 140736026134640 140736026132104 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 6527 5310 181 392 0 6126 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26108

[startup+3.10025 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 17751
/proc/meminfo: memFree=31742884/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=28856 CPUtime=3.08 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 5288 0 0 0 308 0 0 0 20 0 1 0 9951571 29548544 6149 33554432000 4194304 5796924 140736026134640 140736026131704 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 7214 6149 181 392 0 6813 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28856

[startup+6.30026 s]
/proc/loadavg: 2.15 2.07 2.01 3/178 17751
/proc/meminfo: memFree=31741408/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=30944 CPUtime=6.28 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 5814 0 0 0 628 0 0 0 20 0 1 0 9951571 31686656 7184 33554432000 4194304 5796924 140736026134640 140736026131704 4583208 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 7736 7184 181 392 0 7335 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30944

[startup+12.7003 s]
/proc/loadavg: 2.14 2.06 2.01 3/178 17751
/proc/meminfo: memFree=31727456/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=45156 CPUtime=12.69 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 6259 0 0 0 1268 1 0 0 20 0 1 0 9951571 46239744 9428 33554432000 4194304 5796924 140736026134640 140736026131880 4606735 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 11289 9428 181 392 0 10888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45156

[startup+25.5003 s]
/proc/loadavg: 2.19 2.08 2.01 3/178 17751
/proc/meminfo: memFree=31717092/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=45156 CPUtime=25.49 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 6260 0 0 0 2548 1 0 0 20 0 1 0 9951571 46239744 9429 33554432000 4194304 5796924 140736026134640 140736026131880 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 11289 9429 181 392 0 10888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45156

[startup+51.1003 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 17751
/proc/meminfo: memFree=31680916/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=75616 CPUtime=51.08 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 7969 0 0 0 5106 2 0 0 20 0 1 0 9951571 77430784 14082 33554432000 4194304 5796924 140736026134640 140736026131880 4596185 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 18904 14082 181 392 0 18503 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75616

[startup+102.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 17752
/proc/meminfo: memFree=31667292/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=76052 CPUtime=102.27 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 9470 0 0 0 10224 3 0 0 20 0 1 0 9951571 77877248 16777 33554432000 4194304 5796924 140736026134640 140736026131880 4592097 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 19013 16777 181 392 0 18612 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76052

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 17754
/proc/meminfo: memFree=31635836/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=87544 CPUtime=162.26 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 9800 0 0 0 16222 4 0 0 20 0 1 0 9951571 89645056 20674 33554432000 4194304 5796924 140736026134640 140736026131704 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 21886 20674 181 392 0 21485 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 87544

[startup+222.307 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 17755
/proc/meminfo: memFree=31631612/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=87544 CPUtime=222.26 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 9820 0 0 0 22222 4 0 0 20 0 1 0 9951571 89645056 21205 33554432000 4194304 5796924 140736026134640 140736026131704 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 21886 21205 181 392 0 21485 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 87544

[startup+282.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 17756
/proc/meminfo: memFree=31628496/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=87544 CPUtime=282.24 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 11609 0 0 0 28219 5 0 0 20 0 1 0 9951571 89645056 21515 33554432000 4194304 5796924 140736026134640 140736026132104 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 21886 21515 181 392 0 21485 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 87544

[startup+342.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/177 17757
/proc/meminfo: memFree=31628116/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=87544 CPUtime=342.23 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 14570 0 0 0 34215 8 0 0 20 0 1 0 9951571 89645056 21515 33554432000 4194304 5796924 140736026134640 140736026132104 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 21886 21515 181 392 0 21485 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 87544

[startup+402.3 s]
/proc/loadavg: 2.26 2.11 2.02 3/177 17758
/proc/meminfo: memFree=31590084/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=156108 CPUtime=402.22 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 18755 0 0 0 40209 13 0 0 20 0 1 0 9951571 159854592 34484 33554432000 4194304 5796924 140736026134640 140736026131928 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 39027 34484 181 392 0 38626 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 156108

[startup+462.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/176 17759
/proc/meminfo: memFree=31556088/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=156108 CPUtime=462.21 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 21725 0 0 0 46204 17 0 0 20 0 1 0 9951571 159854592 34996 33554432000 4194304 5796924 140736026134640 140736026131928 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 39027 34996 181 392 0 38626 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 156108

[startup+522.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/177 17761
/proc/meminfo: memFree=31590092/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=106788 CPUtime=522.2 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 23711 0 0 0 52201 19 0 0 20 0 1 0 9951571 109350912 26326 33554432000 4194304 5796924 140736026134640 140736026132104 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 26697 26326 181 392 0 26296 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 106788

[startup+582.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/177 17762
/proc/meminfo: memFree=31553956/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=156108 CPUtime=582.19 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 27180 0 0 0 58196 23 0 0 20 0 1 0 9951571 159854592 35508 33554432000 4194304 5796924 140736026134640 140736026131928 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 39027 35508 181 392 0 38626 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 156108


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


[startup+942.3 s]
/proc/loadavg: 2.21 2.10 2.02 3/177 17772
/proc/meminfo: memFree=31589456/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=106788 CPUtime=942.14 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 38648 0 0 0 94173 41 0 0 20 0 1 0 9951571 109350912 26326 33554432000 4194304 5796924 140736026134640 140736026132104 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 26697 26326 181 392 0 26296 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 106788

[startup+1002.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 17773
/proc/meminfo: memFree=31545456/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=106788 CPUtime=1002.13 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 40648 0 0 0 100169 44 0 0 20 0 1 0 9951571 109350912 26326 33554432000 4194304 5796924 140736026134640 140736026132104 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 26697 26326 181 392 0 26296 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 106788

[startup+1062.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/177 17774
/proc/meminfo: memFree=31589336/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=106788 CPUtime=1062.13 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 42205 0 0 0 106166 47 0 0 20 0 1 0 9951571 109350912 26326 33554432000 4194304 5796924 140736026134640 140736026132104 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 26697 26326 181 392 0 26296 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 106788

[startup+1122.3 s]
/proc/loadavg: 2.21 2.13 2.04 3/177 17776
/proc/meminfo: memFree=31551168/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=156108 CPUtime=1122.11 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 44676 0 0 0 112162 49 0 0 20 0 1 0 9951571 159854592 36020 33554432000 4194304 5796924 140736026134640 140736026131928 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 39027 36020 181 392 0 38626 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 156108

[startup+1182.3 s]
/proc/loadavg: 2.07 2.10 2.03 3/177 17777
/proc/meminfo: memFree=31515660/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=156108 CPUtime=1182.1 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 47109 0 0 0 118157 53 0 0 20 0 1 0 9951571 159854592 36532 33554432000 4194304 5796924 140736026134640 140736026131928 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 39027 36532 181 392 0 38626 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 156108

[startup+1242.3 s]
/proc/loadavg: 2.15 2.11 2.04 3/178 17781
/proc/meminfo: memFree=31504616/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=175576 CPUtime=1242.09 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 49874 0 0 0 124151 58 0 0 20 0 1 0 9951571 179789824 37735 33554432000 4194304 5796924 140736026134640 140736026131928 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 43894 37735 181 392 0 43493 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 175576

[startup+1302.3 s]
/proc/loadavg: 2.13 2.10 2.03 3/177 17782
/proc/meminfo: memFree=31441376/32872528 swapFree=248300/248300
[pid=17750] ppid=17747 vsize=219120 CPUtime=1302.09 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 53613 0 0 0 130146 63 0 0 20 0 1 0 9951571 224378880 47719 33554432000 4194304 5796924 140736026134640 140736026132280 4606712 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 54780 47719 181 392 0 54379 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 219120

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.03 3/177 17783
/proc/meminfo: memFree=31488272/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1362.08 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 56278 0 0 0 136141 67 0 0 20 0 1 0 9951571 192819200 44068 33554432000 4194304 5796924 140736026134640 140736026131928 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 44068 181 392 0 46674 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 188300

[startup+1422.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/177 17785
/proc/meminfo: memFree=31484852/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=138980 CPUtime=1422.07 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 59044 0 0 0 142136 71 0 0 20 0 1 0 9951571 142315520 34374 33554432000 4194304 5796924 140736026134640 140736026132104 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 34745 34374 181 392 0 34344 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 138980

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.04 3/177 17786
/proc/meminfo: memFree=31486080/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1482.05 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 61711 0 0 0 148130 75 0 0 20 0 1 0 9951571 192819200 44580 33554432000 4194304 5796924 140736026134640 140736026131928 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 44580 181 392 0 46674 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 188300

[startup+1542.31 s]
/proc/loadavg: 2.12 2.10 2.04 3/177 17787
/proc/meminfo: memFree=31480172/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1542.06 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 64977 0 0 0 154126 80 0 0 20 0 1 0 9951571 192819200 45604 33554432000 4194304 5796924 140736026134640 140736026131928 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 45604 181 392 0 46674 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 188300

[startup+1602.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/177 17788
/proc/meminfo: memFree=31431588/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=219120 CPUtime=1602.04 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 67733 0 0 0 160120 84 0 0 20 0 1 0 9951571 224378880 48231 33554432000 4194304 5796924 140736026134640 140736026132280 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 54780 48231 181 392 0 54379 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 219120

[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.03 3/177 17789
/proc/meminfo: memFree=31423244/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=138980 CPUtime=1662.03 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 70799 0 0 0 166114 89 0 0 20 0 1 0 9951571 142315520 34374 33554432000 4194304 5796924 140736026134640 140736026132280 4607627 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 34745 34374 181 392 0 34344 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 138980

[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.03 3/177 17791
/proc/meminfo: memFree=31442240/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1722.02 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 74558 0 0 0 172108 94 0 0 20 0 1 0 9951571 192819200 46116 33554432000 4194304 5796924 140736026134640 140736026131928 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 46116 181 392 0 46674 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 188300

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 17792
/proc/meminfo: memFree=31423440/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=219120 CPUtime=1782.02 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 77324 0 0 0 178104 98 0 0 20 0 1 0 9951571 224378880 49767 33554432000 4194304 5796924 140736026134640 140736026132280 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 54780 49767 181 392 0 54379 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 219120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/178 17933
/proc/meminfo: memFree=31536980/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1800.01 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 77824 0 0 0 179902 99 0 0 20 0 1 0 9951571 192819200 46116 33554432000 4194304 5796924 140736026134640 140736026131928 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 46116 181 392 0 46674 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 188300

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/178 17933
/proc/meminfo: memFree=31536980/32872528 swapFree=248296/248296
[pid=17750] ppid=17747 vsize=188300 CPUtime=1800.01 cores=1,3,5,7
/proc/17750/stat : 17750 (naps-1.02) R 17747 17750 14855 0 -1 4202496 77824 0 0 0 179902 99 0 0 20 0 1 0 9951571 192819200 46116 33554432000 4194304 5796924 140736026134640 140736026131928 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/17750/statm: 47075 46116 181 392 0 46674 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 188300

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 0.995848
maximum resident set size= 199068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77834
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= 13
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6323 second user time and 6.82696 second system time

The end