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-4260469-1502331832/watcher-4260469-1502331832 -o /tmp/evaluation-result-4260469-1502331832/solver-4260469-1502331832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502330969-25278 --watchdog 2580 BTD 2520 HOME/instance-4260469-1502331832.xml
pid=25305
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (runsolver) D 25305 25308 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 132836165 24240128 107 18446744073709551615 4194304 4338465 140724342162128 140724342159768 139907599205079 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39632896 140724342169812 140724342170185 140724342170185 140724342173642 0
/proc/25308/statm: 5918 107 54 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=32012 CPUtime=0.02 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 850 0 0 0 2 0 0 0 20 0 1 0 132836165 32780288 722 18446744073709551615 4194304 35031035 140720503813280 140720503805912 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8003 722 336 7529 0 450 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 32012
[startup+0.200338 s]
/proc/loadavg: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=32144 CPUtime=0.12 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 859 0 0 0 12 0 0 0 20 0 1 0 132836165 32915456 722 18446744073709551615 4194304 35031035 140720503813280 140720503805912 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8036 722 336 7529 0 483 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 32144
[startup+0.300315 s]
/proc/loadavg: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=32144 CPUtime=0.22 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 864 0 0 0 22 0 0 0 20 0 1 0 132836165 32915456 722 18446744073709551615 4194304 35031035 140720503813280 140720503805912 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8036 722 336 7529 0 483 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 32144
[startup+0.700275 s]
/proc/loadavg: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=32144 CPUtime=0.61 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 884 0 0 0 61 0 0 0 20 0 1 0 132836165 32915456 722 18446744073709551615 4194304 35031035 140720503813280 140720503805912 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8036 722 336 7529 0 483 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 32144
[startup+1.80197 s]
/proc/loadavg: 1.08 1.12 1.47 2/184 25308
/proc/meminfo: memFree=31160920/32770624 swapFree=0/420544
[pid=25308] ppid=25305 vsize=32276 CPUtime=1.72 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 891 0 0 0 171 1 0 0 20 0 1 0 132836165 33050624 722 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8069 722 336 7529 0 516 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 32276
[startup+3.10028 s]
/proc/loadavg: 1.08 1.12 1.47 3/185 25309
/proc/meminfo: memFree=31146272/32770624 swapFree=0/420304
[pid=25308] ppid=25305 vsize=32276 CPUtime=3.01 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 1125 0 0 0 300 1 0 0 20 0 1 0 132836165 33050624 773 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8069 773 336 7529 0 516 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 32276
[startup+6.30028 s]
/proc/loadavg: 1.08 1.12 1.47 3/185 25309
/proc/meminfo: memFree=31145468/32770624 swapFree=0/420304
[pid=25308] ppid=25305 vsize=32276 CPUtime=6.21 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 1365 0 0 0 618 3 0 0 20 0 1 0 132836165 33050624 778 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8069 778 336 7529 0 516 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 32276
[startup+12.7003 s]
/proc/loadavg: 1.15 1.13 1.47 3/185 25309
/proc/meminfo: memFree=31144476/32770624 swapFree=0/420304
[pid=25308] ppid=25305 vsize=32276 CPUtime=12.61 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 1618 0 0 0 1254 7 0 0 20 0 1 0 132836165 33050624 785 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8069 785 336 7529 0 516 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 32276
[startup+25.5003 s]
/proc/loadavg: 1.34 1.18 1.48 3/185 25309
/proc/meminfo: memFree=31144404/32770624 swapFree=0/420300
[pid=25308] ppid=25305 vsize=32408 CPUtime=25.41 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 2147 0 0 0 2526 15 0 0 20 0 1 0 132836165 33185792 818 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8102 818 336 7529 0 549 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 32408
[startup+51.1003 s]
/proc/loadavg: 1.68 1.27 1.51 3/188 25325
/proc/meminfo: memFree=31140168/32770624 swapFree=0/420328
[pid=25308] ppid=25305 vsize=32408 CPUtime=51.01 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 2455 0 0 0 5072 29 0 0 20 0 1 0 132836165 33185792 831 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8102 831 336 7529 0 549 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 32408
[startup+102.306 s]
/proc/loadavg: 1.86 1.38 1.53 3/188 25326
/proc/meminfo: memFree=31139768/32770624 swapFree=0/420352
[pid=25308] ppid=25305 vsize=32540 CPUtime=102.21 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 2755 0 0 0 10165 56 0 0 20 0 1 0 132836165 33320960 843 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8135 843 336 7529 0 582 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 32540
[startup+162.3 s]
/proc/loadavg: 1.95 1.50 1.56 3/185 25328
/proc/meminfo: memFree=31142012/32770624 swapFree=0/420360
[pid=25308] ppid=25305 vsize=32540 CPUtime=162.21 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 3089 0 0 0 16130 91 0 0 20 0 1 0 132836165 33320960 863 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8135 863 336 7529 0 582 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 32540
[startup+222.3 s]
/proc/loadavg: 1.98 1.59 1.59 3/185 25330
/proc/meminfo: memFree=31142744/32770624 swapFree=0/420376
[pid=25308] ppid=25305 vsize=32672 CPUtime=222.2 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 3413 0 0 0 22095 125 0 0 20 0 1 0 132836165 33456128 870 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 870 336 7529 0 615 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 32672
[startup+282.3 s]
/proc/loadavg: 1.99 1.66 1.61 3/185 25332
/proc/meminfo: memFree=31142716/32770624 swapFree=0/420392
[pid=25308] ppid=25305 vsize=32672 CPUtime=282.19 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 3760 0 0 0 28062 157 0 0 20 0 1 0 132836165 33456128 883 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 883 336 7529 0 615 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 32672
[startup+342.3 s]
/proc/loadavg: 2.00 1.72 1.64 3/184 25334
/proc/meminfo: memFree=31142736/32770624 swapFree=0/420404
[pid=25308] ppid=25305 vsize=32672 CPUtime=342.19 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 4104 0 0 0 34031 188 0 0 20 0 1 0 132836165 33456128 888 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 888 336 7529 0 615 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32672
[startup+402.3 s]
/proc/loadavg: 2.01 1.78 1.66 3/184 25336
/proc/meminfo: memFree=31142460/32770624 swapFree=0/420416
[pid=25308] ppid=25305 vsize=32672 CPUtime=402.19 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 4461 0 0 0 39996 223 0 0 20 0 1 0 132836165 33456128 891 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 891 336 7529 0 615 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 32672
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.68 3/185 25339
/proc/meminfo: memFree=31142448/32770624 swapFree=0/420432
[pid=25308] ppid=25305 vsize=32672 CPUtime=462.18 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 4814 0 0 0 45963 255 0 0 20 0 1 0 132836165 33456128 896 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 896 336 7529 0 615 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 32672
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.70 3/185 25341
/proc/meminfo: memFree=31142540/32770624 swapFree=0/420436
[pid=25308] ppid=25305 vsize=32672 CPUtime=522.18 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 5169 0 0 0 51928 290 0 0 20 0 1 0 132836165 33456128 898 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8168 898 336 7529 0 615 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 32672
[startup+582.3 s]
/proc/loadavg: 2.00 1.88 1.72 3/185 25343
/proc/meminfo: memFree=31142732/32770624 swapFree=0/420440
[pid=25308] ppid=25305 vsize=32804 CPUtime=582.17 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 5522 0 0 0 57893 324 0 0 20 0 1 0 132836165 33591296 902 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8201 902 336 7529 0 648 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 32804
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.97 1.96 1.88 3/185 25412
/proc/meminfo: memFree=31140464/32770624 swapFree=0/420696
[pid=25308] ppid=25305 vsize=32936 CPUtime=1602.1 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 10527 0 0 0 159144 1066 0 0 20 0 1 0 132836165 33726464 952 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 952 336 7529 0 681 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 32936
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/185 25414
/proc/meminfo: memFree=31140816/32770624 swapFree=0/420708
[pid=25308] ppid=25305 vsize=32936 CPUtime=1662.09 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 10792 0 0 0 165102 1107 0 0 20 0 1 0 132836165 33726464 952 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 952 336 7529 0 681 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 32936
[startup+1722.3 s]
/proc/loadavg: 2.06 1.99 1.90 3/185 25416
/proc/meminfo: memFree=31140784/32770624 swapFree=0/420724
[pid=25308] ppid=25305 vsize=32936 CPUtime=1722.09 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 10994 0 0 0 171057 1152 0 0 20 0 1 0 132836165 33726464 954 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 954 336 7529 0 681 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 32936
[startup+1782.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/185 25418
/proc/meminfo: memFree=31139896/32770624 swapFree=0/420732
[pid=25308] ppid=25305 vsize=32936 CPUtime=1782.09 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 11223 0 0 0 177015 1194 0 0 20 0 1 0 132836165 33726464 957 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 957 336 7529 0 681 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 32936
[startup+1842.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/188 25435
/proc/meminfo: memFree=31135536/32770624 swapFree=0/420752
[pid=25308] ppid=25305 vsize=32936 CPUtime=1842.08 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 11484 0 0 0 182971 1237 0 0 20 0 1 0 132836165 33726464 957 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 957 336 7529 0 681 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 32936
[startup+1902.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/188 25437
/proc/meminfo: memFree=31136032/32770624 swapFree=0/420768
[pid=25308] ppid=25305 vsize=32936 CPUtime=1902.08 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 11699 0 0 0 188928 1280 0 0 20 0 1 0 132836165 33726464 957 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 957 336 7529 0 681 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 32936
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/185 25439
/proc/meminfo: memFree=31139152/32770624 swapFree=0/420772
[pid=25308] ppid=25305 vsize=32936 CPUtime=1962.08 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 12002 0 0 0 194892 1316 0 0 20 0 1 0 132836165 33726464 960 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 960 336 7529 0 681 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 32936
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/186 25442
/proc/meminfo: memFree=31139728/32770624 swapFree=0/420792
[pid=25308] ppid=25305 vsize=32936 CPUtime=2022.07 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 12246 0 0 0 200852 1355 0 0 20 0 1 0 132836165 33726464 960 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 960 336 7529 0 681 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 32936
[startup+2082.31 s]
/proc/loadavg: 1.96 1.98 1.93 3/186 25444
/proc/meminfo: memFree=31139980/32770624 swapFree=0/420808
[pid=25308] ppid=25305 vsize=32936 CPUtime=2082.07 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 12479 0 0 0 206809 1398 0 0 20 0 1 0 132836165 33726464 960 18446744073709551615 4194304 35031035 140720503813280 140720503812280 6458012 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 960 336 7529 0 681 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 32936
[startup+2142.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/185 25446
/proc/meminfo: memFree=31140460/32770624 swapFree=0/420816
[pid=25308] ppid=25305 vsize=32936 CPUtime=2142.06 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 12707 0 0 0 212774 1432 0 0 20 0 1 0 132836165 33726464 960 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 960 336 7529 0 681 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 32936
[startup+2202.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/185 25448
/proc/meminfo: memFree=31139804/32770624 swapFree=0/420828
[pid=25308] ppid=25305 vsize=32936 CPUtime=2202.05 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 12948 0 0 0 218732 1473 0 0 20 0 1 0 132836165 33726464 964 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 964 336 7529 0 681 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 32936
[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/185 25450
/proc/meminfo: memFree=31140604/32770624 swapFree=0/420844
[pid=25308] ppid=25305 vsize=32936 CPUtime=2262.05 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 13176 0 0 0 224696 1509 0 0 20 0 1 0 132836165 33726464 964 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 964 336 7529 0 681 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 32936
[startup+2322.3 s]
/proc/loadavg: 1.91 1.97 1.95 3/184 25452
/proc/meminfo: memFree=31140968/32770624 swapFree=0/420856
[pid=25308] ppid=25305 vsize=32936 CPUtime=2322.05 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 13397 0 0 0 230655 1550 0 0 20 0 1 0 132836165 33726464 964 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 964 336 7529 0 681 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 32936
[startup+2382.3 s]
/proc/loadavg: 1.97 1.97 1.95 3/184 25454
/proc/meminfo: memFree=31140440/32770624 swapFree=0/420868
[pid=25308] ppid=25305 vsize=32936 CPUtime=2382.04 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 13610 0 0 0 236619 1585 0 0 20 0 1 0 132836165 33726464 964 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8234 964 336 7529 0 681 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 32936
[startup+2442.3 s]
/proc/loadavg: 2.06 1.99 1.96 3/187 25470
/proc/meminfo: memFree=31135076/32770624 swapFree=0/420880
[pid=25308] ppid=25305 vsize=33068 CPUtime=2442.03 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 13854 0 0 0 242580 1623 0 0 20 0 1 0 132836165 33861632 968 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8267 968 336 7529 0 714 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 33068
[startup+2502.3 s]
/proc/loadavg: 2.02 1.99 1.96 3/187 25472
/proc/meminfo: memFree=31135524/32770624 swapFree=0/420884
[pid=25308] ppid=25305 vsize=33068 CPUtime=2502.04 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 14077 0 0 0 248540 1664 0 0 20 0 1 0 132836165 33861632 968 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8267 968 336 7529 0 714 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 33068
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 1.99 1.96 2/186 25474
/proc/meminfo: memFree=31148440/32770624 swapFree=0/420884
[pid=25308] ppid=25305 vsize=33068 CPUtime=2519.74 cores=0,2,4,6
/proc/25308/stat : 25308 (BTD) R 25305 25308 4525 0 -1 4202496 14262 0 0 0 250298 1676 0 0 20 0 1 0 132836165 33861632 968 18446744073709551615 4194304 35031035 140720503813280 140720503812280 7760122 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 45121536 140720503820804 140720503820880 140720503820880 140720503824337 0
/proc/25308/statm: 8267 968 336 7529 0 714 0
Current children cumulated CPU time (s) 2519.74
Current children cumulated vsize (KiB) 33068
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 25308 sig 9
??? kill -25308 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.75
CPU user time (s): 2502.98
CPU system time (s): 16.7659
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 33068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.98
system time used= 16.7659
maximum resident set size= 3872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14262
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= 2
involuntary context switches= 3990
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77077 second user time and 8.9561 second system time
The end