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-4094657-1466096192/watcher-4094657-1466096192 -o /tmp/evaluation-result-4094657-1466096192/solver-4094657-1466096192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466074637-8659 --watchdog 1960 naps-1.02 HOME/instance-4094657-1466096192.wbo 

pid=15810
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.27 2.25 2.19 3/176 15813
/proc/meminfo: memFree=28641664/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=6416 CPUtime=0 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 11666357 6569984 175 33554432000 4194304 5796924 140736440459456 140735869146584 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 1604 176 127 392 0 1203 0

[startup+0.100161 s]
/proc/loadavg: 2.27 2.25 2.19 3/176 15813
/proc/meminfo: memFree=28641664/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=10224 CPUtime=0.09 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 1430 0 0 0 9 0 0 0 20 0 1 0 11666357 10469376 1147 33554432000 4194304 5796924 140736440459456 140735869146584 5151211 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 2556 1147 142 392 0 2155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10224

[startup+0.200312 s]
/proc/loadavg: 2.27 2.25 2.19 3/176 15813
/proc/meminfo: memFree=28641664/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13288 CPUtime=0.19 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2671 0 0 0 19 0 0 0 20 0 1 0 11666357 13606912 1906 33554432000 4194304 5796924 140736440459456 140736440452488 5087780 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3322 1906 150 392 0 2921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13288

[startup+0.300291 s]
/proc/loadavg: 2.27 2.25 2.19 3/176 15813
/proc/meminfo: memFree=28641664/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13288 CPUtime=0.29 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2676 0 0 0 29 0 0 0 20 0 1 0 11666357 13606912 1911 33554432000 4194304 5796924 140736440459456 140736440452488 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3322 1911 150 392 0 2921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13288

[startup+0.700198 s]
/proc/loadavg: 2.27 2.25 2.19 3/176 15813
/proc/meminfo: memFree=28641664/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13288 CPUtime=0.69 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2690 0 0 0 69 0 0 0 20 0 1 0 11666357 13606912 1925 33554432000 4194304 5796924 140736440459456 140736440452488 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3322 1925 150 392 0 2921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13288

