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-4103887-1466269638/watcher-4103887-1466269638 -o /tmp/evaluation-result-4103887-1466269638/solver-4103887-1466269638 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466269638-28964 --watchdog 1960 naps-1.02 HOME/instance-4103887-1466269638.opb 

pid=28979
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: 1.25 1.26 1.56 3/172 28982
/proc/meminfo: memFree=30626552/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=6824 CPUtime=0 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 29013064 6987776 290 33554432000 4194304 5796924 140736609284560 140736181940872 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/28982/statm: 1706 290 129 392 0 1305 0

[startup+0.100159 s]
/proc/loadavg: 1.25 1.26 1.56 3/172 28982
/proc/meminfo: memFree=30626552/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=8440 CPUtime=0.09 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 853 0 0 0 9 0 0 0 20 0 1 0 29013064 8642560 702 33554432000 4194304 5796924 140736609284560 140736609280776 5087724 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/28982/statm: 2110 702 141 392 0 1709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8440

[startup+0.200302 s]
/proc/loadavg: 1.25 1.26 1.56 3/172 28982
/proc/meminfo: memFree=30626552/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=8440 CPUtime=0.19 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 853 0 0 0 19 0 0 0 20 0 1 0 29013064 8642560 702 33554432000 4194304 5796924 140736609284560 140736609280776 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/28982/statm: 2110 702 141 392 0 1709 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8440

[startup+0.300266 s]
/proc/loadavg: 1.25 1.26 1.56 3/172 28982
/proc/meminfo: memFree=30626552/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=8440 CPUtime=0.29 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 853 0 0 0 29 0 0 0 20 0 1 0 29013064 8642560 702 33554432000 4194304 5796924 140736609284560 140736609280776 4865421 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/28982/statm: 2110 702 141 392 0 1709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8440

[startup+0.700294 s]
/proc/loadavg: 1.25 1.26 1.56 3/172 28982
/proc/meminfo: memFree=30626552/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=8572 CPUtime=0.69 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 876 0 0 0 69 0 0 0 20 0 1 0 29013064 8777728 725 33554432000 4194304 5796924 140736609284560 140736609278280 5092622 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 2143 725 141 392 0 1742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8572

[startup+1.50023 s]
/proc/loadavg: 1.25 1.26 1.56 3/173 28983
/proc/meminfo: memFree=30584252/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=8572 CPUtime=1.49 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 883 0 0 0 149 0 0 0 20 0 1 0 29013064 8777728 732 33554432000 4194304 5796924 140736609284560 140736609278280 5092425 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 2143 732 141 392 0 1742 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8572

[startup+3.10023 s]
/proc/loadavg: 1.25 1.26 1.56 3/171 28983
/proc/meminfo: memFree=30549656/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=13720 CPUtime=3.08 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 2170 0 0 0 308 0 0 0 20 0 1 0 29013064 14049280 2019 33554432000 4194304 5796924 140736609284560 140736609280776 5087766 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 3430 2019 145 392 0 3029 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13720

[startup+6.30023 s]
/proc/loadavg: 1.31 1.27 1.56 3/177 29040
/proc/meminfo: memFree=30587972/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=14832 CPUtime=6.29 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 2492 0 0 0 628 1 0 0 20 0 1 0 29013064 15187968 2299 33554432000 4194304 5796924 140736609284560 140736609280776 5092416 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 3708 2299 145 392 0 3307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14832

[startup+12.7003 s]
/proc/loadavg: 1.36 1.29 1.56 3/177 29040
/proc/meminfo: memFree=30578768/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=15644 CPUtime=12.69 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 2740 0 0 0 1268 1 0 0 20 0 1 0 29013064 16019456 2464 33554432000 4194304 5796924 140736609284560 140736609280776 5096633 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 3911 2464 145 392 0 3510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15644

[startup+25.5003 s]
/proc/loadavg: 1.50 1.32 1.57 3/177 29040
/proc/meminfo: memFree=30576848/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=17828 CPUtime=25.48 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 3413 0 0 0 2547 1 0 0 20 0 1 0 29013064 18255872 2972 33554432000 4194304 5796924 140736609284560 140736609280776 4296176 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 4457 2972 145 392 0 4056 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17828

[startup+51.1003 s]
/proc/loadavg: 1.67 1.37 1.58 3/177 29041
/proc/meminfo: memFree=30568432/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=21268 CPUtime=51.08 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 4685 0 0 0 5106 2 0 0 20 0 1 0 29013064 21778432 3914 33554432000 4194304 5796924 140736609284560 140736609280776 5096544 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 5317 3914 145 392 0 4916 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21268

[startup+102.3 s]
/proc/loadavg: 1.86 1.47 1.60 3/177 29042
/proc/meminfo: memFree=30549988/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=29624 CPUtime=102.28 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 6821 0 0 0 10226 2 0 0 20 0 1 0 29013064 30334976 5902 33554432000 4194304 5796924 140736609284560 140736609280776 5087497 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 7406 5902 145 392 0 7005 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29624

