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 (13232 MiB free)
memory of node 1: 16384 MiB (14181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300843-1532845677/watcher-4300843-1532845677 -o /tmp/evaluation-result-4300843-1532845677/solver-4300843-1532845677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532843156-14541 --watchdog 2580 minimacht 2520 HOME/instance-4300843-1532845677.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=14800, runsolver pid=14797
[startup+0.100111 s]*
/proc/loadavg: 2.98 2.26 2.04 4/191 14801
/proc/meminfo: memFree=28049696/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=38412 memory=14548 CPUtime=0.1 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 3858 0 0 0 10 0 0 0 20 0 1 0 102130905 39333888 3637 33554432000 4194304 5224576 140735138027072 140735138024072 139660299918309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 9603 3637 587 252 0 3149 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 14548 KiB
[startup+0.209585 s]*
/proc/loadavg: 2.90 2.26 2.04 4/191 14801
/proc/meminfo: memFree=28034444/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=46236 memory=22468 CPUtime=0.21 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 5824 0 0 0 21 0 0 0 20 0 1 0 102130905 47345664 5617 33554432000 4194304 5224576 140735138027072 140735138024072 139660299918309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 11559 5617 587 252 0 5105 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46236 KiB
Current children cumulated memory: 22468 KiB
[startup+0.309639 s]*
/proc/loadavg: 2.90 2.26 2.04 4/191 14801
/proc/meminfo: memFree=28022044/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=52440 memory=28804 CPUtime=0.3 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 7381 0 0 0 30 0 0 0 20 0 1 0 102130905 53698560 7201 33554432000 4194304 5224576 140735138027072 140735138024072 139660299918309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 13110 7201 587 252 0 6656 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52440 KiB
Current children cumulated memory: 28804 KiB
[startup+0.700274 s]
/proc/loadavg: 2.90 2.26 2.04 5/191 14801
/proc/meminfo: memFree=28005924/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=61992 memory=38044 CPUtime=0.69 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 9674 0 0 0 68 1 0 0 20 0 1 0 102130905 63479808 9511 33554432000 4194304 5224576 140735138027072 140735138020776 4463472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15498 9511 636 252 0 9044 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61992 KiB
Current children cumulated memory: 38044 KiB
[startup+1.50025 s]
/proc/loadavg: 2.90 2.26 2.04 4/191 14801
/proc/meminfo: memFree=28003796/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62124 memory=38044 CPUtime=1.49 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 9695 0 0 0 148 1 0 0 20 0 1 0 102130905 63614976 9511 33554432000 4194304 5224576 140735138027072 140735138020776 4634181 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15531 9511 636 252 0 9077 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62124 KiB
Current children cumulated memory: 38044 KiB
[startup+3.10956 s]
/proc/loadavg: 2.90 2.26 2.04 4/191 14801
/proc/meminfo: memFree=28003796/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62124 memory=38152 CPUtime=3.1 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 16001 0 0 0 309 1 0 0 20 0 1 0 102130905 63614976 9538 33554432000 4194304 5224576 140735138027072 140735138020776 4463486 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15531 9538 636 252 0 9077 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 62124 KiB
Current children cumulated memory: 38152 KiB
[startup+6.30024 s]
/proc/loadavg: 2.83 2.25 2.04 4/191 14802
/proc/meminfo: memFree=28002264/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62256 memory=38164 CPUtime=6.29 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 22329 0 0 0 627 2 0 0 20 0 1 0 102130905 63750144 9541 33554432000 4194304 5224576 140735138027072 140735138020776 4463055 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15564 9541 636 252 0 9110 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 38164 KiB
[startup+12.7002 s]
/proc/loadavg: 2.76 2.25 2.04 4/191 14802
/proc/meminfo: memFree=28002456/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62256 memory=38220 CPUtime=12.69 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 28662 0 0 0 1266 3 0 0 20 0 1 0 102130905 63750144 9555 33554432000 4194304 5224576 140735138027072 140735138020776 4232656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15564 9555 637 252 0 9110 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 38220 KiB
[startup+25.5002 s]
/proc/loadavg: 2.64 2.24 2.04 4/191 14802
/proc/meminfo: memFree=28002156/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62256 memory=38328 CPUtime=25.49 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 40869 0 0 0 2542 7 0 0 20 0 1 0 102130905 63750144 9582 33554432000 4194304 5224576 140735138027072 140735138020776 4463486 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15564 9582 637 252 0 9110 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 38328 KiB
[startup+51.1094 s]
/proc/loadavg: 2.39 2.22 2.04 4/191 14802
/proc/meminfo: memFree=28001816/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62388 memory=38392 CPUtime=51.08 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 41331 0 0 0 5096 12 0 0 20 0 1 0 102130905 63885312 9598 33554432000 4194304 5224576 140735138027072 140735138020776 4471723 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15597 9598 637 252 0 9143 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 38392 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.15 2.03 3/191 15108
/proc/meminfo: memFree=28000368/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62388 memory=38432 CPUtime=102.28 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 41789 0 0 0 10204 24 0 0 20 0 1 0 102130905 63885312 9608 33554432000 4194304 5224576 140735138027072 140735138020776 4463481 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15597 9608 637 252 0 9143 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 38432 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.13 2.03 3/192 15117
/proc/meminfo: memFree=27998608/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62388 memory=38460 CPUtime=162.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 42240 0 0 0 16193 34 0 0 20 0 1 0 102130905 63885312 9615 33554432000 4194304 5224576 140735138027072 140735138020776 4463481 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15597 9615 639 252 0 9143 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 38460 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.10 2.03 3/192 15118
/proc/meminfo: memFree=27998848/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38492 CPUtime=222.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 42699 0 0 0 22181 46 0 0 20 0 1 0 102130905 64020480 9623 33554432000 4194304 5224576 140735138027072 140735138020776 4463051 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9623 639 252 0 9176 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.08 2.03 3/191 15119
/proc/meminfo: memFree=27998724/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38504 CPUtime=282.28 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 43155 0 0 0 28169 59 0 0 20 0 1 0 102130905 64020480 9626 33554432000 4194304 5224576 140735138027072 140735138020776 4463472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9626 639 252 0 9176 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38504 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.03 3/191 15120
/proc/meminfo: memFree=27998592/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38516 CPUtime=342.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 43619 0 0 0 34157 70 0 0 20 0 1 0 102130905 64020480 9629 33554432000 4194304 5224576 140735138027072 140735138020776 4463390 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9629 639 252 0 9176 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38516 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/192 15122
/proc/meminfo: memFree=27998684/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38532 CPUtime=402.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 44088 0 0 0 40144 83 0 0 20 0 1 0 102130905 64020480 9633 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9633 639 252 0 9176 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38532 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/192 15306
/proc/meminfo: memFree=27995064/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38912 CPUtime=462.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 44550 0 0 0 46131 96 0 0 20 0 1 0 102130905 64020480 9728 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9728 639 252 0 9176 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38912 KiB
################
# More data... #
################
Current children cumulated memory: 38948 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15321
/proc/meminfo: memFree=27995488/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38952 CPUtime=882.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 46209 0 0 0 88048 179 0 0 20 0 1 0 102130905 64020480 9738 33554432000 4194304 5224576 140735138027072 140735138020776 4560803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9738 639 252 0 9176 0
Current children cumulated CPU time: 882.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38952 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15322
/proc/meminfo: memFree=27995116/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38956 CPUtime=942.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 46449 0 0 0 94035 192 0 0 20 0 1 0 102130905 64020480 9739 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9739 639 252 0 9176 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38956 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15324
/proc/meminfo: memFree=27995636/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38956 CPUtime=1002.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 46691 0 0 0 100026 201 0 0 20 0 1 0 102130905 64020480 9739 33554432000 4194304 5224576 140735138027072 140735138020776 4463472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9739 639 252 0 9176 0
Current children cumulated CPU time: 1002.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38956 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15325
/proc/meminfo: memFree=27996020/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38960 CPUtime=1062.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 46933 0 0 0 106013 214 0 0 20 0 1 0 102130905 64020480 9740 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9740 639 252 0 9176 0
Current children cumulated CPU time: 1062.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38960 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15326
/proc/meminfo: memFree=27996464/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38964 CPUtime=1122.26 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 47183 0 0 0 112002 224 0 0 20 0 1 0 102130905 64020480 9741 33554432000 4194304 5224576 140735138027072 140735138020776 139660300181884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9741 639 252 0 9176 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38964 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15327
/proc/meminfo: memFree=27994904/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38968 CPUtime=1182.27 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 47429 0 0 0 117989 238 0 0 20 0 1 0 102130905 64020480 9742 33554432000 4194304 5224576 140735138027072 140735138020776 4463465 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9742 639 252 0 9176 0
Current children cumulated CPU time: 1182.27 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38968 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15328
/proc/meminfo: memFree=27994888/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38968 CPUtime=1242.26 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 47678 0 0 0 123979 247 0 0 20 0 1 0 102130905 64020480 9742 33554432000 4194304 5224576 140735138027072 140735138020776 4463486 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9742 639 252 0 9176 0
Current children cumulated CPU time: 1242.26 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38968 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15329
/proc/meminfo: memFree=27995052/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38980 CPUtime=1302.26 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 47926 0 0 0 129970 256 0 0 20 0 1 0 102130905 64020480 9745 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9745 639 252 0 9176 0
Current children cumulated CPU time: 1302.26 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38980 KiB
[startup+1326.29 s]
# the end of solver process 14800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1323.65 s, system=2.61096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15329
/proc/meminfo: memFree=27995052/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38980 CPUtime=1305.56 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 47926 0 0 0 130300 256 0 0 20 0 1 0 102130905 64020480 9745 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9745 639 252 0 9176 0
Current children cumulated CPU time: 1305.56 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38980 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15329
/proc/meminfo: memFree=27995052/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1318.36 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48170 0 0 0 131577 259 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 4463472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1318.36 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
[startup+1321.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15330
/proc/meminfo: memFree=27995052/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1321.56 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48173 0 0 0 131897 259 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 4463486 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1321.56 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
[startup+1324.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15330
/proc/meminfo: memFree=27995052/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1324.76 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48175 0 0 0 132216 260 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 4463040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1324.76 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
[startup+1325.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15338
/proc/meminfo: memFree=27994932/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1325.56 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48175 0 0 0 132296 260 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 4463296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1325.56 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
[startup+1326 s]*
/proc/loadavg: 2.00 2.01 2.04 3/191 15338
/proc/meminfo: memFree=27995032/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1325.96 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48175 0 0 0 132336 260 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 4463484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1325.96 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
[startup+1326.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15338
/proc/meminfo: memFree=27995032/32770624 swapFree=67108744/67108860
[pid=14800] ppid=14797 vsize=62520 memory=38996 CPUtime=1326.16 cores=0,2,4,6
/proc/14800/stat : 14800 (minimacht) R 14797 14800 14510 0 -1 4202496 48175 0 0 0 132356 260 0 0 20 0 1 0 102130905 64020480 9749 33554432000 4194304 5224576 140735138027072 140735138020776 139660300181884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 22208512 140735138030771 140735138030853 140735138030853 140735138033611 0
/proc/14800/statm: 15630 9749 642 252 0 9176 0
Current children cumulated CPU time: 1326.16 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 38996 KiB
Child status: 0
Real time (s): 1326.29
CPU time (s): 1326.26
CPU user time (s): 1323.65
CPU system time (s): 2.61096
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 62520
Max. memory (cumulated for all children) (KiB): 38996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1323.65
system time used= 2.61096
maximum resident set size= 38996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48222
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= 22
involuntary context switches= 475
# summary of solver processes directly reported to runsolver:
# pid: 14800
# total CPU time (s): 1326.26
# total CPU user time (s): 1323.65
# total CPU system time (s): 2.61096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83655 second user time and 8.68189 second system time
The end