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-4243192-1500633660/watcher-4243192-1500633660 -o /tmp/evaluation-result-4243192-1500633660/solver-4243192-1500633660 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500623775-3998 --watchdog 2560 BTD 2400 HOME/instance-4243192-1500633660.xml
pid=7660
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7663
/proc/meminfo: memFree=27800024/32770624 swapFree=6492/746492
[pid=7663] ppid=7660 vsize=31272 CPUtime=0 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 554 0 0 0 0 0 0 0 20 0 1 0 16803985 32022528 409 33554432000 4194304 35031059 140733473835888 140733473835888 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 7818 409 226 7529 0 265 0
[startup+0.100111 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7663
/proc/meminfo: memFree=27800024/32770624 swapFree=6492/746492
[pid=7663] ppid=7660 vsize=33556 CPUtime=0.09 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 1145 0 0 0 9 0 0 0 20 0 1 0 16803985 34361344 1011 33554432000 4194304 35031059 140733473835888 140733473831848 4208995 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 8389 1011 230 7529 0 836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33556
[startup+0.200254 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7663
/proc/meminfo: memFree=27800024/32770624 swapFree=6492/746492
[pid=7663] ppid=7660 vsize=34160 CPUtime=0.19 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 4652 0 0 0 19 0 0 0 20 0 1 0 16803985 34979840 1126 33554432000 4194304 35031059 140733473835888 140733473831704 4209291 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 8514 1113 230 7529 0 961 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34160
[startup+0.300205 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7663
/proc/meminfo: memFree=27800024/32770624 swapFree=6492/746492
[pid=7663] ppid=7660 vsize=34292 CPUtime=0.29 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 13185 0 0 0 28 1 0 0 20 0 1 0 16803985 35115008 1166 33554432000 4194304 35031059 140733473835888 140733473831848 7403878 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 8573 1166 230 7529 0 1020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34292
[startup+0.700174 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7663
/proc/meminfo: memFree=27800024/32770624 swapFree=6492/746492
[pid=7663] ppid=7660 vsize=35652 CPUtime=0.69 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 34029 0 0 0 65 4 0 0 20 0 1 0 16803985 36507648 1541 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 8913 1541 232 7529 0 1360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35652
[startup+1.50017 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7664
/proc/meminfo: memFree=27794080/32770624 swapFree=6492/746256
[pid=7663] ppid=7660 vsize=38500 CPUtime=1.49 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 78690 0 0 0 140 9 0 0 20 0 1 0 16803985 39424000 2253 33554432000 4194304 35031059 140733473835888 140733473831704 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 9663 2253 232 7529 0 2110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38500
[startup+3.10023 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7664
/proc/meminfo: memFree=27467092/32770624 swapFree=6492/746256
[pid=7663] ppid=7660 vsize=45092 CPUtime=3.09 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 181001 0 0 0 288 21 0 0 20 0 1 0 16803985 46174208 3819 33554432000 4194304 35031059 140733473835888 140733473831656 4208979 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 11273 3819 232 7529 0 3720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45092
[startup+6.30017 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7664
/proc/meminfo: memFree=27397492/32770624 swapFree=6492/746272
[pid=7663] ppid=7660 vsize=56072 CPUtime=6.29 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 415205 0 0 0 582 47 0 0 20 0 1 0 16803985 57417728 6646 33554432000 4194304 35031059 140733473835888 140733473831704 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 14067 6646 232 7529 0 6514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56072
[startup+12.7002 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7664
/proc/meminfo: memFree=26613844/32770624 swapFree=6492/746284
[pid=7663] ppid=7660 vsize=78924 CPUtime=12.68 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 857716 0 0 0 1167 101 0 0 20 0 1 0 16803985 80818176 12359 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 19778 12359 232 7529 0 12225 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 78924
[startup+25.5059 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 7664
/proc/meminfo: memFree=25428264/32770624 swapFree=6492/746288
[pid=7663] ppid=7660 vsize=124560 CPUtime=25.49 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 1855807 0 0 0 2340 209 0 0 20 0 1 0 16803985 127549440 23726 33554432000 4194304 35031059 140733473835888 140733473831656 4208689 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 31140 23726 232 7529 0 23587 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124560
[startup+51.1002 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 7664
/proc/meminfo: memFree=23060304/32770624 swapFree=6492/746304
[pid=7663] ppid=7660 vsize=215448 CPUtime=51.07 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 3759764 0 0 0 4681 426 0 0 20 0 1 0 16803985 220618752 46421 33554432000 4194304 35031059 140733473835888 140733473831704 4209291 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 53862 46421 232 7529 0 46309 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 215448
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 7665
/proc/meminfo: memFree=18707508/32770624 swapFree=6492/746336
[pid=7663] ppid=7660 vsize=398232 CPUtime=102.27 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 7423398 0 0 0 9368 859 0 0 20 0 1 0 16803985 407789568 92145 33554432000 4194304 35031059 140733473835888 140733473831656 7416193 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 99558 92145 232 7529 0 92005 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 398232
[startup+162.3 s]
/proc/loadavg: 1.79 1.98 2.03 2/181 7713
/proc/meminfo: memFree=30599124/32770624 swapFree=6492/746344
[pid=7663] ppid=7660 vsize=611544 CPUtime=162.25 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 11620431 0 0 0 14877 1348 0 0 20 0 1 0 16803985 626221056 145496 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 152868 145496 232 7529 0 145315 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 611544
[startup+222.3 s]
/proc/loadavg: 1.29 1.80 1.96 2/181 7714
/proc/meminfo: memFree=30385816/32770624 swapFree=6492/746376
[pid=7663] ppid=7660 vsize=825700 CPUtime=222.2 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 15701620 0 0 0 20390 1830 0 0 20 0 1 0 16803985 845516800 199053 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 206459 199053 232 7529 0 198906 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 825700
[startup+282.3 s]
/proc/loadavg: 1.11 1.66 1.91 2/180 7715
/proc/meminfo: memFree=30173456/32770624 swapFree=6492/746400
[pid=7663] ppid=7660 vsize=1040204 CPUtime=282.16 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 19776307 0 0 0 25902 2314 0 0 20 0 1 0 16803985 1065168896 252679 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 260016 252644 232 7529 0 252463 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1040204
[startup+342.306 s]
/proc/loadavg: 1.04 1.54 1.85 2/180 7716
/proc/meminfo: memFree=29958900/32770624 swapFree=6492/746420
[pid=7663] ppid=7660 vsize=1255780 CPUtime=342.12 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 23723535 0 0 0 31432 2780 0 0 20 0 1 0 16803985 1285918720 306550 33554432000 4194304 35031059 140733473835888 140733473831848 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 313945 306550 232 7529 0 306392 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 1255780
[startup+402.3 s]
/proc/loadavg: 1.01 1.44 1.80 2/180 7717
/proc/meminfo: memFree=29746204/32770624 swapFree=6492/746440
[pid=7663] ppid=7660 vsize=1470148 CPUtime=402.09 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 27527229 0 0 0 36957 3252 0 0 20 0 1 0 16803985 1505431552 360165 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 367537 360165 232 7529 0 359984 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1470148
[startup+462.3 s]
/proc/loadavg: 1.01 1.36 1.75 2/180 7718
/proc/meminfo: memFree=29529656/32770624 swapFree=6492/746460
[pid=7663] ppid=7660 vsize=1684488 CPUtime=462.04 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 31622812 0 0 0 42478 3726 0 0 20 0 1 0 16803985 1724915712 413703 33554432000 4194304 35031059 140733473835888 140733473831656 4207316 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 421122 413703 232 7529 0 413569 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1684488
[startup+522.3 s]
/proc/loadavg: 1.00 1.29 1.70 2/180 7719
/proc/meminfo: memFree=29317816/32770624 swapFree=6492/746480
[pid=7663] ppid=7660 vsize=1897536 CPUtime=522.01 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 35725856 0 0 0 47998 4203 0 0 20 0 1 0 16803985 1943076864 467012 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 474417 467012 232 7529 0 466864 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 1897536
[startup+582.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/180 7727
/proc/meminfo: memFree=29101848/32770624 swapFree=6492/746516
[pid=7663] ppid=7660 vsize=2111900 CPUtime=581.97 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 39766034 0 0 0 53518 4679 0 0 20 0 1 0 16803985 2162585600 520580 33554432000 4194304 35031059 140733473835888 140733473831848 4214855 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 527975 520580 232 7529 0 520422 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 2111900
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/180 7776
/proc/meminfo: memFree=25317868/32770624 swapFree=6492/746876
[pid=7663] ppid=7660 vsize=5890812 CPUtime=1601.44 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 78767306 0 0 0 150700 9444 0 0 20 0 1 0 16803985 6032191488 1465277 33554432000 4194304 35031059 140733473835888 140733473831608 4208386 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1472703 1465277 232 7529 0 1465150 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 5890812
[startup+1662.31 s]
/proc/loadavg: 1.00 1.01 1.21 2/180 7777
/proc/meminfo: memFree=25086936/32770624 swapFree=6492/746912
[pid=7663] ppid=7660 vsize=6118656 CPUtime=1661.42 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 79802249 0 0 0 156553 9589 0 0 20 0 1 0 16803985 6265503744 1522260 33554432000 4194304 35031059 140733473835888 140733473831608 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1529664 1522260 232 7529 0 1522111 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 6118656
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/180 7778
/proc/meminfo: memFree=24860752/32770624 swapFree=6492/746932
[pid=7663] ppid=7660 vsize=6346640 CPUtime=1721.38 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 80697695 0 0 0 162417 9721 0 0 20 0 1 0 16803985 6498959360 1579252 33554432000 4194304 35031059 140733473835888 140733473831848 4208990 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1586660 1579252 232 7529 0 1579107 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 6346640
[startup+1782.3 s]
/proc/loadavg: 1.05 1.03 1.19 2/181 7787
/proc/meminfo: memFree=24629256/32770624 swapFree=6492/746960
[pid=7663] ppid=7660 vsize=6575572 CPUtime=1781.35 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 81581885 0 0 0 168278 9857 0 0 20 0 1 0 16803985 6733385728 1636495 33554432000 4194304 35031059 140733473835888 140733473831656 4208395 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1643893 1636495 232 7529 0 1636340 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 6575572
[startup+1842.3 s]
/proc/loadavg: 1.02 1.02 1.18 2/181 7788
/proc/meminfo: memFree=24402452/32770624 swapFree=6492/746984
[pid=7663] ppid=7660 vsize=6803528 CPUtime=1841.34 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 82378116 0 0 0 174160 9974 0 0 20 0 1 0 16803985 6966812672 1693510 33554432000 4194304 35031059 140733473835888 140733473831848 4209280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1700882 1693510 232 7529 0 1693329 0
Current children cumulated CPU time (s) 1841.34
Current children cumulated vsize (KiB) 6803528
[startup+1902.3 s]
/proc/loadavg: 1.01 1.02 1.17 2/181 7789
/proc/meminfo: memFree=24173440/32770624 swapFree=6492/747004
[pid=7663] ppid=7660 vsize=7031244 CPUtime=1901.31 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 83286199 0 0 0 180016 10115 0 0 20 0 1 0 16803985 7199993856 1750437 33554432000 4194304 35031059 140733473835888 140733473831656 7408295 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1757811 1750437 232 7529 0 1750258 0
Current children cumulated CPU time (s) 1901.31
Current children cumulated vsize (KiB) 7031244
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/181 7790
/proc/meminfo: memFree=23947544/32770624 swapFree=6492/747024
[pid=7663] ppid=7660 vsize=7259204 CPUtime=1961.29 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 84218796 0 0 0 185874 10255 0 0 20 0 1 0 16803985 7433424896 1807355 33554432000 4194304 35031059 140733473835888 140733473831608 4208379 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1814801 1807355 232 7529 0 1807248 0
Current children cumulated CPU time (s) 1961.29
Current children cumulated vsize (KiB) 7259204
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/181 7791
/proc/meminfo: memFree=23717964/32770624 swapFree=6492/747044
[pid=7663] ppid=7660 vsize=7487044 CPUtime=2021.27 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 85085421 0 0 0 191737 10390 0 0 20 0 1 0 16803985 7666733056 1864315 33554432000 4194304 35031059 140733473835888 140733473831608 4208979 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1871761 1864315 232 7529 0 1864208 0
Current children cumulated CPU time (s) 2021.27
Current children cumulated vsize (KiB) 7487044
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/180 7792
/proc/meminfo: memFree=23492972/32770624 swapFree=6492/747060
[pid=7663] ppid=7660 vsize=7713532 CPUtime=2081.24 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 86065349 0 0 0 197589 10535 0 0 20 0 1 0 16803985 7898656768 1921011 33554432000 4194304 35031059 140733473835888 140733473831704 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1928383 1921011 232 7529 0 1920830 0
Current children cumulated CPU time (s) 2081.24
Current children cumulated vsize (KiB) 7713532
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/180 7793
/proc/meminfo: memFree=23262240/32770624 swapFree=6492/747092
[pid=7663] ppid=7660 vsize=7941372 CPUtime=2141.22 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 86961279 0 0 0 203456 10666 0 0 20 0 1 0 16803985 8131964928 1977971 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 1985378 1977971 232 7529 0 1977825 0
Current children cumulated CPU time (s) 2141.22
Current children cumulated vsize (KiB) 7941372
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/180 7794
/proc/meminfo: memFree=23032116/32770624 swapFree=6492/747108
[pid=7663] ppid=7660 vsize=8169212 CPUtime=2201.2 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 87898407 0 0 0 209317 10803 0 0 20 0 1 0 16803985 8365273088 2034857 33554432000 4194304 35031059 140733473835888 140733473831608 4209280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 2042303 2034857 232 7529 0 2034750 0
Current children cumulated CPU time (s) 2201.2
Current children cumulated vsize (KiB) 8169212
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/180 7795
/proc/meminfo: memFree=22805348/32770624 swapFree=6492/747124
[pid=7663] ppid=7660 vsize=8397052 CPUtime=2261.16 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 88683688 0 0 0 215201 10915 0 0 20 0 1 0 16803985 8598581248 2091891 33554432000 4194304 35031059 140733473835888 140733473831848 4208680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 2099263 2091891 232 7529 0 2091710 0
Current children cumulated CPU time (s) 2261.16
Current children cumulated vsize (KiB) 8397052
[startup+2322.31 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7796
/proc/meminfo: memFree=22574604/32770624 swapFree=6492/747144
[pid=7663] ppid=7660 vsize=8626240 CPUtime=2321.15 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 89456745 0 0 0 221078 11037 0 0 20 0 1 0 16803985 8833269760 2149114 33554432000 4194304 35031059 140733473835888 140733473831608 4208680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 2156560 2149114 232 7529 0 2149007 0
Current children cumulated CPU time (s) 2321.15
Current children cumulated vsize (KiB) 8626240
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7804
/proc/meminfo: memFree=22347016/32770624 swapFree=6492/747180
[pid=7663] ppid=7660 vsize=8854156 CPUtime=2381.12 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 90264092 0 0 0 226959 11153 0 0 20 0 1 0 16803985 9066655744 2206167 33554432000 4194304 35031059 140733473835888 140733473831848 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 2213519 2206147 232 7529 0 2205966 0
Current children cumulated CPU time (s) 2381.12
Current children cumulated vsize (KiB) 8854156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.2 s]
/proc/loadavg: 1.00 1.01 1.10 2/180 7804
/proc/meminfo: memFree=22276484/32770624 swapFree=6492/747180
[pid=7663] ppid=7660 vsize=8926880 CPUtime=2400.01 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4202496 90489296 0 0 0 228813 11188 0 0 20 0 1 0 16803985 9141125120 2224316 33554432000 4194304 35031059 140733473835888 140733473831608 7408295 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 50102272 140733473842426 140733473842502 140733473842502 140733473845201 0
/proc/7663/statm: 2231720 2224316 232 7529 0 2224167 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 8926880
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 7663 sig 9
??? kill -7663 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/180 7804
/proc/meminfo: memFree=22276484/32770624 swapFree=6492/747180
[pid=7663] ppid=7660 vsize=0 CPUtime=2400.11 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4203524 90489296 0 0 0 228813 11198 0 0 20 0 1 0 16803985 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/7663/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 0
[startup+2401.4 s]
/proc/loadavg: 1.00 1.01 1.10 2/180 7804
/proc/meminfo: memFree=29419316/32770624 swapFree=6492/747180
[pid=7663] ppid=7660 vsize=0 CPUtime=2400.22 cores=1,3,5,7
/proc/7663/stat : 7663 (BTD) R 7660 7663 3966 0 -1 4203524 90489296 0 0 0 228813 11209 0 0 20 0 1 0 16803985 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/7663/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.5
CPU time (s): 2400.32
CPU user time (s): 2288.14
CPU system time (s): 112.182
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 8926880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2288.14
system time used= 112.182
maximum resident set size= 8897320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90489296
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= 784
involuntary context switches= 121867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83086 second user time and 9.57312 second system time
The end