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 (6906 MiB free)
memory of node 1: 16384 MiB (10420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306164-1534089583/watcher-4306164-1534089583 -o /tmp/evaluation-result-4306164-1534089583/solver-4306164-1534089583 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534061337-31611 --watchdog 2580 BTD 12 2520 HOME/instance-4306164-1534089583.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=6447, runsolver pid=6444
[startup+0.100199 s]*
/proc/loadavg: 2.14 2.05 2.06 3/190 6448
/proc/meminfo: memFree=17731636/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=42836 memory=12916 CPUtime=0.1 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 3363 0 0 0 10 0 0 0 20 0 1 0 226521542 43864064 3229 33554432000 4194304 36388936 140721229614512 140721229614512 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10709 3229 492 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.209933 s]*
/proc/loadavg: 2.14 2.05 2.06 3/190 6448
/proc/meminfo: memFree=17731636/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=42968 memory=12916 CPUtime=0.21 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 3401 0 0 0 21 0 0 0 20 0 1 0 226521542 43999232 3229 33554432000 4194304 36388936 140721229614512 140721229614512 4585247 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10742 3229 492 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.309688 s]*
/proc/loadavg: 2.14 2.05 2.06 3/190 6448
/proc/meminfo: memFree=17731568/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43104 memory=12916 CPUtime=0.31 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 3416 0 0 0 31 0 0 0 20 0 1 0 226521542 44138496 3229 33554432000 4194304 36388936 140721229614512 140721229613352 4585367 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10776 3229 492 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.700401 s]
/proc/loadavg: 2.14 2.05 2.06 3/190 6448
/proc/meminfo: memFree=17731744/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43104 memory=13180 CPUtime=0.69 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 3447 0 0 0 69 0 0 0 20 0 1 0 226521542 44138496 3295 33554432000 4194304 36388936 140721229614512 140721229613352 4230648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10776 3295 505 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.14 2.05 2.06 3/190 6448
/proc/meminfo: memFree=17731480/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43236 memory=13180 CPUtime=1.49 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 3475 0 0 0 149 0 0 0 20 0 1 0 226521542 44273664 3295 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10809 3295 505 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.10965 s]
/proc/loadavg: 2.13 2.05 2.05 3/190 6448
/proc/meminfo: memFree=17731428/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43372 memory=13512 CPUtime=3.1 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 6132 0 0 0 309 1 0 0 20 0 1 0 226521542 44412928 3378 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10843 3378 505 7861 0 2947 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43372 KiB
Current children cumulated memory: 13512 KiB
[startup+6.30036 s]
/proc/loadavg: 2.13 2.05 2.05 3/190 6448
/proc/meminfo: memFree=17731724/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43508 memory=13592 CPUtime=6.29 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 8822 0 0 0 627 2 0 0 20 0 1 0 226521542 44552192 3398 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10877 3398 505 7861 0 2981 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 13592 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/191 6449
/proc/meminfo: memFree=17730964/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43508 memory=13680 CPUtime=12.69 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 10566 0 0 0 1266 3 0 0 20 0 1 0 226521542 44552192 3420 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10877 3420 505 7861 0 2981 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 13680 KiB
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 2.05 3/191 6456
/proc/meminfo: memFree=17729764/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43644 memory=13772 CPUtime=25.48 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 12635 0 0 0 2542 6 0 0 20 0 1 0 226521542 44691456 3443 33554432000 4194304 36388936 140721229614512 140721229613352 4587819 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10911 3443 505 7861 0 3015 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 13772 KiB
[startup+51.1097 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6456
/proc/meminfo: memFree=17729764/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43644 memory=13772 CPUtime=51.1 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 13022 0 0 0 5098 12 0 0 20 0 1 0 226521542 44691456 3443 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10911 3443 505 7861 0 3015 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 13772 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 6480
/proc/meminfo: memFree=17729700/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13828 CPUtime=102.29 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 13417 0 0 0 10206 23 0 0 20 0 1 0 226521542 44838912 3457 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3457 505 7861 0 3051 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13828 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 6481
/proc/meminfo: memFree=17730072/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13840 CPUtime=162.29 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 13775 0 0 0 16194 35 0 0 20 0 1 0 226521542 44838912 3460 33554432000 4194304 36388936 140721229614512 140721229613352 4420665 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3460 505 7861 0 3051 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13840 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 6482
/proc/meminfo: memFree=17730724/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13848 CPUtime=222.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 14142 0 0 0 22182 46 0 0 20 0 1 0 226521542 44838912 3462 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3462 507 7861 0 3051 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13848 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 6483
/proc/meminfo: memFree=17730920/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13900 CPUtime=282.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 14511 0 0 0 28168 60 0 0 20 0 1 0 226521542 44838912 3475 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3475 507 7861 0 3051 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13900 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6484
/proc/meminfo: memFree=17731376/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13924 CPUtime=342.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 14891 0 0 0 34157 71 0 0 20 0 1 0 226521542 44838912 3481 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3481 507 7861 0 3051 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13924 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6485
/proc/meminfo: memFree=17730836/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13924 CPUtime=402.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 15254 0 0 0 40144 84 0 0 20 0 1 0 226521542 44838912 3481 33554432000 4194304 36388936 140721229614512 140721229613352 4575106 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3481 507 7861 0 3051 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13924 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6486
/proc/meminfo: memFree=17731400/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43788 memory=13924 CPUtime=462.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 15622 0 0 0 46131 97 0 0 20 0 1 0 226521542 44838912 3481 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10947 3481 507 7861 0 3051 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 13924 KiB
################
# More data... #
################
Current children cumulated memory: 13936 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6498
/proc/meminfo: memFree=17730428/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=13996 CPUtime=702.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 17106 0 0 0 70086 142 0 0 20 0 1 0 226521542 44986368 3499 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3499 507 7861 0 3087 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 13996 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6499
/proc/meminfo: memFree=17730452/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=13996 CPUtime=762.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 17483 0 0 0 76072 156 0 0 20 0 1 0 226521542 44986368 3499 33554432000 4194304 36388936 140721229614512 140721229613352 4585247 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3499 507 7861 0 3087 0
Current children cumulated CPU time: 762.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 13996 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6500
/proc/meminfo: memFree=17729916/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=13996 CPUtime=822.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 17839 0 0 0 82061 167 0 0 20 0 1 0 226521542 44986368 3499 33554432000 4194304 36388936 140721229614512 140721229613352 4585247 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3499 507 7861 0 3087 0
Current children cumulated CPU time: 822.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 13996 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6501
/proc/meminfo: memFree=17729912/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=13996 CPUtime=882.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 18214 0 0 0 88050 178 0 0 20 0 1 0 226521542 44986368 3499 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3499 507 7861 0 3087 0
Current children cumulated CPU time: 882.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 13996 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6502
/proc/meminfo: memFree=17730152/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=13996 CPUtime=942.27 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 18589 0 0 0 94035 192 0 0 20 0 1 0 226521542 44986368 3499 33554432000 4194304 36388936 140721229614512 140721229613352 4420413 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3499 507 7861 0 3087 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 13996 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6503
/proc/meminfo: memFree=17730284/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14008 CPUtime=1002.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 18968 0 0 0 100022 206 0 0 20 0 1 0 226521542 44986368 3502 33554432000 4194304 36388936 140721229614512 140721229613352 4585247 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3502 507 7861 0 3087 0
Current children cumulated CPU time: 1002.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14008 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6505
/proc/meminfo: memFree=17730732/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14008 CPUtime=1062.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 19349 0 0 0 106012 216 0 0 20 0 1 0 226521542 44986368 3502 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3502 507 7861 0 3087 0
Current children cumulated CPU time: 1062.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14008 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6506
/proc/meminfo: memFree=17730484/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14020 CPUtime=1122.28 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 19722 0 0 0 111999 229 0 0 20 0 1 0 226521542 44986368 3505 33554432000 4194304 36388936 140721229614512 140721229613352 4420665 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3505 507 7861 0 3087 0
Current children cumulated CPU time: 1122.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14020 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6508
/proc/meminfo: memFree=17730300/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14020 CPUtime=1182.27 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20092 0 0 0 117985 242 0 0 20 0 1 0 226521542 44986368 3505 33554432000 4194304 36388936 140721229614512 140721229613352 4598870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3505 507 7861 0 3087 0
Current children cumulated CPU time: 1182.27 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14020 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1242.27 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20468 0 0 0 123972 255 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1242.27 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
[startup+1247.17 s]
# the end of solver process 6447 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1244.58 s, system=2.56898 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1244.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1244.78 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20470 0 0 0 124222 256 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1244.78 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
[startup+1246.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1246.37 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20474 0 0 0 124381 256 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 4585250 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1246.37 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
[startup+1246.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1246.77 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20474 0 0 0 124421 256 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 6663845 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1246.77 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
[startup+1247 s]*
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1246.98 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20474 0 0 0 124442 256 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1246.98 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
[startup+1247.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 6517
/proc/meminfo: memFree=17729820/32770624 swapFree=67108860/67108860
[pid=6447] ppid=6444 vsize=43932 memory=14024 CPUtime=1247.08 cores=0,2,4,6
/proc/6447/stat : 6447 (BTD) R 6444 6447 31580 0 -1 4202496 20474 0 0 0 124452 256 0 0 20 0 1 0 226521542 44986368 3506 33554432000 4194304 36388936 140721229614512 140721229613352 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62636032 140721229620412 140721229620491 140721229620491 140721229623249 0
/proc/6447/statm: 10983 3506 507 7861 0 3087 0
Current children cumulated CPU time: 1247.08 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 14024 KiB
Child status: 0
Real time (s): 1247.17
CPU time (s): 1247.15
CPU user time (s): 1244.58
CPU system time (s): 2.56898
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 43932
Max. memory (cumulated for all children) (KiB): 14024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1244.58
system time used= 2.56898
maximum resident set size= 14024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20497
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= 445
# summary of solver processes directly reported to runsolver:
# pid: 6447
# total CPU time (s): 1247.15
# total CPU user time (s): 1244.58
# total CPU system time (s): 2.56898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65362 second user time and 8.84156 second system time
The end