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-4260831-1502257332/watcher-4260831-1502257332 -o /tmp/evaluation-result-4260831-1502257332/solver-4260831-1502257332 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502234590-9216 --watchdog 2580 BTD 2520 HOME/instance-4260831-1502257332.xml
pid=17280
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: 2.01 2.02 2.05 2/185 17283
/proc/meminfo: memFree=28928868/32770624 swapFree=0/397624
[pid=17283] ppid=17280 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17283/stat : 17283 (runsolver) D 17280 17283 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 67644222 24240128 107 18446744073709551615 4194304 4338465 140728556143232 140728556140872 140463727534807 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 33423360 140728556146901 140728556147273 140728556147273 140728556150730 0
/proc/17283/statm: 5918 107 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 2.01 2.02 2.05 2/185 17283
/proc/meminfo: memFree=28928868/32770624 swapFree=0/397624
[pid=17283] ppid=17280 vsize=30888 CPUtime=0 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 67644222 31629312 330 18446744073709551615 4194304 35031035 140727057831456 140727057831456 4207325 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 7722 330 233 7529 0 169 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30888
[startup+0.200215 s]
/proc/loadavg: 2.01 2.02 2.05 2/185 17283
/proc/meminfo: memFree=28928868/32770624 swapFree=0/397624
[pid=17283] ppid=17280 vsize=31972 CPUtime=0.1 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 942 0 0 0 10 0 0 0 20 0 1 0 67644222 32739328 548 18446744073709551615 4194304 35031035 140727057831456 140727057831456 4208379 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 7993 548 233 7529 0 440 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31972
[startup+0.300202 s]
/proc/loadavg: 2.01 2.02 2.05 2/185 17283
/proc/meminfo: memFree=28928868/32770624 swapFree=0/397624
[pid=17283] ppid=17280 vsize=32648 CPUtime=0.2 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 1395 0 0 0 20 0 0 0 20 0 1 0 67644222 33431552 784 18446744073709551615 4194304 35031035 140727057831456 140727057831456 4208379 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 8162 784 233 7529 0 609 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 32648
[startup+0.700176 s]
/proc/loadavg: 2.01 2.02 2.05 2/185 17283
/proc/meminfo: memFree=28928868/32770624 swapFree=0/397624
[pid=17283] ppid=17280 vsize=36164 CPUtime=0.6 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 3826 0 0 0 60 0 0 0 20 0 1 0 67644222 37031936 1671 18446744073709551615 4194304 35031035 140727057831456 140727057827416 4209296 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 9041 1671 233 7529 0 1488 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 36164
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 17284
/proc/meminfo: memFree=28890936/32770624 swapFree=0/397200
[pid=17283] ppid=17280 vsize=42908 CPUtime=1.4 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 8422 0 0 0 139 1 0 0 20 0 1 0 67644222 43937792 3350 18446744073709551615 4194304 35031035 140727057831456 140727057827416 4209287 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 10727 3350 233 7529 0 3174 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 42908
[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 17284
/proc/meminfo: memFree=28849272/32770624 swapFree=0/397200
[pid=17283] ppid=17280 vsize=63764 CPUtime=2.99 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 18250 0 0 0 297 2 0 0 20 0 1 0 67644222 65294336 8497 18446744073709551615 4194304 35031035 140727057831456 140727057827224 4208986 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 15941 8497 233 7529 0 8388 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 63764
[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 17284
/proc/meminfo: memFree=28731248/32770624 swapFree=0/397412
[pid=17283] ppid=17280 vsize=97700 CPUtime=6.2 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 40945 0 0 0 611 9 0 0 20 0 1 0 67644222 100044800 17021 18446744073709551615 4194304 35031035 140727057831456 140727057827224 4207320 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 24417 17021 233 7529 0 16864 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 97700
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17284
/proc/meminfo: memFree=28260784/32770624 swapFree=0/397408
[pid=17283] ppid=17280 vsize=409428 CPUtime=12.6 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 132661 0 0 0 1239 21 0 0 20 0 1 0 67644222 419254272 94861 18446744073709551615 4194304 35031035 140727057831456 140727057824744 4223218 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 102357 94861 279 7529 0 94804 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 409428
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17284
/proc/meminfo: memFree=27539088/32770624 swapFree=0/397412
[pid=17283] ppid=17280 vsize=1119496 CPUtime=25.4 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 311223 0 0 0 2498 42 0 0 20 0 1 0 67644222 1146363904 272338 18446744073709551615 4194304 35031035 140727057831456 140727057824744 4223256 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 279874 272338 279 7529 0 272321 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 1119496
[startup+51.1004 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 17285
/proc/meminfo: memFree=26115148/32770624 swapFree=0/397408
[pid=17283] ppid=17280 vsize=2504336 CPUtime=50.99 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 659114 0 0 0 5017 82 0 0 20 0 1 0 67644222 2564440064 618543 18446744073709551615 4194304 35031035 140727057831456 140727057824744 4223218 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 626084 618543 279 7529 0 618531 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 2504336
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/186 17287
/proc/meminfo: memFree=25887404/32770624 swapFree=0/397428
[pid=17283] ppid=17280 vsize=2721308 CPUtime=102.2 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 720361 0 0 0 10132 88 0 0 20 0 1 0 67644222 2786619392 673009 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394044 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673009 310 7529 0 672774 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 2721308
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/189 17303
/proc/meminfo: memFree=25882548/32770624 swapFree=0/397448
[pid=17283] ppid=17280 vsize=2721308 CPUtime=162.19 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 720515 0 0 0 16130 89 0 0 20 0 1 0 67644222 2786619392 673012 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394038 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673012 310 7529 0 672774 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 2721308
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 17305
/proc/meminfo: memFree=25885556/32770624 swapFree=0/397472
[pid=17283] ppid=17280 vsize=2721308 CPUtime=222.2 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 720820 0 0 0 22130 90 0 0 20 0 1 0 67644222 2786619392 673015 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393783 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673015 310 7529 0 672774 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 2721308
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 17308
/proc/meminfo: memFree=25885716/32770624 swapFree=0/397496
[pid=17283] ppid=17280 vsize=2721308 CPUtime=282.2 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 721053 0 0 0 28128 92 0 0 20 0 1 0 67644222 2786619392 673017 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393987 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673017 310 7529 0 672774 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 2721308
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 17310
/proc/meminfo: memFree=25885868/32770624 swapFree=0/397508
[pid=17283] ppid=17280 vsize=2721308 CPUtime=342.21 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 721351 0 0 0 34127 94 0 0 20 0 1 0 67644222 2786619392 673019 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393786 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673019 310 7529 0 672774 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 2721308
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 17312
/proc/meminfo: memFree=25886516/32770624 swapFree=0/397528
[pid=17283] ppid=17280 vsize=2721308 CPUtime=402.21 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 721653 0 0 0 40126 95 0 0 20 0 1 0 67644222 2786619392 673022 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393947 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673022 310 7529 0 672774 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2721308
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 17315
/proc/meminfo: memFree=25886012/32770624 swapFree=0/397536
[pid=17283] ppid=17280 vsize=2721308 CPUtime=462.22 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 721888 0 0 0 46125 97 0 0 20 0 1 0 67644222 2786619392 673024 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394766 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673024 310 7529 0 672774 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2721308
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17317
/proc/meminfo: memFree=25886140/32770624 swapFree=0/397536
[pid=17283] ppid=17280 vsize=2721308 CPUtime=522.22 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 722185 0 0 0 52124 98 0 0 20 0 1 0 67644222 2786619392 673027 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394823 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673027 310 7529 0 672774 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 2721308
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17319
/proc/meminfo: memFree=25886292/32770624 swapFree=0/397552
[pid=17283] ppid=17280 vsize=2721308 CPUtime=582.23 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 722490 0 0 0 58123 100 0 0 20 0 1 0 67644222 2786619392 673030 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393749 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680327 673030 310 7529 0 672774 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 2721308
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 17386
/proc/meminfo: memFree=25884492/32770624 swapFree=0/397816
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1602.3 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727176 0 0 0 160104 126 0 0 20 0 1 0 67644222 2787295232 673174 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393793 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673174 310 7529 0 672939 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 2721968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 17389
/proc/meminfo: memFree=25883164/32770624 swapFree=0/397832
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1662.3 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727410 0 0 0 166103 127 0 0 20 0 1 0 67644222 2787295232 673176 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393736 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673176 310 7529 0 672939 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 2721968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 17391
/proc/meminfo: memFree=25883208/32770624 swapFree=0/397852
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1722.3 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727518 0 0 0 172102 128 0 0 20 0 1 0 67644222 2787295232 673177 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393824 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673177 310 7529 0 672939 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 2721968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17393
/proc/meminfo: memFree=25883220/32770624 swapFree=0/397852
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1782.3 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727624 0 0 0 178101 129 0 0 20 0 1 0 67644222 2787295232 673178 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394005 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673178 310 7529 0 672939 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 2721968
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17397
/proc/meminfo: memFree=25883240/32770624 swapFree=0/397852
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1842.31 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727710 0 0 0 184101 130 0 0 20 0 1 0 67644222 2787295232 673179 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393789 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673179 310 7529 0 672939 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 2721968
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 17400
/proc/meminfo: memFree=25883484/32770624 swapFree=0/397880
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1902.32 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727795 0 0 0 190101 131 0 0 20 0 1 0 67644222 2787295232 673181 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393910 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673181 310 7529 0 672939 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 2721968
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 17417
/proc/meminfo: memFree=25879136/32770624 swapFree=0/397896
[pid=17283] ppid=17280 vsize=2721968 CPUtime=1962.32 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727878 0 0 0 196100 132 0 0 20 0 1 0 67644222 2787295232 673182 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394005 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673182 310 7529 0 672939 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 2721968
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 17444
/proc/meminfo: memFree=25878176/32770624 swapFree=0/397932
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2022.33 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 727960 0 0 0 202100 133 0 0 20 0 1 0 67644222 2787295232 673184 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393830 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673184 310 7529 0 672939 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 2721968
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17446
/proc/meminfo: memFree=25881736/32770624 swapFree=0/397948
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2082.34 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728104 0 0 0 208100 134 0 0 20 0 1 0 67644222 2787295232 673185 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393466 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673185 310 7529 0 672939 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 2721968
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17448
/proc/meminfo: memFree=25881888/32770624 swapFree=0/397960
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2142.34 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728192 0 0 0 214099 135 0 0 20 0 1 0 67644222 2787295232 673188 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393822 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673188 310 7529 0 672939 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 2721968
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17451
/proc/meminfo: memFree=25881684/32770624 swapFree=0/397964
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2202.35 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728293 0 0 0 220099 136 0 0 20 0 1 0 67644222 2787295232 673189 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393488 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673189 310 7529 0 672939 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 2721968
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 17453
/proc/meminfo: memFree=25881852/32770624 swapFree=0/397976
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2262.34 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728400 0 0 0 226097 137 0 0 20 0 1 0 67644222 2787295232 673193 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394788 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673193 310 7529 0 672939 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 2721968
[startup+2322.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/185 17455
/proc/meminfo: memFree=25882144/32770624 swapFree=0/398000
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2322.35 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728481 0 0 0 232097 138 0 0 20 0 1 0 67644222 2787295232 673195 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4394828 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673195 310 7529 0 672939 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 2721968
[startup+2382.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/186 17458
/proc/meminfo: memFree=25881980/32770624 swapFree=0/398008
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2382.35 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728589 0 0 0 238097 138 0 0 20 0 1 0 67644222 2787295232 673198 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393997 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673198 310 7529 0 672939 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 2721968
[startup+2442.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 17460
/proc/meminfo: memFree=25881884/32770624 swapFree=0/398028
[pid=17283] ppid=17280 vsize=2721968 CPUtime=2442.35 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728675 0 0 0 244096 139 0 0 20 0 1 0 67644222 2787295232 673200 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393997 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680492 673200 310 7529 0 672939 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 2721968
[startup+2502.3 s]
/proc/loadavg: 1.67 1.96 2.02 2/179 17508
/proc/meminfo: memFree=28620204/32770624 swapFree=0/398052
[pid=17283] ppid=17280 vsize=2722100 CPUtime=2502.36 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728779 0 0 0 250096 140 0 0 20 0 1 0 67644222 2787430400 673204 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393824 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680525 673204 310 7529 0 672972 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 2722100
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.48 1.89 2.00 2/183 17523
/proc/meminfo: memFree=28616592/32770624 swapFree=0/398060
[pid=17283] ppid=17280 vsize=2722100 CPUtime=2520.06 cores=0,2,4,6
/proc/17283/stat : 17283 (BTD) R 17280 17283 9153 0 -1 4202496 728805 0 0 0 251866 140 0 0 20 0 1 0 67644222 2787430400 673204 18446744073709551615 4194304 35031035 140727057831456 140727057830024 4393789 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 70209536 140727057834500 140727057834576 140727057834576 140727057838033 0
/proc/17283/statm: 680525 673204 310 7529 0 672972 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 2722100
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 17283 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.08
CPU time (s): 2520.15
CPU user time (s): 2518.67
CPU system time (s): 1.4801
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2722100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.4801
maximum resident set size= 2692816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 728805
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= 8
involuntary context switches= 3177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29576 second user time and 8.85201 second system time
The end