[startup+1.50023 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 15814
/proc/meminfo: memFree=28634480/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13288 CPUtime=1.49 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2693 0 0 0 149 0 0 0 20 0 1 0 11666357 13606912 1928 33554432000 4194304 5796924 140736440459456 140736440454040 5096576 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3322 1928 150 392 0 2921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10018 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 15814
/proc/meminfo: memFree=28634472/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13288 CPUtime=3.09 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2694 0 0 0 309 0 0 0 20 0 1 0 11666357 13606912 1929 33554432000 4194304 5796924 140736440459456 140736440454040 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3322 1929 151 392 0 2921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288

[startup+6.30023 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 15814
/proc/meminfo: memFree=28631800/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13428 CPUtime=6.29 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2725 0 0 0 629 0 0 0 20 0 1 0 11666357 13750272 1960 33554432000 4194304 5796924 140736440459456 140736440454040 5096674 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3357 1960 151 392 0 2956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13428

[startup+12.7002 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 15814
/proc/meminfo: memFree=28631600/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13428 CPUtime=12.69 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2734 0 0 0 1269 0 0 0 20 0 1 0 11666357 13750272 1969 33554432000 4194304 5796924 140736440459456 140736440454040 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3357 1969 151 392 0 2956 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13428

[startup+25.5003 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 15814
/proc/meminfo: memFree=28628196/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13712 CPUtime=25.48 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2780 0 0 0 2548 0 0 0 20 0 1 0 11666357 14041088 2015 33554432000 4194304 5796924 140736440459456 140736440454040 4806751 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3428 2015 151 392 0 3027 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13712

[startup+51.1003 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 15814
/proc/meminfo: memFree=28622348/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=13872 CPUtime=51.08 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2835 0 0 0 5108 0 0 0 20 0 1 0 11666357 14204928 2070 33554432000 4194304 5796924 140736440459456 140736440454024 5092545 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3468 2070 151 392 0 3067 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13872

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 15861
/proc/meminfo: memFree=30242160/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14064 CPUtime=102.28 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 2886 0 0 0 10227 1 0 0 20 0 1 0 11666357 14401536 2121 33554432000 4194304 5796924 140736440459456 140736440453944 5092427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3516 2121 151 392 0 3115 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14064

[startup+162.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 15862
/proc/meminfo: memFree=30240788/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14604 CPUtime=162.26 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3003 0 0 0 16225 1 0 0 20 0 1 0 11666357 14954496 2290 33554432000 4194304 5796924 140736440459456 140736440453976 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3651 2290 151 392 0 3250 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14604

[startup+222.307 s]
/proc/loadavg: 2.36 2.27 2.20 4/178 15866
/proc/meminfo: memFree=30240504/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14604 CPUtime=222.26 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3006 0 0 0 22225 1 0 0 20 0 1 0 11666357 14954496 2293 33554432000 4194304 5796924 140736440459456 140736440453976 5087571 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3651 2293 151 392 0 3250 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14604

[startup+282.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/178 15891
/proc/meminfo: memFree=30239220/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14852 CPUtime=282.24 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3049 0 0 0 28223 1 0 0 20 0 1 0 11666357 15208448 2336 33554432000 4194304 5796924 140736440459456 140736440453944 5087512 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3713 2336 151 392 0 3312 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14852

[startup+342.3 s]
/proc/loadavg: 2.13 2.22 2.18 3/177 15892
/proc/meminfo: memFree=30240324/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14852 CPUtime=342.23 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3050 0 0 0 34222 1 0 0 20 0 1 0 11666357 15208448 2337 33554432000 4194304 5796924 140736440459456 140736440453944 4296071 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3713 2337 151 392 0 3312 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14852

[startup+402.3 s]
/proc/loadavg: 2.08 2.19 2.17 4/177 15893
/proc/meminfo: memFree=30239848/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14852 CPUtime=402.22 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3066 0 0 0 40221 1 0 0 20 0 1 0 11666357 15208448 2353 33554432000 4194304 5796924 140736440459456 140736440453944 5096706 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3713 2353 151 392 0 3312 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14852

[startup+462.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/177 15894
/proc/meminfo: memFree=30239724/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14984 CPUtime=462.21 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3085 0 0 0 46220 1 0 0 20 0 1 0 11666357 15343616 2372 33554432000 4194304 5796924 140736440459456 140736440454040 5092467 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3746 2372 151 392 0 3345 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 14984

[startup+522.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 15895
/proc/meminfo: memFree=30239744/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14984 CPUtime=522.2 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3095 0 0 0 52219 1 0 0 20 0 1 0 11666357 15343616 2382 33554432000 4194304 5796924 140736440459456 140736440454040 4839559 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3746 2382 151 392 0 3345 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14984

[startup+582.3 s]
/proc/loadavg: 2.10 2.16 2.16 4/177 15897
/proc/meminfo: memFree=30239368/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=14984 CPUtime=582.19 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3111 0 0 0 58218 1 0 0 20 0 1 0 11666357 15343616 2398 33554432000 4194304 5796924 140736440459456 140736440454040 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3746 2398 151 392 0 3345 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 14984


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


[startup+942.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 15907
/proc/meminfo: memFree=28964768/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=942.14 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3165 0 0 0 94213 1 0 0 20 0 1 0 11666357 15630336 2452 33554432000 4194304 5796924 140736440459456 140736440454040 5087780 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2452 151 392 0 3415 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15264

[startup+1002.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/177 15908
/proc/meminfo: memFree=28963104/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1002.13 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3169 0 0 0 100212 1 0 0 20 0 1 0 11666357 15630336 2456 33554432000 4194304 5796924 140736440459456 140736440454040 5092545 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2456 151 392 0 3415 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15264

[startup+1062.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 15909
/proc/meminfo: memFree=28944676/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1062.12 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3174 0 0 0 106211 1 0 0 20 0 1 0 11666357 15630336 2461 33554432000 4194304 5796924 140736440459456 140736440454040 4840412 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2461 151 392 0 3415 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 15264

[startup+1122.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 15910
/proc/meminfo: memFree=28926080/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1122.11 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3174 0 0 0 112210 1 0 0 20 0 1 0 11666357 15630336 2461 33554432000 4194304 5796924 140736440459456 140736440454040 5092487 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2461 151 392 0 3415 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15264

[startup+1182.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 15912
/proc/meminfo: memFree=28947996/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1182.11 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3174 0 0 0 118209 2 0 0 20 0 1 0 11666357 15630336 2461 33554432000 4194304 5796924 140736440459456 140736440454040 4199805 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2461 151 392 0 3415 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15264

[startup+1242.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/177 15913
/proc/meminfo: memFree=28952640/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1242.1 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3175 0 0 0 124208 2 0 0 20 0 1 0 11666357 15630336 2464 33554432000 4194304 5796924 140736440459456 140736440454040 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2464 151 392 0 3415 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15264

[startup+1302.3 s]
/proc/loadavg: 2.09 2.14 2.16 3/177 15914
/proc/meminfo: memFree=28936360/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1302.09 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3175 0 0 0 130207 2 0 0 20 0 1 0 11666357 15630336 2464 33554432000 4194304 5796924 140736440459456 140736440454040 5092432 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2464 151 392 0 3415 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15264

[startup+1362.3 s]
/proc/loadavg: 2.20 2.16 2.16 3/177 15915
/proc/meminfo: memFree=28951608/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1362.08 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3175 0 0 0 136206 2 0 0 20 0 1 0 11666357 15630336 2464 33554432000 4194304 5796924 140736440459456 140736440454040 5087774 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2464 151 392 0 3415 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15264

[startup+1422.3 s]
/proc/loadavg: 2.25 2.17 2.17 3/178 15919
/proc/meminfo: memFree=28930372/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1422.07 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3175 0 0 0 142205 2 0 0 20 0 1 0 11666357 15630336 2464 33554432000 4194304 5796924 140736440459456 140736440454040 5092416 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2464 151 392 0 3415 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15264

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.16 4/177 15921
/proc/meminfo: memFree=28948784/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=15264 CPUtime=1482.06 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 3175 0 0 0 148204 2 0 0 20 0 1 0 11666357 15630336 2464 33554432000 4194304 5796924 140736440459456 140736440454040 5087606 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 3816 2464 151 392 0 3415 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15264

[startup+1542.31 s]
/proc/loadavg: 2.26 2.18 2.17 3/177 15922
/proc/meminfo: memFree=27520684/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=1590080 CPUtime=1542.05 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 108995 0 0 0 154166 39 0 0 20 0 1 0 11666357 1628241920 355580 33554432000 4194304 5796924 140736440459456 140736440456424 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 397520 355580 164 392 0 397119 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1590080

[startup+1602.3 s]
/proc/loadavg: 2.19 2.18 2.17 3/177 15923
/proc/meminfo: memFree=26001412/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=3210528 CPUtime=1602.04 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 262672 0 0 0 160104 100 0 0 20 0 1 0 11666357 3287580672 727484 33554432000 4194304 5796924 140736440459456 140736440456312 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 802632 727484 183 392 0 802231 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3210528

[startup+1662.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 15924
/proc/meminfo: memFree=25999528/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=3344932 CPUtime=1662.04 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 263958 0 0 0 166101 103 0 0 20 0 1 0 11666357 3425210368 732854 33554432000 4194304 5796924 140736440459456 140736440456568 4594171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 836233 732854 183 392 0 835832 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3344932

[startup+1722.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/177 15925
/proc/meminfo: memFree=25958580/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=3346812 CPUtime=1722.02 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 264448 0 0 0 172099 103 0 0 20 0 1 0 11666357 3427135488 738454 33554432000 4194304 5796924 140736440459456 140736440456728 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 836703 738454 183 392 0 836302 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3346812

[startup+1782.3 s]
/proc/loadavg: 2.38 2.26 2.20 4/177 15927
/proc/meminfo: memFree=25971472/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=3348644 CPUtime=1782.01 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 264872 0 0 0 178098 103 0 0 20 0 1 0 11666357 3429011456 741944 33554432000 4194304 5796924 140736440459456 140736440456728 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 837161 741944 183 392 0 836760 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3348644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.37 2.26 2.20 3/177 15927
/proc/meminfo: memFree=25961544/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=3348776 CPUtime=1800 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202496 264936 0 0 0 179897 103 0 0 20 0 1 0 11666357 3429146624 743541 33554432000 4194304 5796924 140736440459456 140736440456568 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 837194 743541 183 392 0 836793 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3348776

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

[startup+1800.4 s]
/proc/loadavg: 2.37 2.26 2.20 3/177 15927
/proc/meminfo: memFree=25961544/32872528 swapFree=17100/1797424
[pid=15813] ppid=15810 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/15813/stat : 15813 (naps-1.02) R 15810 15813 6953 0 -1 4202500 264946 0 0 0 179898 113 0 0 20 0 1 0 11666357 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15813/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1798.98
CPU system time (s): 1.14782
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 3553308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.14783
maximum resident set size= 3174244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264946
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= 5
involuntary context switches= 2089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71528 second user time and 7.9008 second system time

The end