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 (8460 MiB free)
memory of node 1: 16384 MiB (11529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299509-1532806964/watcher-4299509-1532806964 -o /tmp/evaluation-result-4299509-1532806964/solver-4299509-1532806964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299509-1532806964.xml
running on 4 cores: 1,3,5,7
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=15098, runsolver pid=15095
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469796/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3668 CPUtime=0.1 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1110 0 0 0 10 0 0 0 20 0 1 0 98259578 27947008 917 33554432000 4194304 6142532 140724986191808 140724986188440 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 917 804 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB
[startup+0.20936 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469796/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3668 CPUtime=0.21 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1110 0 0 0 21 0 0 0 20 0 1 0 98259578 27947008 917 33554432000 4194304 6142532 140724986191808 140724986188440 5319096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 917 804 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB
[startup+0.309006 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469796/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3668 CPUtime=0.31 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1110 0 0 0 31 0 0 0 20 0 1 0 98259578 27947008 917 33554432000 4194304 6142532 140724986191808 140724986189208 5013961 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 917 804 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469664/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3668 CPUtime=0.69 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1110 0 0 0 69 0 0 0 20 0 1 0 98259578 27947008 917 33554432000 4194304 6142532 140724986191808 140724986189208 5336528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 917 804 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469664/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3668 CPUtime=1.49 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1110 0 0 0 149 0 0 0 20 0 1 0 98259578 27947008 917 33554432000 4194304 6142532 140724986191808 140724986189208 5347455 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 917 804 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB
[startup+3.10901 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469668/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=3.1 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1172 0 0 0 310 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5319106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469924/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=6.29 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1237 0 0 0 629 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5326325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15099
/proc/meminfo: memFree=20469924/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=12.69 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1300 0 0 0 1269 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465720/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=25.49 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1426 0 0 0 2549 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5170056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+51.109 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 15160
/proc/meminfo: memFree=20465720/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=51.1 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1489 0 0 0 5110 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5017820 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 15161
/proc/meminfo: memFree=20465656/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=102.3 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1552 0 0 0 10230 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 15162
/proc/meminfo: memFree=20465624/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=162.3 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1615 0 0 0 16230 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15163
/proc/meminfo: memFree=20465748/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=222.31 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1678 0 0 0 22231 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15164
/proc/meminfo: memFree=20465872/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=282.31 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1678 0 0 0 28231 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15165
/proc/meminfo: memFree=20465368/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=342.31 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1741 0 0 0 34231 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15166
/proc/meminfo: memFree=20465816/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=402.32 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1741 0 0 0 40232 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5017553 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15175
/proc/meminfo: memFree=20465064/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=462.32 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1804 0 0 0 46232 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 4991296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
################
# More data... #
################
Current children cumulated memory: 3812 KiB
[startup+642.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 15178
/proc/meminfo: memFree=20466028/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=642.34 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1867 0 0 0 64234 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 642.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+702.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 15179
/proc/meminfo: memFree=20465532/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=702.34 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1917 0 0 0 70234 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 702.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15181
/proc/meminfo: memFree=20465132/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=762.34 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1930 0 0 0 76234 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 762.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15182
/proc/meminfo: memFree=20465116/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=822.35 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1993 0 0 0 82235 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5018020 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 822.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15183
/proc/meminfo: memFree=20465120/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=882.35 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 1993 0 0 0 88235 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 882.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15185
/proc/meminfo: memFree=20465476/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=942.36 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2056 0 0 0 94236 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5017487 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 942.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15186
/proc/meminfo: memFree=20465492/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1002.36 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2056 0 0 0 100236 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1002.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15194
/proc/meminfo: memFree=20464980/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1062.36 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 106236 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5335802 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1062.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1122.37 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 112237 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1122.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1137.04 s]
# the end of solver process 15098 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1137.12 s, system=0.005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1126.47 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 112647 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5170365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1126.47 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1132.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1132.87 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 113287 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5318976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1132.87 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1134.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1134.47 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 113447 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1134.47 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1136 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1136.08 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2119 0 0 0 113608 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1136.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1136.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1136.87 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2169 0 0 0 113687 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5018340 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1136.87 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
[startup+1137 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 15218
/proc/meminfo: memFree=20464108/32770624 swapFree=67108860/67108860
[pid=15098] ppid=15095 vsize=27292 memory=3812 CPUtime=1137.08 cores=1,3,5,7
/proc/15098/stat : 15098 (cosoco) R 15095 15098 11466 0 -1 4202496 2169 0 0 0 113708 0 0 0 20 0 1 0 98259578 27947008 953 33554432000 4194304 6142532 140724986191808 140724986189208 5318990 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36126720 140724986193030 140724986193160 140724986193160 140724986195918 0
/proc/15098/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1137.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB
Child status: 0
Real time (s): 1137.04
CPU time (s): 1137.12
CPU user time (s): 1137.12
CPU system time (s): 0.005
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1137.12
system time used= 0.005
maximum resident set size= 3880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2218
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= 6
involuntary context switches= 297
# summary of solver processes directly reported to runsolver:
# pid: 15098
# total CPU time (s): 1137.12
# total CPU user time (s): 1137.12
# total CPU system time (s): 0.005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38893 second user time and 7.8378 second system time
The end