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 (15314 MiB free)
memory of node 1: 16384 MiB (15593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394835-1568356152/watcher-4394835-1568356152 -o /tmp/evaluation-result-4394835-1568356152/solver-4394835-1568356152 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31997 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394835-1568356152.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
solver pid=3820, runsolver pid=3817
Current StackSize limit: 8192 KiB
[startup+0.100914 s]*
/proc/loadavg: 2.36 2.16 2.10 3/203 3821
/proc/meminfo: memFree=31646448/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=30200 memory=6396 CPUtime=0.1 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 1794 0 0 0 10 0 0 0 20 0 1 0 411854852 30924800 1599 33554432000 4194304 6210612 140725002185760 140725002179064 140694539049957 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 7550 1599 821 493 0 855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30200 KiB
Current children cumulated memory: 6396 KiB
[startup+0.209513 s]*
/proc/loadavg: 2.36 2.16 2.10 3/203 3821
/proc/meminfo: memFree=31643312/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=33960 memory=10288 CPUtime=0.21 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 2739 0 0 0 21 0 0 0 20 0 1 0 411854852 34775040 2572 33554432000 4194304 6210612 140725002185760 140725002179064 140694539049957 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 8490 2572 821 493 0 1795 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33960 KiB
Current children cumulated memory: 10288 KiB
[startup+0.3093 s]*
/proc/loadavg: 2.36 2.16 2.10 3/203 3821
/proc/meminfo: memFree=31639716/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=37484 memory=13680 CPUtime=0.3 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 3614 0 0 0 30 0 0 0 20 0 1 0 411854852 38383616 3420 33554432000 4194304 6210612 140725002185760 140725002179064 5445051 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 9371 3420 821 493 0 2676 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37484 KiB
Current children cumulated memory: 13680 KiB
[startup+0.700238 s]
/proc/loadavg: 2.36 2.16 2.10 3/203 3821
/proc/meminfo: memFree=31633192/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=43988 memory=20444 CPUtime=0.68 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 5314 0 0 0 68 0 0 0 20 0 1 0 411854852 45043712 5111 33554432000 4194304 6210612 140725002185760 140725002178648 5157625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 10997 5111 865 493 0 4302 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43988 KiB
Current children cumulated memory: 20444 KiB
[startup+1.50023 s]
/proc/loadavg: 2.36 2.16 2.10 4/203 3821
/proc/meminfo: memFree=31633192/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20444 CPUtime=1.48 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 5330 0 0 0 148 0 0 0 20 0 1 0 411854852 45236224 5111 33554432000 4194304 6210612 140725002185760 140725002183080 5157625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5111 865 493 0 4349 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20444 KiB
[startup+3.10932 s]
/proc/loadavg: 2.36 2.16 2.10 4/203 3821
/proc/meminfo: memFree=31632968/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=3.1 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 9542 0 0 0 309 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5157632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+6.30022 s]
/proc/loadavg: 2.25 2.14 2.09 4/203 3821
/proc/meminfo: memFree=31633200/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=6.29 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 13754 0 0 0 628 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+12.7002 s]
/proc/loadavg: 2.23 2.14 2.09 4/203 3821
/proc/meminfo: memFree=31633256/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=12.68 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 17965 0 0 0 1267 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.14 2.09 4/203 3823
/proc/meminfo: memFree=31632804/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=25.48 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 26384 0 0 0 2547 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5157727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+51.1093 s]
/proc/loadavg: 2.12 2.12 2.09 4/203 3824
/proc/meminfo: memFree=31632380/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=51.08 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 28055 0 0 0 5107 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5165344 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.10 2.08 4/203 3836
/proc/meminfo: memFree=31631992/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=102.27 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 28689 0 0 0 10226 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5155444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 2.07 2.07 4/205 3844
/proc/meminfo: memFree=31631544/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=162.27 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 29322 0 0 0 16226 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5165280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.06 2.06 4/205 3848
/proc/meminfo: memFree=31631696/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=222.27 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 29954 0 0 0 22226 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5155436 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.05 2.06 4/205 3852
/proc/meminfo: memFree=31631744/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=282.28 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 29954 0 0 0 28227 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5391900 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/205 3858
/proc/meminfo: memFree=31630912/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=342.28 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 30590 0 0 0 34227 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/204 3862
/proc/meminfo: memFree=31631060/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=402.29 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 30590 0 0 0 40228 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5157638 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/202 3866
/proc/meminfo: memFree=31631116/32770624 swapFree=67003472/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=462.29 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 31221 0 0 0 46228 1 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5156666 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
################
# More data... #
################
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1662.4 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/204 3986
/proc/meminfo: memFree=31630752/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=1722.41 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 37354 0 0 0 172239 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5156731 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/204 3993
/proc/meminfo: memFree=31629908/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=1782.41 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 37987 0 0 0 178239 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5008459 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/203 3997
/proc/meminfo: memFree=31630484/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=1842.42 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 37987 0 0 0 184240 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5390328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/204 4009
/proc/meminfo: memFree=31629272/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=1902.42 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 38508 0 0 0 190240 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5396252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/205 4038
/proc/meminfo: memFree=31628080/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=1962.43 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 38620 0 0 0 196241 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/205 4043
/proc/meminfo: memFree=31629352/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2022.43 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 39062 0 0 0 202241 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5155432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/205 4047
/proc/meminfo: memFree=31629544/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2082.44 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 39068 0 0 0 208242 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5157172 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/206 4054
/proc/meminfo: memFree=31629252/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2142.44 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 39508 0 0 0 214242 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5165348 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2202.3 s]
/proc/loadavg: 1.56 1.90 2.01 2/198 4104
/proc/meminfo: memFree=31658596/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2202.44 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 39700 0 0 0 220242 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2262.3 s]
/proc/loadavg: 1.21 1.74 1.94 2/197 4108
/proc/meminfo: memFree=31657776/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2262.45 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 40089 0 0 0 226243 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2322.3 s]
/proc/loadavg: 1.08 1.60 1.89 2/197 4114
/proc/meminfo: memFree=31658304/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2322.45 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 40097 0 0 0 232243 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397215 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
[startup+2382.3 s]
/proc/loadavg: 1.03 1.49 1.83 2/197 4118
/proc/meminfo: memFree=31658292/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2382.46 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 40729 0 0 0 238244 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5165216 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.02 1.47 1.82 2/197 4119
/proc/meminfo: memFree=31658428/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2400.06 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 40729 0 0 0 240004 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 3820 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.026001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.02 1.47 1.82 2/197 4119
/proc/meminfo: memFree=31658428/32770624 swapFree=67003480/67108860
[pid=3820] ppid=3817 vsize=44176 memory=20676 CPUtime=2400.06 cores=0,2,4,6
/proc/3820/stat : 3820 (cosoco) R 3817 3820 31966 0 -1 4202496 40729 0 0 0 240004 2 0 0 20 0 1 0 411854852 45236224 5169 33554432000 4194304 6210612 140725002185760 140725002183080 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40189952 140725002187787 140725002187889 140725002187889 140725002190798 0
/proc/3820/statm: 11044 5169 866 493 0 4349 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 20676 KiB
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.07
CPU user time (s): 2400.04
CPU system time (s): 0.026001
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 44176
Max. memory (cumulated for all children) (KiB): 20676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.026001
maximum resident set size= 20744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40783
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= 709
# summary of solver processes directly reported to runsolver:
# pid: 3820
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.026001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92518 second user time and 16.8047 second system time
The end