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 (12850 MiB free)
memory of node 1: 16384 MiB (13109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394703-1568335607/watcher-4394703-1568335607 -o /tmp/evaluation-result-4394703-1568335607/solver-4394703-1568335607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394703-1568335607.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=24334, runsolver pid=24331
[startup+0.10017 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26577484/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=33936 memory=10736 CPUtime=0.1 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 2848 0 0 0 10 0 0 0 20 0 1 0 409808072 34750464 2684 33554432000 4194304 6210612 140727826357600 140727826354136 5148208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8484 2684 901 493 0 1789 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33936 KiB
Current children cumulated memory: 10736 KiB
[startup+0.209839 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26575252/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=34860 memory=11528 CPUtime=0.21 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 3080 0 0 0 21 0 0 0 20 0 1 0 409808072 35696640 2882 33554432000 4194304 6210612 140727826357600 140727826354136 5409305 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8715 2882 905 493 0 2020 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34860 KiB
Current children cumulated memory: 11528 KiB
[startup+0.309331 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26574880/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11792 CPUtime=0.31 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 3116 0 0 0 31 0 0 0 20 0 1 0 409808072 35966976 2948 33554432000 4194304 6210612 140727826357600 140727826354136 5034872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2948 905 493 0 2086 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11792 KiB
[startup+0.700333 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26574880/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11792 CPUtime=0.69 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 3116 0 0 0 69 0 0 0 20 0 1 0 409808072 35966976 2948 33554432000 4194304 6210612 140727826357600 140727826354136 5038777 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2948 905 493 0 2086 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11792 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26574864/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11792 CPUtime=1.49 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 3116 0 0 0 149 0 0 0 20 0 1 0 409808072 35966976 2948 33554432000 4194304 6210612 140727826357600 140727826355000 5389229 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2948 905 493 0 2086 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11792 KiB
[startup+3.10964 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 24335
/proc/meminfo: memFree=26572748/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11816 CPUtime=3.1 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 4865 0 0 0 310 0 0 0 20 0 1 0 409808072 35966976 2954 33554432000 4194304 6210612 140727826357600 140727826355000 5079164 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2954 905 493 0 2086 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11816 KiB
[startup+6.30033 s]
/proc/loadavg: 1.84 2.03 2.05 3/199 24335
/proc/meminfo: memFree=26573028/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11816 CPUtime=6.29 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 6604 0 0 0 629 0 0 0 20 0 1 0 409808072 35966976 2954 33554432000 4194304 6210612 140727826357600 140727826355000 5148640 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2954 905 493 0 2086 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11816 KiB
[startup+12.7003 s]
/proc/loadavg: 1.78 2.01 2.05 3/200 24337
/proc/meminfo: memFree=26572696/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11816 CPUtime=12.69 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 8359 0 0 0 1269 0 0 0 20 0 1 0 409808072 35966976 2954 33554432000 4194304 6210612 140727826357600 140727826355000 5150744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2954 905 493 0 2086 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11816 KiB
[startup+25.5003 s]
/proc/loadavg: 1.91 2.03 2.05 3/199 24337
/proc/meminfo: memFree=26571704/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11816 CPUtime=25.49 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 11859 0 0 0 2549 0 0 0 20 0 1 0 409808072 35966976 2954 33554432000 4194304 6210612 140727826357600 140727826355000 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2954 905 493 0 2086 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11816 KiB
[startup+51.1094 s]
/proc/loadavg: 1.94 2.02 2.05 3/199 24338
/proc/meminfo: memFree=26568900/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11816 CPUtime=51.09 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 13608 0 0 0 5109 0 0 0 20 0 1 0 409808072 35966976 2954 33554432000 4194304 6210612 140727826357600 140727826355000 5192880 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2954 905 493 0 2086 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11816 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.02 2.05 3/200 24343
/proc/meminfo: memFree=26562416/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=102.28 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 15368 0 0 0 10228 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5397227 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/199 24347
/proc/meminfo: memFree=26561068/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=162.27 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 15804 0 0 0 16227 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5148676 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24351
/proc/meminfo: memFree=26561624/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=222.26 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 16240 0 0 0 22226 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5034944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 24366
/proc/meminfo: memFree=26560608/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=282.25 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 16676 0 0 0 28225 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5150398 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24370
/proc/meminfo: memFree=26560864/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=342.25 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 17112 0 0 0 34225 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5397035 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24374
/proc/meminfo: memFree=26560692/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=402.24 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 17548 0 0 0 40224 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5016909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 24380
/proc/meminfo: memFree=26560480/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=462.23 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 17984 0 0 0 46223 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5034915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
################
# More data... #
################
Current children cumulated memory: 11876 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 24462
/proc/meminfo: memFree=26560548/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1122.16 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 22780 0 0 0 112216 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1122.16 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 24468
/proc/meminfo: memFree=26559536/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1182.15 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 23216 0 0 0 118215 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5148231 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1182.15 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 24472
/proc/meminfo: memFree=26560012/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1242.14 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 23652 0 0 0 124214 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5409264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1242.14 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/200 24476
/proc/meminfo: memFree=26560472/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1302.13 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 24088 0 0 0 130213 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5192932 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1302.13 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/201 24482
/proc/meminfo: memFree=26560012/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1362.13 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 24529 0 0 0 136213 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5391904 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1362.13 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1422.3 s]
/proc/loadavg: 2.68 2.26 2.13 3/200 24486
/proc/meminfo: memFree=26559948/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1422.12 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 24965 0 0 0 142212 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5409301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1422.12 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.12 3/200 24495
/proc/meminfo: memFree=26560496/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1482.11 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 25401 0 0 0 148211 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5397070 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1482.11 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1542.3 s]
/proc/loadavg: 2.15 2.19 2.12 3/201 24501
/proc/meminfo: memFree=26560132/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1542.11 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 25837 0 0 0 154211 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5397282 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1542.11 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1583.06 s]
# the end of solver process 24334 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1582.86 s, system=0.007999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 2.11 2.18 2.12 3/200 24502
/proc/meminfo: memFree=26560140/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1561.4 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 156140 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5034904 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1561.4 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1574.4 s]
/proc/loadavg: 2.09 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560536/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1574.2 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 157420 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5409264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1574.2 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1577.6 s]
/proc/loadavg: 2.09 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560612/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1577.4 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 157740 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5038631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1577.4 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1580.8 s]
/proc/loadavg: 2.08 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560604/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1580.6 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 158060 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5150451 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1580.6 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1582.4 s]
/proc/loadavg: 2.08 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560728/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1582.2 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 158220 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5038498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1582.2 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1582.8 s]
/proc/loadavg: 2.08 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560728/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1582.6 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 158260 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5185888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1582.6 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
[startup+1583 s]*
/proc/loadavg: 2.08 2.17 2.12 3/200 24503
/proc/meminfo: memFree=26560736/32770624 swapFree=66927164/67108860
[pid=24334] ppid=24331 vsize=35124 memory=11876 CPUtime=1582.81 cores=0,2,4,6
/proc/24334/stat : 24334 (cosoco) R 24331 24334 21907 0 -1 4202496 26273 0 0 0 158281 0 0 0 20 0 1 0 409808072 35966976 2969 33554432000 4194304 6210612 140727826357600 140727826355000 5409284 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33718272 140727826363403 140727826363505 140727826363505 140727826366414 0
/proc/24334/statm: 8781 2969 905 493 0 2086 0
Current children cumulated CPU time: 1582.81 s
Current children cumulated vsize: 35124 KiB
Current children cumulated memory: 11876 KiB
Child status: 0
Real time (s): 1583.06
CPU time (s): 1582.87
CPU user time (s): 1582.86
CPU system time (s): 0.007999
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 35124
Max. memory (cumulated for all children) (KiB): 11876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1582.86
system time used= 0.007999
maximum resident set size= 11948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26324
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= 16
involuntary context switches= 1983
# summary of solver processes directly reported to runsolver:
# pid: 24334
# total CPU time (s): 1582.87
# total CPU user time (s): 1582.86
# total CPU system time (s): 0.007999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15114 second user time and 10.3712 second system time
The end