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-4082680-1465233867/watcher-4082680-1465233867 -o /tmp/evaluation-result-4082680-1465233867/solver-4082680-1465233867 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465221119-32680 --watchdog 1960 naps-1.02 HOME/instance-4082680-1465233867.opb 

pid=1806
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.26 2.27 2.20 3/174 1809
/proc/meminfo: memFree=30396880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=7128 CPUtime=0 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 105319719 7299072 331 33554432000 4194304 5796924 140733486050208 140733337155848 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 1782 331 128 392 0 1381 0

[startup+0.100155 s]
/proc/loadavg: 2.26 2.27 2.20 3/174 1809
/proc/meminfo: memFree=30396880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=7400 CPUtime=0.09 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 554 0 0 0 9 0 0 0 20 0 1 0 105319719 7577600 426 33554432000 4194304 5796924 140733486050208 140733337155848 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 1850 426 128 392 0 1449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7400

[startup+0.20029 s]
/proc/loadavg: 2.26 2.27 2.20 3/174 1809
/proc/meminfo: memFree=30396880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=29872 CPUtime=0.19 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 6740 0 0 0 19 0 0 0 20 0 1 0 105319719 30588928 6743 33554432000 4194304 5796924 140733486050208 140733337155848 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 7468 6743 161 392 0 7067 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29872

[startup+0.300363 s]
/proc/loadavg: 2.26 2.27 2.20 3/174 1809
/proc/meminfo: memFree=30396880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=41228 CPUtime=0.29 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 9303 0 0 0 28 1 0 0 20 0 1 0 105319719 42217472 9166 33554432000 4194304 5796924 140733486050208 140733337155848 4651417 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 10307 9168 161 392 0 9906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41228

[startup+0.700302 s]
/proc/loadavg: 2.26 2.27 2.20 3/174 1809
/proc/meminfo: memFree=30396880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=49952 CPUtime=0.69 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 12580 0 0 0 68 1 0 0 20 0 1 0 105319719 51150848 10575 33554432000 4194304 5796924 140733486050208 140733486047496 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 12488 10575 169 392 0 12087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49952

[startup+1.50027 s]
/proc/loadavg: 2.26 2.27 2.20 3/175 1810
/proc/meminfo: memFree=30354668/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=49952 CPUtime=1.49 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 12584 0 0 0 148 1 0 0 20 0 1 0 105319719 51150848 11090 33554432000 4194304 5796924 140733486050208 140733486047496 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 12488 11090 171 392 0 12087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49952

[startup+3.1003 s]
/proc/loadavg: 2.26 2.27 2.20 3/175 1810
/proc/meminfo: memFree=30345920/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=65840 CPUtime=3.08 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 13484 0 0 0 307 1 0 0 20 0 1 0 105319719 67420160 14482 33554432000 4194304 5796924 140733486050208 140733486047272 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 16460 14482 171 392 0 16059 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65840

[startup+6.30031 s]
/proc/loadavg: 2.24 2.27 2.20 3/175 1810
/proc/meminfo: memFree=30335992/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=68628 CPUtime=6.29 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 14768 0 0 0 627 2 0 0 20 0 1 0 105319719 70275072 14161 33554432000 4194304 5796924 140733486050208 140733486047448 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 17157 14161 171 392 0 16756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68628

[startup+12.7003 s]
/proc/loadavg: 2.22 2.26 2.20 4/175 1810
/proc/meminfo: memFree=30319992/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=75812 CPUtime=12.68 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 15560 0 0 0 1266 2 0 0 20 0 1 0 105319719 77631488 17466 33554432000 4194304 5796924 140733486050208 140733486047272 4593510 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 18953 17466 171 392 0 18552 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75812

[startup+25.5004 s]
/proc/loadavg: 2.24 2.27 2.20 3/175 1810
/proc/meminfo: memFree=30306424/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=99088 CPUtime=25.49 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 16705 0 0 0 2545 4 0 0 20 0 1 0 105319719 101466112 18793 33554432000 4194304 5796924 140733486050208 140733486047672 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 24772 18793 171 392 0 24371 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99088

[startup+51.1004 s]
/proc/loadavg: 2.22 2.26 2.20 3/175 1810
/proc/meminfo: memFree=30275752/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=99088 CPUtime=51.07 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 16737 0 0 0 5103 4 0 0 20 0 1 0 105319719 101466112 23713 33554432000 4194304 5796924 140733486050208 140733486048600 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 24772 23713 171 392 0 24371 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99088

[startup+102.3 s]
/proc/loadavg: 2.19 2.25 2.19 4/175 1857
/proc/meminfo: memFree=30462972/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=129436 CPUtime=102.27 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 17252 0 0 0 10222 5 0 0 20 0 1 0 105319719 132542464 28821 33554432000 4194304 5796924 140733486050208 140733486047448 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 32359 28821 171 392 0 31958 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129436

