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 (9114 MiB free)
memory of node 1: 16384 MiB (15103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391813-1568305992/watcher-4391813-1568305992 -o /tmp/evaluation-result-4391813-1568305992/solver-4391813-1568305992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568306093-23618 --watchdog 2560 miniBTD 2400 HOME/instance-4391813-1568305992.xml
running on 4 cores: 1,3,5,7
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
Starting watchdog thread
solver pid=23647, runsolver pid=23644
Current StackSize limit: 8192 KiB
[startup+0.100309 s]*
/proc/loadavg: 1.00 1.19 1.61 3/196 23648
/proc/meminfo: memFree=24795820/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=30064 memory=5812 CPUtime=0.1 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 1962 0 0 0 10 0 0 0 20 0 1 0 406866751 30785536 1453 33554432000 4194304 5326806 140720891448064 140720891445528 5027903 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 7516 1453 579 277 0 1037 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30064 KiB
Current children cumulated memory: 5812 KiB
[startup+0.2094 s]*
/proc/loadavg: 1.00 1.19 1.61 2/193 23656
/proc/meminfo: memFree=24795172/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=33052 memory=8560 CPUtime=0.21 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 2575 0 0 0 21 0 0 0 20 0 1 0 406866751 33845248 2140 33554432000 4194304 5326806 140720891448064 140720891445528 4905104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 8263 2140 579 277 0 1784 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33052 KiB
Current children cumulated memory: 8560 KiB
[startup+0.309697 s]*
/proc/loadavg: 1.00 1.19 1.61 2/193 23656
/proc/meminfo: memFree=24793312/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=37576 memory=12136 CPUtime=0.31 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 3174 0 0 0 31 0 0 0 20 0 1 0 406866751 38477824 3034 33554432000 4194304 5326806 140720891448064 140720891445528 140055807863781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 9394 3034 579 277 0 2915 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37576 KiB
Current children cumulated memory: 12136 KiB
[startup+0.700264 s]
/proc/loadavg: 1.00 1.19 1.61 3/193 23656
/proc/meminfo: memFree=24788320/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=45892 memory=21900 CPUtime=0.69 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 5651 0 0 0 69 0 0 0 20 0 1 0 406866751 46993408 5475 33554432000 4194304 5326806 140720891448064 140720891445528 4236296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 11473 5475 596 277 0 4994 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45892 KiB
Current children cumulated memory: 21900 KiB
[startup+1.50032 s]
/proc/loadavg: 1.00 1.19 1.61 3/198 23709
/proc/meminfo: memFree=24764816/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=57852 memory=33780 CPUtime=1.49 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 8610 0 0 0 148 1 0 0 20 0 1 0 406866751 59240448 8445 33554432000 4194304 5326806 140720891448064 140720891442632 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 14463 8445 596 277 0 7984 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57852 KiB
Current children cumulated memory: 33780 KiB
[startup+3.10971 s]
/proc/loadavg: 1.08 1.21 1.62 3/198 23709
/proc/meminfo: memFree=24712048/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=69320 memory=45304 CPUtime=3.1 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 16962 0 0 0 308 2 0 0 20 0 1 0 406866751 70983680 11326 33554432000 4194304 5326806 140720891448064 140720891443048 140055807863781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 17330 11326 596 277 0 10851 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 69320 KiB
Current children cumulated memory: 45304 KiB
[startup+6.30037 s]
/proc/loadavg: 1.08 1.21 1.62 3/198 23709
/proc/meminfo: memFree=24685792/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=80804 memory=56888 CPUtime=6.28 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 26027 0 0 0 625 3 0 0 20 0 1 0 406866751 82743296 14222 33554432000 4194304 5326806 140720891448064 140720891442872 140055807863781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 20201 14222 596 277 0 13722 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 80804 KiB
Current children cumulated memory: 56888 KiB
[startup+12.7004 s]
/proc/loadavg: 1.22 1.23 1.62 3/197 23709
/proc/meminfo: memFree=24662408/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=93180 memory=69128 CPUtime=12.68 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 37750 0 0 0 1261 7 0 0 20 0 1 0 406866751 95416320 17282 33554432000 4194304 5326806 140720891448064 140720891442872 4240284 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 23295 17282 596 277 0 16816 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 69128 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.26 1.62 3/197 23709
/proc/meminfo: memFree=24630976/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=108228 memory=84240 CPUtime=25.47 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 58814 0 0 0 2535 12 0 0 20 0 1 0 406866751 110825472 21060 33554432000 4194304 5326806 140720891448064 140720891442872 4240251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 27057 21060 596 277 0 20578 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 108228 KiB
Current children cumulated memory: 84240 KiB
[startup+51.11 s]
/proc/loadavg: 1.57 1.32 1.63 3/197 23712
/proc/meminfo: memFree=24587672/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=130208 memory=105800 CPUtime=51.07 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 69961 0 0 0 5088 19 0 0 20 0 1 0 406866751 133332992 26450 33554432000 4194304 5326806 140720891448064 140720891442680 4237534 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 32552 26450 596 277 0 26073 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 130208 KiB
Current children cumulated memory: 105800 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.43 1.66 3/197 23715
/proc/meminfo: memFree=24524668/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=161624 memory=137564 CPUtime=102.25 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 79101 0 0 0 10197 28 0 0 20 0 1 0 406866751 165502976 34391 33554432000 4194304 5326806 140720891448064 140720891443048 4240251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 40406 34391 596 277 0 33927 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 161624 KiB
Current children cumulated memory: 137564 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.54 1.68 3/197 23719
/proc/meminfo: memFree=24467364/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=189740 memory=165872 CPUtime=162.24 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 94181 0 0 0 16190 34 0 0 20 0 1 0 406866751 194293760 41468 33554432000 4194304 5326806 140720891448064 140720891443048 4240284 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 47435 41468 596 277 0 40956 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 189740 KiB
Current children cumulated memory: 165872 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.62 1.70 3/197 23725
/proc/meminfo: memFree=24418812/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=213104 memory=189312 CPUtime=222.23 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 114767 0 0 0 22182 41 0 0 20 0 1 0 406866751 218218496 47328 33554432000 4194304 5326806 140720891448064 140720891442520 4239248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 53276 47328 596 277 0 46797 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 213104 KiB
Current children cumulated memory: 189312 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.69 1.71 3/197 23729
/proc/meminfo: memFree=24376472/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=234624 memory=209924 CPUtime=282.23 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 140306 0 0 0 28176 47 0 0 20 0 1 0 406866751 240254976 52481 33554432000 4194304 5326806 140720891448064 140720891443048 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 58656 52481 596 277 0 52177 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 234624 KiB
Current children cumulated memory: 209924 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.75 1.73 3/198 23741
/proc/meminfo: memFree=24338600/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=253104 memory=228404 CPUtime=342.22 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 170361 0 0 0 34169 53 0 0 20 0 1 0 406866751 259178496 57101 33554432000 4194304 5326806 140720891448064 140720891442872 4240269 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 63276 57101 596 277 0 56797 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 253104 KiB
Current children cumulated memory: 228404 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.75 3/198 23747
/proc/meminfo: memFree=24303224/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=270528 memory=246488 CPUtime=402.18 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 193485 0 0 0 40159 59 0 0 20 0 1 0 406866751 277020672 61622 33554432000 4194304 5326806 140720891448064 140720891442632 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 67632 61622 596 277 0 61153 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 270528 KiB
Current children cumulated memory: 246488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.77 3/198 23751
/proc/meminfo: memFree=24271028/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=287028 memory=263044 CPUtime=462.17 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 198353 0 0 0 46154 63 0 0 20 0 1 0 406866751 293916672 65761 33554432000 4194304 5326806 140720891448064 140720891443048 4240284 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 71757 65761 596 277 0 65278 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 287028 KiB
Current children cumulated memory: 263044 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.86 1.78 3/198 23755
/proc/meminfo: memFree=24240436/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=302340 memory=278476 CPUtime=522.17 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 206985 0 0 0 52149 68 0 0 20 0 1 0 406866751 309596160 69619 33554432000 4194304 5326806 140720891448064 140720891443048 140055807863781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 75585 69619 596 277 0 69106 0
Current children cumulated CPU time: 522.17 s
Current children cumulated vsize: 302340 KiB
Current children cumulated memory: 278476 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.89 1.79 3/198 23761
/proc/meminfo: memFree=24210376/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=316860 memory=292960 CPUtime=582.17 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 210667 0 0 0 58145 72 0 0 20 0 1 0 406866751 324464640 73240 33554432000 4194304 5326806 140720891448064 140720891442920 4240284 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 79215 73240 596 277 0 72736 0
Current children cumulated CPU time: 582.17 s
Current children cumulated vsize: 316860 KiB
Current children cumulated memory: 292960 KiB
[startup+642.3 s]
/proc/loadavg: 2.11 1.94 1.82 3/197 23765
/proc/meminfo: memFree=24183264/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=330456 memory=306520 CPUtime=642.16 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 227981 0 0 0 64141 75 0 0 20 0 1 0 406866751 338386944 76630 33554432000 4194304 5326806 140720891448064 140720891442584 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 82614 76630 596 277 0 76135 0
Current children cumulated CPU time: 642.16 s
Current children cumulated vsize: 330456 KiB
Current children cumulated memory: 306520 KiB
[startup+702.3 s]
/proc/loadavg: 2.09 1.96 1.83 3/197 23769
/proc/meminfo: memFree=24156920/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=343392 memory=319612 CPUtime=702.16 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 248416 0 0 0 70137 79 0 0 20 0 1 0 406866751 351633408 79903 33554432000 4194304 5326806 140720891448064 140720891442520 4240251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 85848 79903 596 277 0 79369 0
Current children cumulated CPU time: 702.16 s
Current children cumulated vsize: 343392 KiB
Current children cumulated memory: 319612 KiB
[startup+762.3 s]
/proc/loadavg: 2.03 1.97 1.84 3/197 23775
/proc/meminfo: memFree=24131988/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=355800 memory=332028 CPUtime=762.15 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 271846 0 0 0 76132 83 0 0 20 0 1 0 406866751 364339200 83007 33554432000 4194304 5326806 140720891448064 140720891442872 4239294 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 88950 83007 596 277 0 82471 0
Current children cumulated CPU time: 762.15 s
Current children cumulated vsize: 355800 KiB
Current children cumulated memory: 332028 KiB
[startup+822.3 s]
/proc/loadavg: 2.01 1.97 1.86 3/197 23779
/proc/meminfo: memFree=24107932/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=367812 memory=343776 CPUtime=822.15 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 298155 0 0 0 82129 86 0 0 20 0 1 0 406866751 376639488 85944 33554432000 4194304 5326806 140720891448064 140720891442632 4239294 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 91953 85944 596 277 0 85474 0
Current children cumulated CPU time: 822.15 s
Current children cumulated vsize: 367812 KiB
Current children cumulated memory: 343776 KiB
[startup+882.3 s]
/proc/loadavg: 2.07 2.00 1.87 3/197 23844
/proc/meminfo: memFree=24447296/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=379296 memory=355412 CPUtime=882.14 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 322689 0 0 0 88124 90 0 0 20 0 1 0 406866751 388399104 88853 33554432000 4194304 5326806 140720891448064 140720891442632 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 94824 88853 596 277 0 88345 0
Current children cumulated CPU time: 882.14 s
Current children cumulated vsize: 379296 KiB
Current children cumulated memory: 355412 KiB
[startup+901.925 s]
# the end of solver process 23647 was just reported to runsolver
# cumulated CPU time of all completed processes: user=900.848 s, system=0.927942 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 2.07 2.00 1.87 3/197 23844
/proc/meminfo: memFree=24447296/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=379560 memory=355672 CPUtime=883.04 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 322733 0 0 0 88214 90 0 0 20 0 1 0 406866751 388669440 88918 33554432000 4194304 5326806 140720891448064 140720891442632 4239294 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 94890 88918 596 277 0 88411 0
Current children cumulated CPU time: 883.04 s
Current children cumulated vsize: 379560 KiB
Current children cumulated memory: 355672 KiB
[startup+889.6 s]
/proc/loadavg: 2.07 2.00 1.87 3/199 23848
/proc/meminfo: memFree=24445192/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=380748 memory=356708 CPUtime=889.44 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 323046 0 0 0 88854 90 0 0 20 0 1 0 406866751 389885952 89177 33554432000 4194304 5326806 140720891448064 140720891443048 4240284 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 95187 89177 596 277 0 88708 0
Current children cumulated CPU time: 889.44 s
Current children cumulated vsize: 380748 KiB
Current children cumulated memory: 356708 KiB
[startup+896 s]*
/proc/loadavg: 2.06 2.00 1.87 3/198 23848
/proc/meminfo: memFree=24449432/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=375524 memory=351844 CPUtime=895.85 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 323746 0 0 0 89494 91 0 0 20 0 1 0 406866751 384536576 87961 33554432000 4194304 5326806 140720891448064 140720891442696 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 93881 87961 596 277 0 87402 0
Current children cumulated CPU time: 895.85 s
Current children cumulated vsize: 375524 KiB
Current children cumulated memory: 351844 KiB
[startup+899.2 s]
/proc/loadavg: 2.06 2.00 1.87 3/198 23848
/proc/meminfo: memFree=24449432/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=375524 memory=351868 CPUtime=899.04 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 323875 0 0 0 89813 91 0 0 20 0 1 0 406866751 384536576 87967 33554432000 4194304 5326806 140720891448064 140720891445528 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 93881 87967 602 277 0 87402 0
Current children cumulated CPU time: 899.04 s
Current children cumulated vsize: 375524 KiB
Current children cumulated memory: 351868 KiB
[startup+900.8 s]
/proc/loadavg: 2.06 2.00 1.87 3/198 23848
/proc/meminfo: memFree=24449432/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=375524 memory=351868 CPUtime=900.64 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 323876 0 0 0 89973 91 0 0 20 0 1 0 406866751 384536576 87967 33554432000 4194304 5326806 140720891448064 140720891445528 4239240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 93881 87967 602 277 0 87402 0
Current children cumulated CPU time: 900.64 s
Current children cumulated vsize: 375524 KiB
Current children cumulated memory: 351868 KiB
[startup+901.6 s]
/proc/loadavg: 2.06 2.00 1.87 3/211 23877
/proc/meminfo: memFree=24421688/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=398036 memory=374440 CPUtime=901.44 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 329546 0 0 0 90052 92 0 0 20 0 1 0 406866751 407588864 93610 33554432000 4194304 5326806 140720891448064 140720891445528 140055807873936 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 99509 93610 622 277 0 93030 0
Current children cumulated CPU time: 901.44 s
Current children cumulated vsize: 398036 KiB
Current children cumulated memory: 374440 KiB
[startup+901.8 s]
/proc/loadavg: 2.06 2.00 1.87 3/211 23877
/proc/meminfo: memFree=24421688/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=398036 memory=374440 CPUtime=901.64 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 329546 0 0 0 90072 92 0 0 20 0 1 0 406866751 407588864 93610 33554432000 4194304 5326806 140720891448064 140720891445528 140055807854594 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 99509 93610 622 277 0 93030 0
Current children cumulated CPU time: 901.64 s
Current children cumulated vsize: 398036 KiB
Current children cumulated memory: 374440 KiB
[startup+901.9 s]
/proc/loadavg: 2.06 2.00 1.87 3/211 23877
/proc/meminfo: memFree=24421688/32770624 swapFree=66901240/67108860
[pid=23647] ppid=23644 vsize=398036 memory=374440 CPUtime=901.74 cores=1,3,5,7
/proc/23647/stat : 23647 (miniBTD) R 23644 23647 23586 0 -1 4202496 329546 0 0 0 90082 92 0 0 20 0 1 0 406866751 407588864 93610 33554432000 4194304 5326806 140720891448064 140720891445528 140055807854590 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7427920 7432256 18763776 140720891450400 140720891450480 140720891450480 140720891453389 0
/proc/23647/statm: 99509 93610 622 277 0 93030 0
Current children cumulated CPU time: 901.74 s
Current children cumulated vsize: 398036 KiB
Current children cumulated memory: 374440 KiB
Child status: 0
Real time (s): 901.926
CPU time (s): 901.776
CPU user time (s): 900.848
CPU system time (s): 0.927942
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 398036
Max. memory (cumulated for all children) (KiB): 374440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 900.848
system time used= 0.927942
maximum resident set size= 374492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329556
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= 114
involuntary context switches= 1104
# summary of solver processes directly reported to runsolver:
# pid: 23647
# total CPU time (s): 901.776
# total CPU user time (s): 900.848
# total CPU system time (s): 0.927942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82498 second user time and 6.90592 second system time
The end