[startup+162.3 s]
/proc/loadavg: 2.10 1.61 1.64 3/177 29043
/proc/meminfo: memFree=30325928/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211128 CPUtime=162.26 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38267 0 0 0 16217 9 0 0 20 0 1 0 29013064 216195072 45593 33554432000 4194304 5796924 140736609284560 140736609279128 4865595 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52782 45593 174 392 0 52381 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 211128

[startup+222.307 s]
/proc/loadavg: 2.11 1.69 1.66 3/178 29047
/proc/meminfo: memFree=29738424/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211300 CPUtime=222.26 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38316 0 0 0 22217 9 0 0 20 0 1 0 29013064 216371200 45642 33554432000 4194304 5796924 140736609284560 140736609279048 5092467 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52825 45642 174 392 0 52424 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 211300

[startup+282.3 s]
/proc/loadavg: 2.09 1.76 1.68 3/177 29048
/proc/meminfo: memFree=29737188/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211300 CPUtime=282.24 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38320 0 0 0 28215 9 0 0 20 0 1 0 29013064 216371200 45646 33554432000 4194304 5796924 140736609284560 140736609279048 5087606 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52825 45646 174 392 0 52424 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 211300

[startup+342.3 s]
/proc/loadavg: 2.10 1.82 1.71 3/177 29049
/proc/meminfo: memFree=29733640/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211300 CPUtime=342.23 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38331 0 0 0 34214 9 0 0 20 0 1 0 29013064 216371200 45657 33554432000 4194304 5796924 140736609284560 140736609279048 4295922 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52825 45657 174 392 0 52424 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 211300

[startup+402.3 s]
/proc/loadavg: 2.19 1.89 1.74 3/177 29051
/proc/meminfo: memFree=29727980/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211300 CPUtime=402.22 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38345 0 0 0 40213 9 0 0 20 0 1 0 29013064 216371200 45673 33554432000 4194304 5796924 140736609284560 140736609279048 4809298 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52825 45673 174 392 0 52424 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 211300

[startup+462.3 s]
/proc/loadavg: 2.12 1.93 1.75 3/177 29052
/proc/meminfo: memFree=29723780/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211300 CPUtime=462.2 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38382 0 0 0 46210 10 0 0 20 0 1 0 29013064 216371200 46027 33554432000 4194304 5796924 140736609284560 140736609279048 5092622 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52825 46027 174 392 0 52424 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 211300

[startup+522.3 s]
/proc/loadavg: 2.15 1.97 1.78 3/177 29053
/proc/meminfo: memFree=29714608/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=522.19 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38417 0 0 0 52209 10 0 0 20 0 1 0 29013064 216748032 47559 33554432000 4194304 5796924 140736609284560 140736609279128 4865443 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47559 174 392 0 52516 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 211668

[startup+582.3 s]
/proc/loadavg: 2.22 2.02 1.81 3/177 29054
/proc/meminfo: memFree=29708988/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=582.18 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38418 0 0 0 58208 10 0 0 20 0 1 0 29013064 216748032 47560 33554432000 4194304 5796924 140736609284560 140736609279128 4199810 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47560 174 392 0 52516 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 211668


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.12 1.90 3/177 29063
/proc/meminfo: memFree=29717696/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=882.13 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38419 0 0 0 88203 10 0 0 20 0 1 0 29013064 216748032 47561 33554432000 4194304 5796924 140736609284560 140736609279128 4839617 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47561 174 392 0 52516 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 211668

[startup+942.3 s]
/proc/loadavg: 2.17 2.13 1.91 3/177 29064
/proc/meminfo: memFree=29709452/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=942.12 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38419 0 0 0 94201 11 0 0 20 0 1 0 29013064 216748032 47561 33554432000 4194304 5796924 140736609284560 140736609279128 5093022 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47561 174 392 0 52516 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 211668

[startup+1002.3 s]
/proc/loadavg: 2.12 2.12 1.92 3/177 29066
/proc/meminfo: memFree=29707956/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=1002.11 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38419 0 0 0 100200 11 0 0 20 0 1 0 29013064 216748032 47561 33554432000 4194304 5796924 140736609284560 140736609279128 5092550 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47561 174 392 0 52516 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 211668

[startup+1062.3 s]
/proc/loadavg: 2.17 2.14 1.94 3/177 29067
/proc/meminfo: memFree=29705904/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=1062.1 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38419 0 0 0 106199 11 0 0 20 0 1 0 29013064 216748032 47561 33554432000 4194304 5796924 140736609284560 140736609279128 4865437 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47561 174 392 0 52516 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 211668

[startup+1122.3 s]
/proc/loadavg: 2.25 2.16 1.95 3/177 29068
/proc/meminfo: memFree=29703104/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=211668 CPUtime=1122.09 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 38419 0 0 0 112198 11 0 0 20 0 1 0 29013064 216748032 47561 33554432000 4194304 5796924 140736609284560 140736609279128 5096680 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 52917 47561 174 392 0 52516 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 211668

[startup+1182.3 s]
/proc/loadavg: 2.18 2.15 1.96 3/177 29069
/proc/meminfo: memFree=28935168/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1079828 CPUtime=1182.08 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 138888 0 0 0 118163 45 0 0 20 0 1 0 29013064 1105743872 239904 33554432000 4194304 5796924 140736609284560 140736609281608 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 269957 239904 182 392 0 269556 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1079828

