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-4260795-1502253034/watcher-4260795-1502253034 -o /tmp/evaluation-result-4260795-1502253034/solver-4260795-1502253034 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502235469-7073 --watchdog 2580 BTD 2520 HOME/instance-4260795-1502253034.xml
pid=10639
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.03 2.03 2.05 3/180 10642
/proc/meminfo: memFree=31773908/32770624 swapFree=0/273112
[pid=10642] ppid=10639 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10642/stat : 10642 (runsolver) D 10639 10642 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13644088 24240128 106 18446744073709551615 4194304 4338465 140735005932000 140735005929640 140700973343447 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 27983872 140735005933782 140735005934154 140735005934154 140735005937610 0
/proc/10642/statm: 5918 106 53 36 0 2156 0
[startup+0.103199 s]
/proc/loadavg: 2.03 2.03 2.05 3/180 10642
/proc/meminfo: memFree=31773908/32770624 swapFree=0/273112
[pid=10642] ppid=10639 vsize=31596 CPUtime=0.01 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 641 0 0 0 1 0 0 0 20 0 1 0 13644088 32354304 456 18446744073709551615 4194304 35031035 140729199792304 140729199788072 7406613 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 7899 456 231 7529 0 346 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31596
[startup+0.200201 s]
/proc/loadavg: 2.03 2.03 2.05 3/180 10642
/proc/meminfo: memFree=31773908/32770624 swapFree=0/273112
[pid=10642] ppid=10639 vsize=37472 CPUtime=0.1 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 2142 0 0 0 10 0 0 0 20 0 1 0 13644088 38371328 1922 18446744073709551615 4194304 35031035 140729199792304 140729199789480 7292727 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 9368 1922 241 7529 0 1815 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 37472
[startup+0.300201 s]
/proc/loadavg: 2.03 2.03 2.05 3/180 10642
/proc/meminfo: memFree=31773908/32770624 swapFree=0/273112
[pid=10642] ppid=10639 vsize=42572 CPUtime=0.2 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 3591 0 0 0 20 0 0 0 20 0 1 0 13644088 43593728 3028 18446744073709551615 4194304 35031035 140729199792304 140729199787576 7450800 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 10643 3028 241 7529 0 3090 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 42572
[startup+0.700181 s]
/proc/loadavg: 2.03 2.03 2.05 3/180 10642
/proc/meminfo: memFree=31773908/32770624 swapFree=0/273112
[pid=10642] ppid=10639 vsize=44684 CPUtime=0.6 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 4254 0 0 0 60 0 0 0 20 0 1 0 13644088 45756416 3688 18446744073709551615 4194304 35031035 140729199792304 140729199787576 7981040 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 11171 3688 284 7529 0 3618 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 44684
[startup+1.50018 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 10643
/proc/meminfo: memFree=31759700/32770624 swapFree=0/272912
[pid=10642] ppid=10639 vsize=46040 CPUtime=1.4 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 4594 0 0 0 140 0 0 0 20 0 1 0 13644088 47144960 4018 18446744073709551615 4194304 35031035 140729199792304 140729199787576 7398591 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 11510 4018 284 7529 0 3957 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 46040
[startup+3.10028 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 10643
/proc/meminfo: memFree=31758272/32770624 swapFree=0/273172
[pid=10642] ppid=10639 vsize=48688 CPUtime=2.99 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 6315 0 0 0 299 0 0 0 20 0 1 0 13644088 49856512 4679 18446744073709551615 4194304 35031035 140729199792304 140729199785128 6446147 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 12172 4679 284 7529 0 4619 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 48688
[startup+6.30029 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 10643
/proc/meminfo: memFree=31752824/32770624 swapFree=0/273180
[pid=10642] ppid=10639 vsize=53732 CPUtime=6.2 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 9563 0 0 0 619 1 0 0 20 0 1 0 13644088 55021568 5918 18446744073709551615 4194304 35031035 140729199792304 140729199785128 7540683 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 13433 5918 284 7529 0 5880 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 53732
[startup+12.7004 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 10643
/proc/meminfo: memFree=31742904/32770624 swapFree=0/273184
[pid=10642] ppid=10639 vsize=62684 CPUtime=12.6 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 15266 0 0 0 1259 1 0 0 20 0 1 0 13644088 64188416 8135 18446744073709551615 4194304 35031035 140729199792304 140729199785128 4810199 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 15671 8135 284 7529 0 8118 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 62684
[startup+25.5005 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 10643
/proc/meminfo: memFree=31729760/32770624 swapFree=0/273196
[pid=10642] ppid=10639 vsize=75588 CPUtime=25.4 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 31721 0 0 0 2538 2 0 0 20 0 1 0 13644088 77402112 11400 18446744073709551615 4194304 35031035 140729199792304 140729199785128 7406570 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 18897 11400 284 7529 0 11344 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 75588
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 10644
/proc/meminfo: memFree=31713112/32770624 swapFree=0/273208
[pid=10642] ppid=10639 vsize=91532 CPUtime=50.99 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 46551 0 0 0 5096 3 0 0 20 0 1 0 13644088 93728768 15337 18446744073709551615 4194304 35031035 140729199792304 140729199785128 4256494 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 22883 15337 284 7529 0 15330 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 91532
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10646
/proc/meminfo: memFree=30337792/32770624 swapFree=0/273252
[pid=10642] ppid=10639 vsize=1463408 CPUtime=102.18 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 392568 0 0 0 10175 43 0 0 20 0 1 0 13644088 1498529792 358305 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4213338 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 365852 358305 339 7529 0 358299 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 1463408
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10648
/proc/meminfo: memFree=30334692/32770624 swapFree=0/273280
[pid=10642] ppid=10639 vsize=1468424 CPUtime=162.17 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 467868 0 0 0 16170 47 0 0 20 0 1 0 13644088 1503666176 359552 18446744073709551615 4194304 35031035 140729199792304 140729199790504 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359552 339 7529 0 359553 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 1468424
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10650
/proc/meminfo: memFree=30333072/32770624 swapFree=0/273308
[pid=10642] ppid=10639 vsize=1468424 CPUtime=222.17 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 554578 0 0 0 22166 51 0 0 20 0 1 0 13644088 1503666176 359553 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4213184 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359553 339 7529 0 359553 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1468424
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10666
/proc/meminfo: memFree=30328864/32770624 swapFree=0/273380
[pid=10642] ppid=10639 vsize=1468424 CPUtime=282.16 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 695367 0 0 0 28160 56 0 0 20 0 1 0 13644088 1503666176 359554 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4295824 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359554 339 7529 0 359553 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1468424
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10668
/proc/meminfo: memFree=30332040/32770624 swapFree=0/273408
[pid=10642] ppid=10639 vsize=1468424 CPUtime=342.16 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 808122 0 0 0 34155 61 0 0 20 0 1 0 13644088 1503666176 359554 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4213184 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359554 339 7529 0 359553 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1468424
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10670
/proc/meminfo: memFree=30332580/32770624 swapFree=0/273436
[pid=10642] ppid=10639 vsize=1468424 CPUtime=402.16 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1015819 0 0 0 40146 70 0 0 20 0 1 0 13644088 1503666176 359556 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544922 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359556 339 7529 0 359553 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1468424
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10672
/proc/meminfo: memFree=30332220/32770624 swapFree=0/273472
[pid=10642] ppid=10639 vsize=1468424 CPUtime=462.15 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1217941 0 0 0 46137 78 0 0 20 0 1 0 13644088 1503666176 359572 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544902 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359572 339 7529 0 359553 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1468424
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10674
/proc/meminfo: memFree=30331628/32770624 swapFree=0/273500
[pid=10642] ppid=10639 vsize=1468424 CPUtime=522.15 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1359994 0 0 0 52130 85 0 0 20 0 1 0 13644088 1503666176 359634 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359634 339 7529 0 359553 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1468424
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10677
/proc/meminfo: memFree=30331540/32770624 swapFree=0/273536
[pid=10642] ppid=10639 vsize=1468424 CPUtime=582.14 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1517360 0 0 0 58123 91 0 0 20 0 1 0 13644088 1503666176 359838 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4293304 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367106 359838 339 7529 0 359553 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1468424
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 10802
/proc/meminfo: memFree=30014996/32770624 swapFree=0/274200
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1602.07 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1970756 0 0 0 160094 113 0 0 20 0 1 0 13644088 1503801344 359869 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4295952 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359869 339 7529 0 359586 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 1468556
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10804
/proc/meminfo: memFree=30014996/32770624 swapFree=0/274236
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1662.06 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1971707 0 0 0 166093 113 0 0 20 0 1 0 13644088 1503801344 359869 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359869 339 7529 0 359586 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 1468556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10806
/proc/meminfo: memFree=30015492/32770624 swapFree=0/274264
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1722.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1973205 0 0 0 172092 113 0 0 20 0 1 0 13644088 1503801344 359871 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544899 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359871 339 7529 0 359586 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 1468556
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 10808
/proc/meminfo: memFree=30014864/32770624 swapFree=0/274296
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1782.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1974177 0 0 0 178092 113 0 0 20 0 1 0 13644088 1503801344 359872 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359872 339 7529 0 359586 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 1468556
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 10810
/proc/meminfo: memFree=30015352/32770624 swapFree=0/274324
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1842.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1975206 0 0 0 184092 113 0 0 20 0 1 0 13644088 1503801344 359872 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4293276 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359872 339 7529 0 359586 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 1468556
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10812
/proc/meminfo: memFree=30015168/32770624 swapFree=0/274352
[pid=10642] ppid=10639 vsize=1468556 CPUtime=1902.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1975921 0 0 0 190091 114 0 0 20 0 1 0 13644088 1503801344 359872 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4213290 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367139 359872 339 7529 0 359586 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 1468556
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10814
/proc/meminfo: memFree=30015408/32770624 swapFree=0/274384
[pid=10642] ppid=10639 vsize=1468688 CPUtime=1962.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1977691 0 0 0 196091 114 0 0 20 0 1 0 13644088 1503936512 359878 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359878 339 7529 0 359619 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 1468688
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10816
/proc/meminfo: memFree=30016012/32770624 swapFree=0/274408
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2022.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1978744 0 0 0 202091 114 0 0 20 0 1 0 13644088 1503936512 359884 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359884 339 7529 0 359619 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 1468688
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 10832
/proc/meminfo: memFree=30009964/32770624 swapFree=0/274468
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2082.05 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1979207 0 0 0 208091 114 0 0 20 0 1 0 13644088 1503936512 359884 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4295952 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359884 339 7529 0 359619 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 1468688
[startup+2142.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/181 10834
/proc/meminfo: memFree=30013176/32770624 swapFree=0/274504
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2142.04 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1979788 0 0 0 214090 114 0 0 20 0 1 0 13644088 1503936512 359885 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544899 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359885 339 7529 0 359619 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 1468688
[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 10836
/proc/meminfo: memFree=30013276/32770624 swapFree=0/274532
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2202.04 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1980357 0 0 0 220090 114 0 0 20 0 1 0 13644088 1503936512 359885 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4295952 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359885 339 7529 0 359619 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 1468688
[startup+2262.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 10838
/proc/meminfo: memFree=30012904/32770624 swapFree=0/274568
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2262.04 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1980879 0 0 0 226089 115 0 0 20 0 1 0 13644088 1503936512 359887 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544913 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359887 339 7529 0 359619 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 1468688
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 10840
/proc/meminfo: memFree=30013252/32770624 swapFree=0/274596
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2322.03 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1981415 0 0 0 232088 115 0 0 20 0 1 0 13644088 1503936512 359887 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544902 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359887 339 7529 0 359619 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 1468688
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10843
/proc/meminfo: memFree=30012624/32770624 swapFree=0/274632
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2382.03 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1981889 0 0 0 238087 116 0 0 20 0 1 0 13644088 1503936512 359889 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544896 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359889 339 7529 0 359619 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 1468688
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10845
/proc/meminfo: memFree=30013096/32770624 swapFree=0/274660
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2442.03 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1982455 0 0 0 244087 116 0 0 20 0 1 0 13644088 1503936512 359889 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4296132 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359889 339 7529 0 359619 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 1468688
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10847
/proc/meminfo: memFree=30012972/32770624 swapFree=0/274688
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2502.02 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1982997 0 0 0 250086 116 0 0 20 0 1 0 13644088 1503936512 359889 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4295952 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359889 339 7529 0 359619 0
Current children cumulated CPU time (s) 2502.02
Current children cumulated vsize (KiB) 1468688
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10848
/proc/meminfo: memFree=30013220/32770624 swapFree=0/274700
[pid=10642] ppid=10639 vsize=1468688 CPUtime=2519.72 cores=0,2,4,6
/proc/10642/stat : 10642 (BTD) R 10639 10642 6971 0 -1 4202496 1983096 0 0 0 251856 116 0 0 20 0 1 0 13644088 1503936512 359889 18446744073709551615 4194304 35031035 140729199792304 140729199791304 4544899 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 66633728 140729199800837 140729199800913 140729199800913 140729199804369 0
/proc/10642/statm: 367172 359889 339 7529 0 359619 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 1468688
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 10642 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.74
CPU user time (s): 2518.57
CPU system time (s): 1.17395
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 1468688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.57
system time used= 1.17395
maximum resident set size= 1439576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1983096
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= 116
involuntary context switches= 3154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32555 second user time and 9.893 second system time
The end