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 (6432 MiB free)
memory of node 1: 16384 MiB (12386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295276-1532573850/watcher-4295276-1532573850 -o /tmp/evaluation-result-4295276-1532573850/solver-4295276-1532573850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532560795-15589 --watchdog 2580 BTD 12 2520 HOME/instance-4295276-1532573850.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18372, runsolver pid=18369
[startup+0.100216 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19260036/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=42836 memory=12916 CPUtime=0.1 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 3359 0 0 0 10 0 0 0 20 0 1 0 74948221 43864064 3229 33554432000 4194304 36388972 140735353789024 140735353789024 4356409 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10709 3229 490 7861 0 2813 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 12916 KiB
[startup+0.210107 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259664/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=42968 memory=12916 CPUtime=0.21 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 3396 0 0 0 21 0 0 0 20 0 1 0 74948221 43999232 3229 33554432000 4194304 36388972 140735353789024 140735353789024 4625943 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10742 3229 490 7861 0 2846 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 12916 KiB
[startup+0.310025 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259400/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43104 memory=12916 CPUtime=0.31 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 3411 0 0 0 31 0 0 0 20 0 1 0 74948221 44138496 3229 33554432000 4194304 36388972 140735353789024 140735353789024 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10776 3229 490 7861 0 2880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 12916 KiB
[startup+0.70041 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259372/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43104 memory=13180 CPUtime=0.69 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 3442 0 0 0 69 0 0 0 20 0 1 0 74948221 44138496 3295 33554432000 4194304 36388972 140735353789024 140735353787864 4356416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10776 3295 502 7861 0 2880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 13180 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259404/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43236 memory=13180 CPUtime=1.49 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 3470 0 0 0 149 0 0 0 20 0 1 0 74948221 44273664 3295 33554432000 4194304 36388972 140735353789024 140735353787864 4460795 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10809 3295 502 7861 0 2913 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43236 KiB
Current children cumulated memory: 13180 KiB
[startup+3.1099 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259348/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43372 memory=13384 CPUtime=3.1 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 6127 0 0 0 309 1 0 0 20 0 1 0 74948221 44412928 3346 33554432000 4194304 36388972 140735353789024 140735353787864 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10843 3346 502 7861 0 2947 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43372 KiB
Current children cumulated memory: 13384 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259408/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43508 memory=13576 CPUtime=6.29 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 8817 0 0 0 627 2 0 0 20 0 1 0 74948221 44552192 3394 33554432000 4194304 36388972 140735353789024 140735353787864 4356354 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10877 3394 502 7861 0 2981 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 13576 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259880/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43508 memory=13616 CPUtime=12.69 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 11515 0 0 0 1266 3 0 0 20 0 1 0 74948221 44552192 3404 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10877 3404 502 7861 0 2981 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 13616 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18373
/proc/meminfo: memFree=19259668/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43644 memory=13724 CPUtime=25.49 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 14859 0 0 0 2543 6 0 0 20 0 1 0 74948221 44691456 3431 33554432000 4194304 36388972 140735353789024 140735353787864 4458223 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10911 3431 502 7861 0 3015 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 13724 KiB
[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18374
/proc/meminfo: memFree=19260440/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43644 memory=13732 CPUtime=51.09 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 15566 0 0 0 5098 11 0 0 20 0 1 0 74948221 44691456 3433 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10911 3433 502 7861 0 3015 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 13732 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18375
/proc/meminfo: memFree=19260152/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13772 CPUtime=102.28 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 16275 0 0 0 10206 22 0 0 20 0 1 0 74948221 44838912 3443 33554432000 4194304 36388972 140735353789024 140735353787864 4356399 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3443 502 7861 0 3051 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13772 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18384
/proc/meminfo: memFree=19258664/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13800 CPUtime=162.28 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 16954 0 0 0 16193 35 0 0 20 0 1 0 74948221 44838912 3450 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3450 504 7861 0 3051 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13800 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18408
/proc/meminfo: memFree=19258680/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13800 CPUtime=222.27 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 17636 0 0 0 22178 49 0 0 20 0 1 0 74948221 44838912 3450 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3450 504 7861 0 3051 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13800 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18409
/proc/meminfo: memFree=19259428/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13800 CPUtime=282.27 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 18320 0 0 0 28166 61 0 0 20 0 1 0 74948221 44838912 3450 33554432000 4194304 36388972 140735353789024 140735353787864 4356409 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3450 504 7861 0 3051 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13800 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18410
/proc/meminfo: memFree=19259620/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13868 CPUtime=342.27 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 19026 0 0 0 34151 76 0 0 20 0 1 0 74948221 44838912 3467 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3467 504 7861 0 3051 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13868 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18411
/proc/meminfo: memFree=19259692/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13880 CPUtime=402.26 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 19712 0 0 0 40139 87 0 0 20 0 1 0 74948221 44838912 3470 33554432000 4194304 36388972 140735353789024 140735353787864 4356376 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3470 504 7861 0 3051 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13880 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18412
/proc/meminfo: memFree=19259836/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43788 memory=13880 CPUtime=462.26 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 20405 0 0 0 46126 100 0 0 20 0 1 0 74948221 44838912 3470 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10947 3470 504 7861 0 3051 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13880 KiB
################
# More data... #
################
Current children cumulated memory: 14036 KiB
[startup+882.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/191 18427
/proc/meminfo: memFree=19258776/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14036 CPUtime=882.23 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 23644 0 0 0 88046 177 0 0 20 0 1 0 74948221 44986368 3509 33554432000 4194304 36388972 140735353789024 140735353787864 4458226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3509 504 7861 0 3087 0
Current children cumulated CPU time: 882.23 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14036 KiB
[startup+942.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/191 18428
/proc/meminfo: memFree=19259584/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14036 CPUtime=942.23 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 24016 0 0 0 94034 189 0 0 20 0 1 0 74948221 44986368 3509 33554432000 4194304 36388972 140735353789024 140735353787864 6663863 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3509 504 7861 0 3087 0
Current children cumulated CPU time: 942.23 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14036 KiB
[startup+1002.3 s]
/proc/loadavg: 1.96 2.06 2.06 3/191 18489
/proc/meminfo: memFree=19268712/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14036 CPUtime=1002.23 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 24392 0 0 0 100021 202 0 0 20 0 1 0 74948221 44986368 3509 33554432000 4194304 36388972 140735353789024 140735353787864 4356687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3509 504 7861 0 3087 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14036 KiB
[startup+1062.3 s]
/proc/loadavg: 1.99 2.05 2.06 3/190 18490
/proc/meminfo: memFree=19268504/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14048 CPUtime=1062.22 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 24765 0 0 0 106010 212 0 0 20 0 1 0 74948221 44986368 3512 33554432000 4194304 36388972 140735353789024 140735353787864 4356687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3512 504 7861 0 3087 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14048 KiB
[startup+1122.3 s]
/proc/loadavg: 1.95 2.03 2.05 3/189 18552
/proc/meminfo: memFree=19000084/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14060 CPUtime=1122.22 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 25145 0 0 0 111997 225 0 0 20 0 1 0 74948221 44986368 3515 33554432000 4194304 36388972 140735353789024 140735353787864 6663750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3515 504 7861 0 3087 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14060 KiB
[startup+1182.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/190 18554
/proc/meminfo: memFree=18997468/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14060 CPUtime=1182.21 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 25521 0 0 0 117983 238 0 0 20 0 1 0 74948221 44986368 3515 33554432000 4194304 36388972 140735353789024 140735353787864 4458219 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3515 504 7861 0 3087 0
Current children cumulated CPU time: 1182.21 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14060 KiB
[startup+1242.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/190 18555
/proc/meminfo: memFree=18996808/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1242.2 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 25894 0 0 0 123968 252 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4458223 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1269.99 s]
# the end of solver process 18372 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1267.3 s, system=2.59482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 1.99 2.01 2.05 3/190 18555
/proc/meminfo: memFree=18997328/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1254.3 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 25895 0 0 0 125175 255 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4356616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1254.3 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1260.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18555
/proc/meminfo: memFree=18996900/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1260.69 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26263 0 0 0 125813 256 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4626322 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1260.69 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1264 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1263.91 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26263 0 0 0 126134 257 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1263.91 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1267.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1267.1 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26268 0 0 0 126452 258 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4356394 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1267.1 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1268.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1268.7 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26272 0 0 0 126611 259 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 6663750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1268.7 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1269.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1269.5 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26272 0 0 0 126691 259 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4356399 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1269.5 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1269.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1269.7 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26272 0 0 0 126711 259 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4356409 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1269.7 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
[startup+1269.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18556
/proc/meminfo: memFree=18996816/32770624 swapFree=67108860/67108860
[pid=18372] ppid=18369 vsize=43932 memory=14064 CPUtime=1269.8 cores=0,2,4,6
/proc/18372/stat : 18372 (BTD) R 18369 18372 15558 0 -1 4202496 26272 0 0 0 126721 259 0 0 20 0 1 0 74948221 44986368 3516 33554432000 4194304 36388972 140735353789024 140735353787864 4356381 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63352832 140735353791676 140735353791755 140735353791755 140735353794513 0
/proc/18372/statm: 10983 3516 504 7861 0 3087 0
Current children cumulated CPU time: 1269.8 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14064 KiB
Child status: 0
Real time (s): 1269.99
CPU time (s): 1269.9
CPU user time (s): 1267.3
CPU system time (s): 2.59482
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 43932
Max. memory (cumulated for all children) (KiB): 14064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1267.3
system time used= 2.59482
maximum resident set size= 14084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26334
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= 7
involuntary context switches= 2052
# summary of solver processes directly reported to runsolver:
# pid: 18372
# total CPU time (s): 1269.9
# total CPU user time (s): 1267.3
# total CPU system time (s): 2.59482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82749 second user time and 9.23737 second system time
The end