[startup+1242.3 s]
/proc/loadavg: 2.15 2.15 1.97 3/177 29070
/proc/meminfo: memFree=28331308/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1786548 CPUtime=1242.08 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 200735 0 0 0 124139 69 0 0 20 0 1 0 29013064 1829425152 387942 33554432000 4194304 5796924 140736609284560 140736609281608 4607232 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 446637 387942 184 392 0 446236 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1786548

[startup+1302.3 s]
/proc/loadavg: 2.16 2.15 1.98 3/177 29072
/proc/meminfo: memFree=28326096/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1786548 CPUtime=1302.07 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 200736 0 0 0 130138 69 0 0 20 0 1 0 29013064 1829425152 388454 33554432000 4194304 5796924 140736609284560 140736609281608 4606555 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 446637 388454 184 392 0 446236 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1786548

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 1.99 3/177 29073
/proc/meminfo: memFree=28317520/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1786548 CPUtime=1362.05 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 200739 0 0 0 136136 69 0 0 20 0 1 0 29013064 1829425152 389990 33554432000 4194304 5796924 140736609284560 140736609281608 4606531 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 446637 389990 184 392 0 446236 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1786548

[startup+1422.3 s]
/proc/loadavg: 2.08 2.13 2.00 3/178 29077
/proc/meminfo: memFree=28312680/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1786548 CPUtime=1422.05 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 200740 0 0 0 142136 69 0 0 20 0 1 0 29013064 1829425152 390502 33554432000 4194304 5796924 140736609284560 140736609281608 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 446637 390502 184 392 0 446236 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1786548

[startup+1482.3 s]
/proc/loadavg: 2.19 2.15 2.01 4/177 29078
/proc/meminfo: memFree=28191448/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1870892 CPUtime=1482.03 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 214192 0 0 0 148127 76 0 0 20 0 1 0 29013064 1915793408 426119 33554432000 4194304 5796924 140736609284560 140736609282408 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 467723 426119 184 392 0 467322 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1870892

[startup+1542.31 s]
/proc/loadavg: 2.16 2.15 2.01 3/177 29079
/proc/meminfo: memFree=28181648/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1870892 CPUtime=1542.04 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 214194 0 0 0 154127 77 0 0 20 0 1 0 29013064 1915793408 427143 33554432000 4194304 5796924 140736609284560 140736609282408 4606555 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 467723 427143 184 392 0 467322 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1870892

[startup+1602.3 s]
/proc/loadavg: 2.10 2.13 2.01 3/177 29081
/proc/meminfo: memFree=28175628/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=1870892 CPUtime=1602.02 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 214196 0 0 0 160125 77 0 0 20 0 1 0 29013064 1915793408 428167 33554432000 4194304 5796924 140736609284560 140736609282408 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 467723 428167 184 392 0 467322 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1870892

[startup+1662.3 s]
/proc/loadavg: 2.19 2.15 2.02 3/177 29082
/proc/meminfo: memFree=27894740/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=2238932 CPUtime=1662.01 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 246997 0 0 0 166113 88 0 0 20 0 1 0 29013064 2292666368 497879 33554432000 4194304 5796924 140736609284560 140736609281608 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 559733 497879 184 392 0 559332 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2238932

[startup+1722.3 s]
/proc/loadavg: 2.12 2.14 2.02 3/177 29083
/proc/meminfo: memFree=27888092/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=2238932 CPUtime=1722 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 247068 0 0 0 172112 88 0 0 20 0 1 0 29013064 2292666368 498972 33554432000 4194304 5796924 140736609284560 140736609281608 4606433 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 559733 498972 184 392 0 559332 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2238932

[startup+1782.3 s]
/proc/loadavg: 2.09 2.12 2.02 3/177 29084
/proc/meminfo: memFree=27883188/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=2238932 CPUtime=1781.99 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 247085 0 0 0 178111 88 0 0 20 0 1 0 29013064 2292666368 499484 33554432000 4194304 5796924 140736609284560 140736609281608 4606433 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 559733 499484 184 392 0 559332 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2238932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.13 2.02 3/177 29084
/proc/meminfo: memFree=27881240/32872528 swapFree=1074772/1156532
[pid=28982] ppid=28979 vsize=2238932 CPUtime=1800.08 cores=1,3,5,7
/proc/28982/stat : 28982 (naps-1.02) R 28979 28982 17542 0 -1 4202496 247087 0 0 0 179920 88 0 0 20 0 1 0 29013064 2292666368 499996 33554432000 4194304 5796924 140736609284560 140736609281608 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/28982/statm: 559733 499996 184 392 0 559332 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2238932

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

Child status: 10
Real time (s): 1800.47
CPU time (s): 1800.16
CPU user time (s): 1799.21
CPU system time (s): 0.953854
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 2436636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.953854
maximum resident set size= 2164956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247099
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= 50
involuntary context switches= 3235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 6.84996 second system time

The end