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 (14193 MiB free)
memory of node 1: 16384 MiB (14363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266213-1502568123/watcher-4266213-1502568123 -o /tmp/evaluation-result-4266213-1502568123/solver-4266213-1502568123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266213-1502568123.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=24496, runsolver pid=24493
[startup+0.100168 s]*
/proc/loadavg: 0.24 0.06 0.06 3/188 24497
/proc/meminfo: memFree=29162268/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=110560 memory=87036 CPUtime=0.1 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 21944 0 0 0 7 3 0 0 20 0 1 0 89900702 113213440 21759 33554432000 4194304 5972588 140732119102784 140732119099432 139691336625125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 27640 21759 798 435 0 21003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110560 KiB
Current children cumulated memory: 87036 KiB
[startup+0.209671 s]*
/proc/loadavg: 0.24 0.06 0.06 3/188 24497
/proc/meminfo: memFree=29113612/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=158984 memory=135348 CPUtime=0.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 34046 0 0 0 17 4 0 0 20 0 1 0 89900702 162799616 33837 33554432000 4194304 5972588 140732119102784 140732119099432 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 39746 33837 798 435 0 33109 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 158984 KiB
Current children cumulated memory: 135348 KiB
[startup+0.309535 s]*
/proc/loadavg: 0.24 0.06 0.06 3/188 24497
/proc/meminfo: memFree=29065536/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=212504 memory=184380 CPUtime=0.3 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 45767 0 0 0 25 5 0 0 20 0 1 0 89900702 217604096 46095 33554432000 4194304 5972588 140732119102784 140732119099432 5280335 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 53126 46095 830 435 0 46489 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 212504 KiB
Current children cumulated memory: 184380 KiB
[startup+0.70038 s]
/proc/loadavg: 0.24 0.06 0.06 4/188 24497
/proc/meminfo: memFree=28945160/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=471576 memory=389976 CPUtime=0.69 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 79803 0 0 0 59 10 0 0 20 0 1 0 89900702 482893824 97494 33554432000 4194304 5972588 140732119102784 140732119099576 139691336625125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 117894 97494 830 435 0 111257 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 471576 KiB
Current children cumulated memory: 389976 KiB
[startup+1.50038 s]
/proc/loadavg: 0.24 0.06 0.06 4/188 24497
/proc/meminfo: memFree=28717828/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=894324 memory=755252 CPUtime=1.49 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 124686 0 0 0 129 20 0 0 20 0 1 0 89900702 915787776 188813 33554432000 4194304 5972588 140732119102784 140732119099576 5252461 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 223581 188813 830 435 0 216944 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 894324 KiB
Current children cumulated memory: 755252 KiB
[startup+3.10948 s]
/proc/loadavg: 0.38 0.10 0.07 3/188 24497
/proc/meminfo: memFree=27859252/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=1483316 memory=1411976 CPUtime=3.1 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 242192 0 0 0 275 35 0 0 20 0 1 0 89900702 1518915584 352994 33554432000 4194304 5972588 140732119102784 140732119099576 5252360 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 370829 352994 830 435 0 364192 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1483316 KiB
Current children cumulated memory: 1411976 KiB
[startup+6.30035 s]
/proc/loadavg: 0.38 0.10 0.07 4/202 24526
/proc/meminfo: memFree=26700344/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=3159020 memory=2629812 CPUtime=6.29 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 443190 0 0 0 560 69 0 0 20 0 1 0 89900702 3234836480 657453 33554432000 4194304 5972588 140732119102784 140732119099576 5252505 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 789755 657453 830 435 0 783118 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3159020 KiB
Current children cumulated memory: 2629812 KiB
[startup+12.7004 s]
/proc/loadavg: 0.51 0.13 0.08 3/188 24558
/proc/meminfo: memFree=22505804/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=5611472 memory=4807472 CPUtime=12.69 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 798918 0 0 0 1138 131 0 0 20 0 1 0 89900702 5746147328 1201868 33554432000 4194304 5972588 140732119102784 140732119099576 139691337466468 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 1402868 1201868 830 435 0 1396231 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 5611472 KiB
Current children cumulated memory: 4807472 KiB
[startup+25.5004 s]
/proc/loadavg: 0.84 0.22 0.11 3/188 24558
/proc/meminfo: memFree=12981128/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=9349232 memory=8706340 CPUtime=25.49 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) R 24493 24496 24193 0 -1 4202496 1563963 0 0 0 2308 241 0 0 20 0 1 0 89900702 9573613568 2176585 33554432000 4194304 5972588 140732119102784 140732119099576 139691336694634 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 2337308 2176585 830 435 0 2330671 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 9349232 KiB
Current children cumulated memory: 8706340 KiB
[startup+51.3003 s]*
/proc/loadavg: 1.63 0.45 0.19 1/191 24561
/proc/meminfo: memFree=175156/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=43.99 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 3983 416 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 43.99 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 1.45 0.55 1/191 24562
/proc/meminfo: memFree=227080/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=44.33 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4012 421 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 44.33 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
%CPU=11 pid=24559 uid=0 cmd=
[startup+162.3 s]
/proc/loadavg: 4.98 2.14 0.84 1/192 24570
/proc/meminfo: memFree=191688/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=44.79 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4053 426 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 44.79 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 5.04 2.68 1.11 1/192 24571
/proc/meminfo: memFree=207904/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=45.3 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4097 433 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 45.3 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 5.02 3.10 1.35 1/192 24572
/proc/meminfo: memFree=208164/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=45.81 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4141 440 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 7 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 45.81 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 5.01 3.45 1.58 1/191 24573
/proc/meminfo: memFree=196812/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=46.19 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4176 443 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 46.19 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 5.06 3.74 1.80 1/191 24574
/proc/meminfo: memFree=205432/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=46.71 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4222 449 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 7 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 46.71 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+462.3 s]
/proc/loadavg: 5.14 4.00 2.01 1/190 24576
/proc/meminfo: memFree=204316/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=47.29 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4271 458 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 47.29 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+522.3 s]
/proc/loadavg: 5.11 4.20 2.20 1/190 24577
/proc/meminfo: memFree=195996/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=47.76 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4312 464 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 47.76 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+582.3 s]
/proc/loadavg: 5.04 4.35 2.38 1/190 24578
/proc/meminfo: memFree=195532/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=48.25 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4354 471 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 7 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 48.25 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+642.3 s]
/proc/loadavg: 5.20 4.51 2.56 2/190 24580
/proc/meminfo: memFree=184560/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=48.98 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4414 484 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 48.98 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+702.3 s]
/proc/loadavg: 4.63 4.49 2.67 1/190 24581
/proc/meminfo: memFree=192484/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+762.3 s]
/proc/loadavg: 4.57 4.48 2.78 1/192 24586
/proc/meminfo: memFree=220508/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+822.3 s]
/proc/loadavg: 5.33 4.70 2.96 1/192 24607
/proc/meminfo: memFree=262124/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
heavy processes:
[startup+876.151 s]
# the end of solver process 24496 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.3486 s, system=5.50303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+834.3 s]
/proc/loadavg: 5.55 4.78 3.02 1/192 24607
/proc/meminfo: memFree=261708/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+859.9 s]
/proc/loadavg: 5.71 4.88 3.10 1/192 24607
/proc/meminfo: memFree=261556/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+866.3 s]
/proc/loadavg: 5.73 4.90 3.11 1/192 24607
/proc/meminfo: memFree=261540/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+872.7 s]
/proc/loadavg: 5.75 4.92 3.13 1/192 24608
/proc/meminfo: memFree=260192/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+874.3 s]
/proc/loadavg: 5.77 4.93 3.14 1/192 24608
/proc/meminfo: memFree=259864/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+875.101 s]*
/proc/loadavg: 5.77 4.93 3.14 3/192 24609
/proc/meminfo: memFree=935724/32770624 swapFree=67108860/67108860
[pid=24496] ppid=24493 vsize=15042112 memory=14771012 CPUtime=49.21 cores=1,3,5,7
/proc/24496/stat : 24496 (cosoco) S 24493 24496 24193 0 -1 512 2455929 0 0 0 4434 487 0 0 20 0 1 0 89900702 15403122688 3692753 33554432000 4194304 5972588 140732119102784 140732119099832 139691336327639 0 0 4096 0 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 24829952 140732119110842 140732119110942 140732119110942 140732119113678 0
/proc/24496/statm: 3760528 3692753 830 435 0 3753891 0
Current children cumulated CPU time: 49.21 s
Current children cumulated vsize: 15042112 KiB
Current children cumulated memory: 14771012 KiB
[startup+875.9 s]
/proc/loadavg: 5.77 4.93 3.14 2/191 24609
/proc/meminfo: memFree=2507664/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+876.1 s]*
/proc/loadavg: 5.77 4.93 3.14 3/191 24616
/proc/meminfo: memFree=21395860/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 876.151
CPU time (s): 49.8516
CPU user time (s): 44.3486
CPU system time (s): 5.50303
CPU usage (%): 5.68984
Max. virtual memory (cumulated for all children) (KiB): 15042112
Max. memory (cumulated for all children) (KiB): 14771012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3486
system time used= 5.50303
maximum resident set size= 14771092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2455929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1811654
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 24496
# total CPU time (s): 49.8516
# total CPU user time (s): 44.3486
# total CPU system time (s): 5.50303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3397 second user time and 6.17804 second system time
The end