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 (15217 MiB free)
memory of node 1: 16384 MiB (15623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264904-1502613492/watcher-4264904-1502613492 -o /tmp/evaluation-result-4264904-1502613492/solver-4264904-1502613492 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502596296-23159 --watchdog 2560 miniBTD 2400 HOME/instance-4264904-1502613492.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=27958, runsolver pid=27955
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27959
/proc/meminfo: memFree=31578440/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=28760 memory=4916 CPUtime=0.05 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1592 0 0 0 5 0 0 0 20 0 1 0 63542516 29450240 1229 18446744073709551615 4194304 4832229 140723378075232 140723378072184 139764152515390 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 7190 1229 522 156 0 832 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 28760 KiB
Current children cumulated memory: 4916 KiB
[startup+0.209346 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27959
/proc/meminfo: memFree=31572460/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=39132 memory=14796 CPUtime=0.16 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 4128 0 0 0 15 1 0 0 20 0 1 0 63542516 40071168 3699 18446744073709551615 4194304 4832229 140723378075232 140723378072184 4233404 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 9783 3699 532 156 0 3425 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 39132 KiB
Current children cumulated memory: 14796 KiB
[startup+0.309442 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27959
/proc/meminfo: memFree=31526048/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=86524 memory=61260 CPUtime=0.26 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 15711 0 0 0 23 3 0 0 20 0 1 0 63542516 88600576 15315 18446744073709551615 4194304 4832229 140723378075232 140723378072184 139764152519653 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 21631 15315 535 156 0 15273 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 86524 KiB
Current children cumulated memory: 61260 KiB
[startup+0.700798 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27959
/proc/meminfo: memFree=31446316/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=237532 memory=212268 CPUtime=0.63 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) D 27955 27958 17093 0 -1 4202496 53466 0 0 0 56 7 0 0 20 0 1 0 63542516 243232768 53067 18446744073709551615 4194304 4832229 140723378075232 140723378069144 139764152519653 0 0 1 0 18446744071582151416 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 59383 53067 535 156 0 53025 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 237532 KiB
Current children cumulated memory: 212268 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27959
/proc/meminfo: memFree=31249968/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=481464 memory=457212 CPUtime=1.43 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 114803 0 0 0 128 15 0 0 20 0 1 0 63542516 493019136 114303 18446744073709551615 4194304 4832229 140723378075232 140723378069144 139764152519653 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 120366 114303 535 156 0 114008 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 481464 KiB
Current children cumulated memory: 457212 KiB
[startup+3.10956 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 27959
/proc/meminfo: memFree=30871516/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708916 CPUtime=3.04 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 280804 0 0 0 276 28 0 0 20 0 1 0 63542516 749801472 177229 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177229 573 156 0 176699 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708916 KiB
[startup+6.30042 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 27959
/proc/meminfo: memFree=30871640/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=6.23 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 490965 0 0 0 585 38 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 27959
/proc/meminfo: memFree=30872112/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=12.62 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 652943 0 0 0 1217 45 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4299528 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 27960
/proc/meminfo: memFree=30871972/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=25.42 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 851461 0 0 0 2487 55 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 139764152512032 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 27960
/proc/meminfo: memFree=30872088/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=51.03 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1052670 0 0 0 5038 65 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 27963
/proc/meminfo: memFree=30872428/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=102.22 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1256860 0 0 0 10148 74 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4299528 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27965
/proc/meminfo: memFree=30871908/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708920 CPUtime=162.21 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1382879 0 0 0 16141 80 0 0 20 0 1 0 63542516 749801472 177230 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312512 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177230 574 156 0 176699 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708920 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 27967
/proc/meminfo: memFree=30871760/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=222.21 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1480807 0 0 0 22137 84 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 27970
/proc/meminfo: memFree=30871680/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=282.2 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1562912 0 0 0 28133 87 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27972
/proc/meminfo: memFree=30871840/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=342.2 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1608651 0 0 0 34130 90 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27988
/proc/meminfo: memFree=30867680/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=402.19 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1625752 0 0 0 40128 91 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27990
/proc/meminfo: memFree=30868952/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=462.18 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1626513 0 0 0 46127 91 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 139764152512141 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
################
# More data... #
################
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1662.07 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 28120
/proc/meminfo: memFree=28175524/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=1722.07 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1642524 0 0 0 172114 93 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 139764152517252 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28122
/proc/meminfo: memFree=28175188/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=1782.06 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1643282 0 0 0 178113 93 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312642 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28124
/proc/meminfo: memFree=28175524/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=1842.05 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1644027 0 0 0 184112 93 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28127
/proc/meminfo: memFree=28175180/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=1902.05 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1644802 0 0 0 190112 93 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28129
/proc/meminfo: memFree=28175692/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=1962.05 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1645549 0 0 0 196111 94 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28131
/proc/meminfo: memFree=28175212/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2022.04 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1646296 0 0 0 202110 94 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312665 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28134
/proc/meminfo: memFree=28175228/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2082.03 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1647043 0 0 0 208109 94 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28136
/proc/meminfo: memFree=28174760/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2142.03 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1647814 0 0 0 214109 94 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2202.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/184 28152
/proc/meminfo: memFree=28171300/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2202.02 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1648559 0 0 0 220108 94 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 28179
/proc/meminfo: memFree=28169584/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2262.02 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1649317 0 0 0 226107 95 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312392 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 28181
/proc/meminfo: memFree=28172612/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2322.01 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1650062 0 0 0 232106 95 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 28183
/proc/meminfo: memFree=28173480/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2382.01 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1650835 0 0 0 238106 95 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 139764152518742 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 28184
/proc/meminfo: memFree=28173900/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2400.01 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1651029 0 0 0 239906 95 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 27958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.06 s, system=0.95591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 28184
/proc/meminfo: memFree=28173900/32770624 swapFree=67108860/67108860
[pid=27958] ppid=27955 vsize=732228 memory=708932 CPUtime=2400.01 cores=0,2,4,6
/proc/27958/stat : 27958 (miniBTD) R 27955 27958 17093 0 -1 4202496 1651029 0 0 0 239906 95 0 0 20 0 1 0 63542516 749801472 177233 18446744073709551615 4194304 4832229 140723378075232 140723378072952 4312584 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932488 6936608 39288832 140723378082263 140723378082343 140723378082343 140723378085837 0
/proc/27958/statm: 183057 177233 574 156 0 176699 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 732228 KiB
Current children cumulated memory: 708932 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.3
CPU time (s): 2400.02
CPU user time (s): 2399.06
CPU system time (s): 0.95591
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 732228
Max. memory (cumulated for all children) (KiB): 708932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 0.95591
maximum resident set size= 711092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1651029
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= 19
involuntary context switches= 3002
# summary of solver processes directly reported to runsolver:
# pid: 27958
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.06
# total CPU system time (s): 0.95591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03098 second user time and 17.7779 second system time
The end