runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15183 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264941-1502605565/watcher-4264941-1502605565 -o /tmp/evaluation-result-4264941-1502605565/solver-4264941-1502605565 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502597474-15728 --watchdog 2560 miniBTD 2400 HOME/instance-4264941-1502605565.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17524, runsolver pid=17521
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31352804/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=26604 memory=3176 CPUtime=0.06 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 966 0 0 0 6 0 0 0 20 0 1 0 108371686 27242496 794 18446744073709551615 4194304 4832229 140729512815440 140729512812392 4216629 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 6651 794 513 156 0 293 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26604 KiB
Current children cumulated memory: 3176 KiB
[startup+0.209714 s]*
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31352184/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=27040 memory=3620 CPUtime=0.17 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 5745 0 0 0 16 1 0 0 20 0 1 0 108371686 27688960 905 18446744073709551615 4194304 4832229 140729512815440 140729512812392 140088912221164 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 6760 905 513 156 0 402 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 27040 KiB
Current children cumulated memory: 3620 KiB
[startup+0.309183 s]*
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31351936/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=27400 memory=3848 CPUtime=0.27 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 16149 0 0 0 24 3 0 0 20 0 1 0 108371686 28057600 946 18446744073709551615 4194304 4832229 140729512815440 140729512812392 4217609 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 6850 946 513 156 0 492 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 27400 KiB
Current children cumulated memory: 3848 KiB
[startup+0.700333 s]
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31351564/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=27824 memory=4404 CPUtime=0.65 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 76017 0 0 0 54 11 0 0 20 0 1 0 108371686 28491776 1101 18446744073709551615 4194304 4832229 140729512815440 140729512812392 140088912221164 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 7005 1101 513 156 0 647 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 27824 KiB
Current children cumulated memory: 4404 KiB
[startup+1.50034 s]
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31350712/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=28952 memory=5148 CPUtime=1.45 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 235550 0 0 0 119 26 0 0 20 0 1 0 108371686 29646848 1343 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215785 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 7238 1343 514 156 0 880 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 28952 KiB
Current children cumulated memory: 5148 KiB
[startup+3.10952 s]
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31346096/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=29824 memory=6208 CPUtime=3.05 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 619660 0 0 0 240 65 0 0 20 0 1 0 108371686 30539776 1552 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216944 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 7456 1552 514 156 0 1098 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 29824 KiB
Current children cumulated memory: 6208 KiB
[startup+6.30033 s]
/proc/loadavg: 2.10 2.06 2.05 3/186 17525
/proc/meminfo: memFree=31341120/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=31820 memory=8100 CPUtime=6.24 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 1400864 0 0 0 483 141 0 0 20 0 1 0 108371686 32583680 1960 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216625 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 7955 2025 514 156 0 1597 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 31820 KiB
Current children cumulated memory: 8100 KiB
[startup+12.7004 s]
/proc/loadavg: 2.09 2.06 2.05 3/185 17525
/proc/meminfo: memFree=31332652/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=33716 memory=10300 CPUtime=12.65 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 3083715 0 0 0 951 314 0 0 20 0 1 0 108371686 34525184 2575 18446744073709551615 4194304 4832229 140729512815440 140729512811768 140088912221164 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 8429 2575 514 156 0 2071 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33716 KiB
Current children cumulated memory: 10300 KiB
[startup+25.5005 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 17525
/proc/meminfo: memFree=31317160/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=38524 memory=14772 CPUtime=25.45 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 6280969 0 0 0 1887 658 0 0 20 0 1 0 108371686 39448576 3693 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217606 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 9631 3693 514 156 0 3273 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 38524 KiB
Current children cumulated memory: 14772 KiB
[startup+51.1101 s]
/proc/loadavg: 2.04 2.05 2.05 3/185 17526
/proc/meminfo: memFree=31289560/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=41052 memory=17440 CPUtime=51.05 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 12395406 0 0 0 3721 1384 0 0 20 0 1 0 108371686 42037248 4294 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216625 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 10263 4294 514 156 0 3905 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 17440 KiB
[startup+102.301 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 17529
/proc/meminfo: memFree=31224884/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=56152 memory=32600 CPUtime=102.25 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 20401254 0 0 0 7870 2355 0 0 20 0 1 0 108371686 57499648 8150 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215782 0 0 1 0 0 0 0 17 4 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 14038 8150 515 156 0 7680 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 56152 KiB
Current children cumulated memory: 32600 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 17531
/proc/meminfo: memFree=31152148/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=69224 memory=45552 CPUtime=162.25 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 30116870 0 0 0 12617 3608 0 0 20 0 1 0 108371686 70885376 11388 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215776 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 17306 11388 515 156 0 10948 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 69224 KiB
Current children cumulated memory: 45552 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 17533
/proc/meminfo: memFree=31077848/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=86500 memory=62704 CPUtime=222.24 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 38942723 0 0 0 17364 4860 0 0 20 0 1 0 108371686 88576000 15676 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217613 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 21625 15676 515 156 0 15267 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 86500 KiB
Current children cumulated memory: 62704 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 17535
/proc/meminfo: memFree=30999756/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=105144 memory=81432 CPUtime=282.24 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 47165595 0 0 0 22380 5844 0 0 20 0 1 0 108371686 107667456 20358 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215782 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 26286 20358 515 156 0 19928 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 105144 KiB
Current children cumulated memory: 81432 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 17537
/proc/meminfo: memFree=30925664/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=118560 memory=94856 CPUtime=342.23 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 57823752 0 0 0 27150 7073 0 0 20 0 1 0 108371686 121405440 23714 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217278 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 29640 23714 515 156 0 23282 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 118560 KiB
Current children cumulated memory: 94856 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 17540
/proc/meminfo: memFree=30849844/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=134964 memory=111172 CPUtime=402.2 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 67603677 0 0 0 31977 8243 0 0 20 0 1 0 108371686 138203136 27793 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215782 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 33741 27793 515 156 0 27383 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 111172 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 17543
/proc/meminfo: memFree=30775920/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=148952 memory=125368 CPUtime=462.19 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 77264246 0 0 0 36774 9445 0 0 20 0 1 0 108371686 152526848 31342 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216944 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 37238 31342 515 156 0 30880 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 148952 KiB
Current children cumulated memory: 125368 KiB
################
# More data... #
################
/proc/17524/statm: 111898 105612 515 156 0 105540 0
Current children cumulated CPU time: 1602 s
Current children cumulated vsize: 447592 KiB
Current children cumulated memory: 422448 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 17620
/proc/meminfo: memFree=29289980/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=462568 memory=438924 CPUtime=1662 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 257398377 0 0 0 134574 31626 0 0 20 0 1 0 108371686 473669632 109731 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216622 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 115642 109731 515 156 0 109284 0
Current children cumulated CPU time: 1662 s
Current children cumulated vsize: 462568 KiB
Current children cumulated memory: 438924 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 17636
/proc/meminfo: memFree=29210988/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=479508 memory=455952 CPUtime=1722 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 266985321 0 0 0 139407 32793 0 0 20 0 1 0 108371686 491016192 113988 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217600 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 119877 113988 515 156 0 113519 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 479508 KiB
Current children cumulated memory: 455952 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17638
/proc/meminfo: memFree=29137648/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=491576 memory=467848 CPUtime=1781.99 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 276765488 0 0 0 144216 33983 0 0 20 0 1 0 108371686 503373824 116962 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216950 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 122894 116962 515 156 0 116536 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 491576 KiB
Current children cumulated memory: 467848 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 17640
/proc/meminfo: memFree=29066760/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=507804 memory=484152 CPUtime=1841.98 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 287256002 0 0 0 149036 35162 0 0 20 0 1 0 108371686 519991296 121038 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217281 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 126951 121038 515 156 0 120593 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 507804 KiB
Current children cumulated memory: 484152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 17644
/proc/meminfo: memFree=28991312/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=524668 memory=501136 CPUtime=1901.98 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 294943741 0 0 0 154057 36141 0 0 20 0 1 0 108371686 537260032 125284 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4215789 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 131167 125284 515 156 0 124809 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 524668 KiB
Current children cumulated memory: 501136 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 17646
/proc/meminfo: memFree=28915124/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=541260 memory=516288 CPUtime=1961.98 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 303284395 0 0 0 158980 37218 0 0 20 0 1 0 108371686 554250240 129072 18446744073709551615 4194304 4832229 140729512815440 140729512811768 140088912221164 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 135315 129072 515 156 0 128957 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 541260 KiB
Current children cumulated memory: 516288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17648
/proc/meminfo: memFree=28840996/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=557064 memory=533264 CPUtime=2021.98 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 313696712 0 0 0 163779 38419 0 0 20 0 1 0 108371686 570433536 133316 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216616 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 139266 133316 515 156 0 132908 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 557064 KiB
Current children cumulated memory: 533264 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17650
/proc/meminfo: memFree=28764604/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=574060 memory=550280 CPUtime=2081.97 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 323273079 0 0 0 168698 39499 0 0 20 0 1 0 108371686 587837440 137570 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216616 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 143515 137570 515 156 0 137157 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 574060 KiB
Current children cumulated memory: 550280 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17652
/proc/meminfo: memFree=28688328/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=585940 memory=562344 CPUtime=2141.97 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 332449167 0 0 0 173618 40579 0 0 20 0 1 0 108371686 600002560 140586 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217272 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 146485 140586 515 156 0 140127 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 585940 KiB
Current children cumulated memory: 562344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17716
/proc/meminfo: memFree=30814964/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=600828 memory=577144 CPUtime=2201.96 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 342343602 0 0 0 178481 41715 0 0 20 0 1 0 108371686 615247872 144286 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217278 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 150207 144286 515 156 0 143849 0
Current children cumulated CPU time: 2201.96 s
Current children cumulated vsize: 600828 KiB
Current children cumulated memory: 577144 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17718
/proc/meminfo: memFree=30798740/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=618320 memory=594696 CPUtime=2261.96 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 350880172 0 0 0 183463 42733 0 0 20 0 1 0 108371686 633159680 148674 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216944 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 154580 148674 515 156 0 148222 0
Current children cumulated CPU time: 2261.96 s
Current children cumulated vsize: 618320 KiB
Current children cumulated memory: 594696 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17734
/proc/meminfo: memFree=30776480/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=636156 memory=612584 CPUtime=2321.95 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 359421007 0 0 0 188441 43754 0 0 20 0 1 0 108371686 651423744 153146 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4216622 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 159039 153146 515 156 0 152681 0
Current children cumulated CPU time: 2321.95 s
Current children cumulated vsize: 636156 KiB
Current children cumulated memory: 612584 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17736
/proc/meminfo: memFree=30760892/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=651752 memory=628020 CPUtime=2381.95 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 369391245 0 0 0 193268 44927 0 0 20 0 1 0 108371686 667394048 156939 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217281 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 162938 157005 515 156 0 156580 0
Current children cumulated CPU time: 2381.95 s
Current children cumulated vsize: 651752 KiB
Current children cumulated memory: 628020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 17737
/proc/meminfo: memFree=30760440/32770624 swapFree=67108860/67108860
[pid=17524] ppid=17521 vsize=654180 memory=630684 CPUtime=2400.04 cores=0,2,4,6
/proc/17524/stat : 17524 (miniBTD) R 17521 17524 8289 0 -1 4202496 372806778 0 0 0 194679 45325 0 0 20 0 1 0 108371686 669880320 157605 18446744073709551615 4194304 4832229 140729512815440 140729512811768 4217600 0 0 1 0 0 0 0 17 0 0 0 4 0 0 6932488 6936608 18407424 140729512817111 140729512817191 140729512817191 140729512820685 0
/proc/17524/statm: 163719 157671 515 156 0 157361 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 654180 KiB
Current children cumulated memory: 630684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.42 s]
# the end of solver process 17524 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1946.8 s, system=453.272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.42
CPU time (s): 2400.07
CPU user time (s): 1946.8
CPU system time (s): 453.272
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 654872
Max. memory (cumulated for all children) (KiB): 631208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1946.8
system time used= 453.272
maximum resident set size= 631216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372806904
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= 214
involuntary context switches= 3738
# summary of solver processes directly reported to runsolver:
# pid: 17524
# total CPU time (s): 2400.07
# total CPU user time (s): 1946.8
# total CPU system time (s): 453.272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31965 second user time and 17.4284 second system time
The end