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 (15187 MiB free)
memory of node 1: 16384 MiB (15473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264854-1502603126/watcher-4264854-1502603126 -o /tmp/evaluation-result-4264854-1502603126/solver-4264854-1502603126 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502597474-15729 --watchdog 2560 miniBTD 2400 HOME/instance-4264854-1502603126.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
Current StackSize limit: 8192 KiB
solver pid=16413, runsolver pid=16410
[startup+0.10009 s]*
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31395648/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=26268 memory=2932 CPUtime=0.01 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 915 0 0 0 1 0 0 0 20 0 1 0 108127759 26898432 733 18446744073709551615 4194304 4832229 140722520308544 140722520305496 139980334977235 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6567 733 548 156 0 209 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 2932 KiB
[startup+0.209535 s]*
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394532/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27196 memory=3988 CPUtime=0.11 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1179 0 0 0 11 0 0 0 20 0 1 0 108127759 27848704 997 18446744073709551615 4194304 4832229 140722520308544 140722520305496 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6799 997 602 156 0 441 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27196 KiB
Current children cumulated memory: 3988 KiB
[startup+0.309107 s]*
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394532/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27196 memory=3988 CPUtime=0.21 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1185 0 0 0 21 0 0 0 20 0 1 0 108127759 27848704 997 18446744073709551615 4194304 4832229 140722520308544 140722520305496 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6799 997 602 156 0 441 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27196 KiB
Current children cumulated memory: 3988 KiB
[startup+0.700252 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394536/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27328 memory=3988 CPUtime=0.59 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1207 0 0 0 59 0 0 0 20 0 1 0 108127759 27983872 997 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6832 997 602 156 0 474 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 3988 KiB
[startup+1.50022 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394536/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27328 memory=3988 CPUtime=1.39 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1221 0 0 0 139 0 0 0 20 0 1 0 108127759 27983872 997 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4342225 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6832 997 602 156 0 474 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 3988 KiB
[startup+3.10934 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394272/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27460 memory=4256 CPUtime=3 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1452 0 0 0 299 1 0 0 20 0 1 0 108127759 28119040 1064 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6865 1064 604 156 0 507 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 27460 KiB
Current children cumulated memory: 4256 KiB
[startup+6.30024 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 16414
/proc/meminfo: memFree=31394428/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27460 memory=4312 CPUtime=6.19 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1696 0 0 0 617 2 0 0 20 0 1 0 108127759 28119040 1078 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4342225 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6865 1078 604 156 0 507 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 27460 KiB
Current children cumulated memory: 4312 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 2.05 6/203 16504
/proc/meminfo: memFree=31368672/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27460 memory=4380 CPUtime=12.59 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 1955 0 0 0 1253 6 0 0 20 0 1 0 108127759 28119040 1095 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6865 1095 604 156 0 507 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 27460 KiB
Current children cumulated memory: 4380 KiB
[startup+25.5003 s]
/proc/loadavg: 1.79 1.99 2.03 5/200 16877
/proc/meminfo: memFree=31361604/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27592 memory=4504 CPUtime=25.39 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 2466 0 0 0 2525 14 0 0 20 0 1 0 108127759 28254208 1126 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6898 1126 604 156 0 540 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4504 KiB
[startup+51.109 s]
/proc/loadavg: 1.85 1.99 2.03 3/186 17165
/proc/meminfo: memFree=31391624/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27724 memory=4548 CPUtime=51 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 2794 0 0 0 5072 28 0 0 20 0 1 0 108127759 28389376 1137 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6931 1137 604 156 0 573 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4548 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/187 17168
/proc/meminfo: memFree=31391500/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27724 memory=4612 CPUtime=102.2 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 3109 0 0 0 10165 55 0 0 20 0 1 0 108127759 28389376 1153 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6931 1153 604 156 0 573 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4612 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 17170
/proc/meminfo: memFree=31391368/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4664 CPUtime=162.2 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 3504 0 0 0 16134 86 0 0 20 0 1 0 108127759 28524544 1166 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1166 604 156 0 606 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4664 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 17173
/proc/meminfo: memFree=31391740/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4696 CPUtime=222.21 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 3842 0 0 0 22102 119 0 0 20 0 1 0 108127759 28524544 1174 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4342269 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1174 604 156 0 606 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 17175
/proc/meminfo: memFree=31391860/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4696 CPUtime=282.22 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 3849 0 0 0 28066 156 0 0 20 0 1 0 108127759 28524544 1174 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1174 604 156 0 606 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4696 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 17177
/proc/meminfo: memFree=31391736/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4752 CPUtime=342.22 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 4197 0 0 0 34033 189 0 0 20 0 1 0 108127759 28524544 1188 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1188 604 156 0 606 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4752 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 17179
/proc/meminfo: memFree=31391600/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4752 CPUtime=402.23 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 4201 0 0 0 40003 220 0 0 20 0 1 0 108127759 28524544 1188 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1188 604 156 0 606 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4752 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 17181
/proc/meminfo: memFree=31390816/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=27856 memory=4792 CPUtime=462.23 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 4541 0 0 0 45971 252 0 0 20 0 1 0 108127759 28524544 1198 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 6964 1198 604 156 0 606 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4792 KiB
################
# More data... #
################
Current children cumulated memory: 5020 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/186 17307
/proc/meminfo: memFree=31388008/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28120 memory=5040 CPUtime=1902.35 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5074 0 0 0 188969 1266 0 0 20 0 1 0 108127759 28794880 1260 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7030 1260 604 156 0 672 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 5040 KiB
[startup+1962.3 s]
/proc/loadavg: 2.36 2.13 2.08 3/186 17309
/proc/meminfo: memFree=31388832/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28120 memory=5040 CPUtime=1962.36 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5094 0 0 0 194929 1307 0 0 20 0 1 0 108127759 28794880 1260 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7030 1260 604 156 0 672 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 5040 KiB
[startup+2022.3 s]
/proc/loadavg: 2.13 2.11 2.07 3/186 17312
/proc/meminfo: memFree=31388960/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28120 memory=5060 CPUtime=2022.37 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5135 0 0 0 200895 1342 0 0 20 0 1 0 108127759 28794880 1265 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4361961 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7030 1265 604 156 0 672 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 5060 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/186 17314
/proc/meminfo: memFree=31389176/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28120 memory=5060 CPUtime=2082.37 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5175 0 0 0 206859 1378 0 0 20 0 1 0 108127759 28794880 1265 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7030 1265 604 156 0 672 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 5060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/186 17316
/proc/meminfo: memFree=31389056/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28120 memory=5060 CPUtime=2142.38 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5224 0 0 0 212821 1417 0 0 20 0 1 0 108127759 28794880 1265 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7030 1265 604 156 0 672 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 5060 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/186 17318
/proc/meminfo: memFree=31389260/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5060 CPUtime=2202.39 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5240 0 0 0 218785 1454 0 0 20 0 1 0 108127759 28930048 1265 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4342229 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1265 604 156 0 705 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5060 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/186 17320
/proc/meminfo: memFree=31389388/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5072 CPUtime=2262.39 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5273 0 0 0 224748 1491 0 0 20 0 1 0 108127759 28930048 1268 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1268 604 156 0 705 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5072 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/186 17322
/proc/meminfo: memFree=31389356/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5072 CPUtime=2322.39 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5279 0 0 0 230708 1531 0 0 20 0 1 0 108127759 28930048 1268 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4359072 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1268 604 156 0 705 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5072 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17339
/proc/meminfo: memFree=31386024/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2382.4 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 236667 1573 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2399.9 s]
# the end of solver process 16413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2384.12 s, system=15.8864 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386044/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2393.7 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 237787 1583 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2393.7 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2396.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386112/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2396.9 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 238104 1586 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980343480839 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2396.9 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2398.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386112/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2398.5 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 238263 1587 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4342234 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2398.5 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2399.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386112/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2399.31 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 238343 1588 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 139980334297468 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2399.31 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2399.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386112/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2399.7 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 238382 1588 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4359072 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2399.7 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
[startup+2399.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17340
/proc/meminfo: memFree=31386112/32770624 swapFree=67108860/67108860
[pid=16413] ppid=16410 vsize=28252 memory=5084 CPUtime=2399.9 cores=1,3,5,7
/proc/16413/stat : 16413 (miniBTD) R 16410 16413 8289 0 -1 4202496 5323 0 0 0 238402 1588 0 0 20 0 1 0 108127759 28930048 1271 18446744073709551615 4194304 4832229 140722520308544 140722520306264 4359114 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6932488 6936608 22970368 140722520310231 140722520310311 140722520310311 140722520313805 0
/proc/16413/statm: 7063 1271 604 156 0 705 0
Current children cumulated CPU time: 2399.9 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 5084 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.01
CPU user time (s): 2384.12
CPU system time (s): 15.8864
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 28252
Max. memory (cumulated for all children) (KiB): 5084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2384.12
system time used= 15.8864
maximum resident set size= 5112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 730
# summary of solver processes directly reported to runsolver:
# pid: 16413
# total CPU time (s): 2400.01
# total CPU user time (s): 2384.12
# total CPU system time (s): 15.8864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16676 second user time and 15.3895 second system time
The end