[startup+162.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/175 1904
/proc/meminfo: memFree=30289324/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=137788 CPUtime=162.26 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 17779 0 0 0 16221 5 0 0 20 0 1 0 105319719 141094912 33219 33554432000 4194304 5796924 140733486050208 140733486047272 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 34447 33219 172 392 0 34046 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 137788

[startup+222.307 s]
/proc/loadavg: 2.20 2.24 2.19 3/175 1905
/proc/meminfo: memFree=30281136/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=137788 CPUtime=222.25 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 18251 0 0 0 22220 5 0 0 20 0 1 0 105319719 141094912 33690 33554432000 4194304 5796924 140733486050208 140733486047272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 34447 33690 172 392 0 34046 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 137788

[startup+282.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/175 1906
/proc/meminfo: memFree=30263500/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=137788 CPUtime=282.24 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 18251 0 0 0 28219 5 0 0 20 0 1 0 105319719 141094912 33690 33554432000 4194304 5796924 140733486050208 140733486047272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 34447 33690 172 392 0 34046 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 137788

[startup+342.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/176 1910
/proc/meminfo: memFree=30243480/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=180200 CPUtime=342.23 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 20287 0 0 0 34215 8 0 0 20 0 1 0 105319719 184524800 38620 33554432000 4194304 5796924 140733486050208 140733486047848 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45050 38620 172 392 0 44649 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 180200

[startup+402.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/175 1911
/proc/meminfo: memFree=30300996/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=100060 CPUtime=402.22 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 21371 0 0 0 40212 10 0 0 20 0 1 0 105319719 102461440 24258 33554432000 4194304 5796924 140733486050208 140733486047672 4593279 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 25015 24258 172 392 0 24614 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 100060

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/174 1912
/proc/meminfo: memFree=30266516/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=149380 CPUtime=462.21 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 22939 0 0 0 46209 12 0 0 20 0 1 0 105319719 152965120 32921 33554432000 4194304 5796924 140733486050208 140733486047496 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 37345 32921 172 392 0 36944 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 149380

[startup+522.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/175 1914
/proc/meminfo: memFree=30264596/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=149380 CPUtime=522.2 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 24020 0 0 0 52206 14 0 0 20 0 1 0 105319719 152965120 33433 33554432000 4194304 5796924 140733486050208 140733486047496 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 37345 33433 172 392 0 36944 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 149380

[startup+582.3 s]
/proc/loadavg: 2.06 2.17 2.17 3/175 1915
/proc/meminfo: memFree=30240964/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=149380 CPUtime=582.19 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 25105 0 0 0 58203 16 0 0 20 0 1 0 105319719 152965120 33433 33554432000 4194304 5796924 140733486050208 140733486047496 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 37345 33433 172 392 0 36944 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 149380


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


[startup+882.307 s]
/proc/loadavg: 2.17 2.17 2.17 3/175 1921
/proc/meminfo: memFree=30193324/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=149380 CPUtime=882.16 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 29475 0 0 0 88192 24 0 0 20 0 1 0 105319719 152965120 33433 33554432000 4194304 5796924 140733486050208 140733486047496 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 37345 33433 172 392 0 36944 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 149380

[startup+942.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/176 1925
/proc/meminfo: memFree=30190064/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=180200 CPUtime=942.13 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 30073 0 0 0 94189 24 0 0 20 0 1 0 105319719 184524800 42716 33554432000 4194304 5796924 140733486050208 140733486047848 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45050 42716 172 392 0 44649 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 180200

[startup+1002.3 s]
/proc/loadavg: 2.19 2.18 2.17 3/175 1926
/proc/meminfo: memFree=30202536/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=180200 CPUtime=1002.12 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 31410 0 0 0 100185 27 0 0 20 0 1 0 105319719 184524800 39644 33554432000 4194304 5796924 140733486050208 140733486047848 4606442 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45050 39644 172 392 0 44649 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 180200

[startup+1062.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/175 1927
/proc/meminfo: memFree=30227284/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=149780 CPUtime=1062.12 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 32315 0 0 0 106182 30 0 0 20 0 1 0 105319719 153374720 33533 33554432000 4194304 5796924 140733486050208 140733486047496 4568949 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 37445 33533 172 392 0 37044 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 149780

[startup+1122.3 s]
/proc/loadavg: 2.30 2.22 2.19 4/175 1929
/proc/meminfo: memFree=30191912/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=180600 CPUtime=1122.11 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 32919 0 0 0 112180 31 0 0 20 0 1 0 105319719 184934400 42304 33554432000 4194304 5796924 140733486050208 140733486047848 4606807 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45150 42304 172 392 0 44749 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 180600

[startup+1182.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/175 1930
/proc/meminfo: memFree=30174880/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=181164 CPUtime=1182.1 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 34456 0 0 0 118176 34 0 0 20 0 1 0 105319719 185511936 38364 33554432000 4194304 5796924 140733486050208 140733486047848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45291 38364 172 392 0 44890 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 181164

[startup+1242.3 s]
/proc/loadavg: 2.04 2.14 2.16 3/175 1931
/proc/meminfo: memFree=30138356/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=231252 CPUtime=1242.07 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 34797 0 0 0 124172 35 0 0 20 0 1 0 105319719 236802048 46857 33554432000 4194304 5796924 140733486050208 140733486047848 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 57813 46857 172 392 0 57412 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 231252

[startup+1302.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/175 1932
/proc/meminfo: memFree=30195984/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=183484 CPUtime=1302.06 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 35940 0 0 0 130169 37 0 0 20 0 1 0 105319719 187887616 40977 33554432000 4194304 5796924 140733486050208 140733486047848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 45871 40977 172 392 0 45470 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 183484

[startup+1362.3 s]
/proc/loadavg: 2.08 2.13 2.15 3/175 1933
/proc/meminfo: memFree=30135544/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=233572 CPUtime=1362.05 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 36260 0 0 0 136167 38 0 0 20 0 1 0 105319719 239177728 47422 33554432000 4194304 5796924 140733486050208 140733486047848 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 58393 47422 172 392 0 57992 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 233572

[startup+1422.3 s]
/proc/loadavg: 2.06 2.12 2.15 3/175 1935
/proc/meminfo: memFree=30193192/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=185048 CPUtime=1422.06 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 37746 0 0 0 142165 41 0 0 20 0 1 0 105319719 189489152 41880 33554432000 4194304 5796924 140733486050208 140733486047848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 46262 41880 172 392 0 45861 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 185048

[startup+1482.3 s]
/proc/loadavg: 2.18 2.15 2.16 3/175 1936
/proc/meminfo: memFree=30186840/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=154228 CPUtime=1482.04 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 38607 0 0 0 148161 43 0 0 20 0 1 0 105319719 157929472 33621 33554432000 4194304 5796924 140733486050208 140733486047672 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 38557 33621 172 392 0 38156 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 154228

[startup+1542.31 s]
/proc/loadavg: 2.22 2.17 2.16 3/176 1940
/proc/meminfo: memFree=30184148/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=185048 CPUtime=1542.04 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 39208 0 0 0 154160 44 0 0 20 0 1 0 105319719 189489152 43928 33554432000 4194304 5796924 140733486050208 140733486047848 4606601 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 46262 43928 172 392 0 45861 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 185048

[startup+1602.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/175 1941
/proc/meminfo: memFree=30182236/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=154228 CPUtime=1602.02 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 40072 0 0 0 160156 46 0 0 20 0 1 0 105319719 157929472 34645 33554432000 4194304 5796924 140733486050208 140733486047672 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 38557 34645 172 392 0 38156 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 154228

[startup+1662.3 s]
/proc/loadavg: 2.19 2.16 2.16 3/175 1942
/proc/meminfo: memFree=30184668/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=185048 CPUtime=1662.01 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 40676 0 0 0 166154 47 0 0 20 0 1 0 105319719 189489152 43928 33554432000 4194304 5796924 140733486050208 140733486047848 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 46262 43928 172 392 0 45861 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 185048

[startup+1722.3 s]
/proc/loadavg: 2.10 2.15 2.15 3/175 1944
/proc/meminfo: memFree=30223448/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=154228 CPUtime=1722 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 41538 0 0 0 172151 49 0 0 20 0 1 0 105319719 157929472 34645 33554432000 4194304 5796924 140733486050208 140733486047672 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 38557 34645 172 392 0 38156 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 154228

[startup+1782.3 s]
/proc/loadavg: 2.24 2.18 2.16 3/175 1945
/proc/meminfo: memFree=30190368/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=185048 CPUtime=1782 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 42134 0 0 0 178149 51 0 0 20 0 1 0 105319719 189489152 42392 33554432000 4194304 5796924 140733486050208 140733486047848 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 46262 42392 172 392 0 45861 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 185048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.32 2.20 2.17 3/175 1946
/proc/meminfo: memFree=30145304/32872528 swapFree=17280/1464432
[pid=1809] ppid=1806 vsize=185048 CPUtime=1800.09 cores=1,3,5,7
/proc/1809/stat : 1809 (naps-1.02) R 1806 1809 32663 0 -1 4202496 42138 0 0 0 179958 51 0 0 20 0 1 0 105319719 189489152 44440 33554432000 4194304 5796924 140733486050208 140733486047848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/1809/statm: 46262 44440 172 392 0 45861 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 185048

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

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.514921
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 284456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.514921
maximum resident set size= 238192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42150
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= 42
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68129 second user time and 6.78097 second system time

The end