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 (14936 MiB free)
memory of node 1: 16384 MiB (11881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293495-1532348439/watcher-4293495-1532348439 -o /tmp/evaluation-result-4293495-1532348439/solver-4293495-1532348439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532329499-11624 --watchdog 2580 BTD 3 2520 HOME/instance-4293495-1532348439.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
solver pid=14794, runsolver pid=14791
Current StackSize limit: 8192 KiB
[startup+0.100193 s]*
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27457080/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=37816 memory=7636 CPUtime=0.1 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 2061 0 0 0 10 0 0 0 20 0 1 0 52407068 38723584 1909 33554432000 4194304 36388972 140737441179552 140737441171608 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 9454 1909 443 7861 0 1558 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37816 KiB
Current children cumulated memory: 7636 KiB
[startup+0.209552 s]*
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27450400/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=44284 memory=14236 CPUtime=0.2 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 3693 0 0 0 20 0 0 0 20 0 1 0 52407068 45346816 3559 33554432000 4194304 36388972 140737441179552 140737441171608 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 11071 3559 443 7861 0 3175 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 14236 KiB
[startup+0.309387 s]*
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27444572/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=50092 memory=19780 CPUtime=0.3 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 5117 0 0 0 30 0 0 0 20 0 1 0 52407068 51294208 4945 33554432000 4194304 36388972 140737441179552 140737441171608 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 12523 4945 443 7861 0 4627 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50092 KiB
Current children cumulated memory: 19780 KiB
[startup+0.700259 s]
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27433784/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=70816 memory=40636 CPUtime=0.69 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 10306 0 0 0 68 1 0 0 20 0 1 0 52407068 72515584 10159 33554432000 4194304 36388972 140737441179552 140737441171608 7403414 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 17704 10159 443 7861 0 9808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70816 KiB
Current children cumulated memory: 40636 KiB
[startup+1.50024 s]
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27408240/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99440 memory=68884 CPUtime=1.48 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 17393 0 0 0 145 3 0 0 20 0 1 0 52407068 101826560 17221 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24860 17221 497 7861 0 16964 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 68884 KiB
[startup+3.10898 s]
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27395096/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99440 memory=69080 CPUtime=3.09 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 21393 0 0 0 303 6 0 0 20 0 1 0 52407068 101826560 17270 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24860 17270 506 7861 0 16964 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 69080 KiB
[startup+6.3002 s]
/proc/loadavg: 2.01 2.11 2.11 3/188 14795
/proc/meminfo: memFree=27394404/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99440 memory=69080 CPUtime=6.28 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 37211 0 0 0 615 13 0 0 20 0 1 0 52407068 101826560 17270 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24860 17270 506 7861 0 16964 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 69080 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.10 2.11 3/188 14795
/proc/meminfo: memFree=27394300/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99440 memory=69080 CPUtime=12.68 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 47046 0 0 0 1248 20 0 0 20 0 1 0 52407068 101826560 17270 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24860 17270 506 7861 0 16964 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 69080 KiB
[startup+25.5089 s]
/proc/loadavg: 2.00 2.10 2.11 3/188 14795
/proc/meminfo: memFree=27394424/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99572 memory=69112 CPUtime=25.48 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 60978 0 0 0 2512 36 0 0 20 0 1 0 52407068 101961728 17278 33554432000 4194304 36388972 140737441179552 140737441178392 4391293 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24893 17278 506 7861 0 16997 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 69112 KiB
[startup+51.1002 s]
/proc/loadavg: 2.00 2.09 2.11 3/188 14795
/proc/meminfo: memFree=27393604/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99572 memory=69144 CPUtime=51.07 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 75676 0 0 0 5042 65 0 0 20 0 1 0 52407068 101961728 17286 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24893 17286 506 7861 0 16997 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 69144 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/188 14796
/proc/meminfo: memFree=27394028/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99572 memory=69532 CPUtime=102.24 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 77825 0 0 0 10095 129 0 0 20 0 1 0 52407068 101961728 17383 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24893 17383 506 7861 0 16997 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 69532 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/188 14797
/proc/meminfo: memFree=27394144/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99572 memory=69556 CPUtime=162.24 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 77986 0 0 0 16022 202 0 0 20 0 1 0 52407068 101961728 17389 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24893 17389 506 7861 0 16997 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 69556 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/188 14798
/proc/meminfo: memFree=27394400/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99572 memory=69576 CPUtime=222.23 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 78130 0 0 0 21944 279 0 0 20 0 1 0 52407068 101961728 17394 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24893 17394 506 7861 0 16997 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 69576 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 14800
/proc/meminfo: memFree=27395044/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69592 CPUtime=282.23 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 78322 0 0 0 27862 361 0 0 20 0 1 0 52407068 102096896 17398 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17398 506 7861 0 17030 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69592 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 14801
/proc/meminfo: memFree=27394648/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69608 CPUtime=342.22 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 78500 0 0 0 33789 433 0 0 20 0 1 0 52407068 102096896 17402 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17402 506 7861 0 17030 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69608 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 14802
/proc/meminfo: memFree=27395036/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69628 CPUtime=402.22 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 78663 0 0 0 39711 511 0 0 20 0 1 0 52407068 102096896 17407 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17407 506 7861 0 17030 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69628 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/187 14804
/proc/meminfo: memFree=27395428/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69628 CPUtime=462.21 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 78841 0 0 0 45632 589 0 0 20 0 1 0 52407068 102096896 17407 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17407 506 7861 0 17030 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69628 KiB
################
# More data... #
################
Current children cumulated memory: 69652 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14816
/proc/meminfo: memFree=27395332/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69660 CPUtime=702.19 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 79537 0 0 0 69319 900 0 0 20 0 1 0 52407068 102096896 17415 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17415 506 7861 0 17030 0
Current children cumulated CPU time: 702.19 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69660 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14817
/proc/meminfo: memFree=27395336/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69664 CPUtime=762.2 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 79704 0 0 0 75235 985 0 0 20 0 1 0 52407068 102096896 17416 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17416 506 7861 0 17030 0
Current children cumulated CPU time: 762.2 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69664 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14818
/proc/meminfo: memFree=27394844/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69672 CPUtime=822.18 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 79884 0 0 0 81159 1059 0 0 20 0 1 0 52407068 102096896 17418 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17418 506 7861 0 17030 0
Current children cumulated CPU time: 822.18 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69672 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14819
/proc/meminfo: memFree=27394864/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69684 CPUtime=882.18 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80055 0 0 0 87080 1138 0 0 20 0 1 0 52407068 102096896 17421 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17421 506 7861 0 17030 0
Current children cumulated CPU time: 882.18 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69684 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14820
/proc/meminfo: memFree=27395116/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69688 CPUtime=942.17 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80230 0 0 0 93002 1215 0 0 20 0 1 0 52407068 102096896 17422 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17422 506 7861 0 17030 0
Current children cumulated CPU time: 942.17 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69688 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14821
/proc/meminfo: memFree=27394996/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69692 CPUtime=1002.18 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80401 0 0 0 98924 1294 0 0 20 0 1 0 52407068 102096896 17423 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17423 506 7861 0 17030 0
Current children cumulated CPU time: 1002.18 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69692 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14822
/proc/meminfo: memFree=27394628/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69692 CPUtime=1062.17 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80571 0 0 0 104842 1375 0 0 20 0 1 0 52407068 102096896 17423 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17423 506 7861 0 17030 0
Current children cumulated CPU time: 1062.17 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69692 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14823
/proc/meminfo: memFree=27394884/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69696 CPUtime=1122.16 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80739 0 0 0 110763 1453 0 0 20 0 1 0 52407068 102096896 17424 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17424 506 7861 0 17030 0
Current children cumulated CPU time: 1122.16 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69696 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330468/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1182.15 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80909 0 0 0 116679 1536 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 4658280 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1182.15 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1199.22 s]
# the end of solver process 14794 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1183.47 s, system=15.6177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330460/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1190.66 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80910 0 0 0 117518 1548 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1190.66 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1194 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330320/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1193.86 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80910 0 0 0 117833 1553 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1193.86 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1197.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330320/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1197.06 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 80910 0 0 0 118148 1558 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1197.06 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1198 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330320/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1197.86 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 81071 0 0 0 118227 1559 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1197.86 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1198.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330320/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1198.65 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 81077 0 0 0 118305 1560 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1198.65 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
[startup+1199.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14892
/proc/meminfo: memFree=27330320/32770624 swapFree=67108860/67108860
[pid=14794] ppid=14791 vsize=99704 memory=69700 CPUtime=1199.06 cores=0,2,4,6
/proc/14794/stat : 14794 (BTD) R 14791 14794 11593 0 -1 4202496 81077 0 0 0 118345 1561 0 0 20 0 1 0 52407068 102096896 17425 33554432000 4194304 36388972 140737441179552 140737441178392 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 61890560 140737441187005 140737441187083 140737441187083 140737441189841 0
/proc/14794/statm: 24926 17425 506 7861 0 17030 0
Current children cumulated CPU time: 1199.06 s
Current children cumulated vsize: 99704 KiB
Current children cumulated memory: 69700 KiB
Child status: 0
Real time (s): 1199.22
CPU time (s): 1199.08
CPU user time (s): 1183.47
CPU system time (s): 15.6177
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 99704
Max. memory (cumulated for all children) (KiB): 69700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1183.47
system time used= 15.6177
maximum resident set size= 69700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81281
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= 33
involuntary context switches= 1546
# summary of solver processes directly reported to runsolver:
# pid: 14794
# total CPU time (s): 1199.08
# total CPU user time (s): 1183.47
# total CPU system time (s): 15.6177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28996 second user time and 7.58883 second system time
The end