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 (15390 MiB free)
memory of node 1: 16384 MiB (15578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408828-1569787393/watcher-4408828-1569787393 -o /tmp/evaluation-result-4408828-1569787393/solver-4408828-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569787352-8686 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408828-1569787393.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=8715, runsolver pid=8709
[startup+0.100131 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 8717
/proc/meminfo: memFree=31712532/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) D 8709 8715 8655 0 -1 4194304 159 0 0 0 0 0 0 0 20 0 1 0 555008174 2326528 1 33554432000 4194304 6211132 140730869883632 140730869880856 140567800035015 0 0 4096 0 18446744071585676691 0 0 17 0 0 0 1 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.20945 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 8717
/proc/meminfo: memFree=31712532/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) D 8709 8715 8655 0 -1 4194304 159 0 0 0 0 0 0 0 20 0 1 0 555008174 2326528 1 33554432000 4194304 6211132 140730869883632 140730869880856 140567800035015 0 0 4096 0 18446744071585676691 0 0 17 0 0 0 1 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.309285 s]*
/proc/loadavg: 0.00 0.01 0.05 1/201 8717
/proc/meminfo: memFree=31712232/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) D 8709 8715 8655 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 555008174 4669440 47 33554432000 4194304 6211132 140730869883632 140730869880808 140567800035015 0 0 4096 0 18446744071580996127 0 0 17 0 0 0 2 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 1140 47 37 493 0 43 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4560 KiB
Current children cumulated memory: 188 KiB
[startup+0.700328 s]
/proc/loadavg: 0.00 0.01 0.05 2/201 8717
/proc/meminfo: memFree=31707136/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=8040 memory=208 CPUtime=0 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) D 8709 8715 8655 0 -1 1077936128 182 0 0 0 0 0 0 0 20 0 1 0 555008174 8232960 52 33554432000 4194304 6211132 140730869883632 140730869880760 140567800035015 0 0 4096 0 18446744072101633572 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 2010 52 39 493 0 45 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 208 KiB
[startup+1.50026 s]
/proc/loadavg: 0.00 0.01 0.05 5/201 8717
/proc/meminfo: memFree=31694112/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=38824 memory=14752 CPUtime=0.66 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 4240 0 0 0 65 1 0 0 20 0 1 0 555008174 39755776 3688 33554432000 4194304 6211132 140730869883632 140730869880904 140567794435162 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 9706 3688 807 493 0 3011 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 14752 KiB
[startup+3.10968 s]
/proc/loadavg: 0.00 0.01 0.05 3/201 8717
/proc/meminfo: memFree=31629648/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=47656 memory=22188 CPUtime=2.26 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 5770 0 0 0 225 1 0 0 20 0 1 0 555008174 48799744 5547 33554432000 4194304 6211132 140730869883632 140730869878040 5506583 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 11914 5547 807 493 0 5219 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 47656 KiB
Current children cumulated memory: 22188 KiB
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 0.16 0.05 0.06 3/201 8778
/proc/meminfo: memFree=31654212/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=69244 memory=43796 CPUtime=5.45 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11239 0 0 0 541 4 0 0 20 0 1 0 555008174 70905856 10949 33554432000 4194304 6211132 140730869883632 140730869880904 140567791068328 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 17311 10949 822 493 0 10616 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 69244 KiB
Current children cumulated memory: 43796 KiB
[startup+12.7002 s]
/proc/loadavg: 0.31 0.08 0.07 3/201 8779
/proc/meminfo: memFree=31026596/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=416604 memory=391000 CPUtime=11.85 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 99578 0 0 0 1165 20 0 0 20 0 1 0 555008174 426602496 97750 33554432000 4194304 6211132 140730869883632 140730869878072 5455999 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 104151 97750 822 493 0 97456 0
Current children cumulated CPU time: 11.85 s
Current children cumulated vsize: 416604 KiB
Current children cumulated memory: 391000 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/201 8779
/proc/meminfo: memFree=30314660/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=1112436 memory=1086540 CPUtime=24.65 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 275187 0 0 0 2413 52 0 0 20 0 1 0 555008174 1139134464 271635 33554432000 4194304 6211132 140730869883632 140730869876520 140567781719013 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 278109 271635 822 493 0 271414 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 1112436 KiB
Current children cumulated memory: 1086540 KiB
[startup+51.1099 s]
/proc/loadavg: 1.13 0.32 0.15 3/201 8781
/proc/meminfo: memFree=28896628/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=2505172 memory=2478924 CPUtime=50.26 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 625493 0 0 0 4908 118 0 0 20 0 1 0 555008174 2565296128 619731 33554432000 4194304 6211132 140730869883632 140730869876712 140567781719013 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 626293 619731 822 493 0 619598 0
Current children cumulated CPU time: 50.26 s
Current children cumulated vsize: 2505172 KiB
Current children cumulated memory: 2478924 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/201 8785
/proc/meminfo: memFree=27802800/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563212 CPUtime=101.42 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 1548622 0 0 0 9949 193 0 0 20 0 1 0 555008174 3674767360 890803 33554432000 4194304 6211132 140730869883632 140730869871512 5165640 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890803 868 493 0 890465 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563212 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/200 8789
/proc/meminfo: memFree=27802048/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563220 CPUtime=161.39 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 2134389 0 0 0 15920 219 0 0 20 0 1 0 555008174 3674767360 890805 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890805 868 493 0 890465 0
Current children cumulated CPU time: 161.39 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563220 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/199 8795
/proc/meminfo: memFree=27802164/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563248 CPUtime=221.37 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 2712703 0 0 0 21890 247 0 0 20 0 1 0 555008174 3674767360 890812 33554432000 4194304 6211132 140730869883632 140730869871512 5165636 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890812 868 493 0 890465 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563248 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/199 8799
/proc/meminfo: memFree=27802664/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563248 CPUtime=281.35 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 3283228 0 0 0 27863 272 0 0 20 0 1 0 555008174 3674767360 890812 33554432000 4194304 6211132 140730869883632 140730869871512 5008852 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890812 868 493 0 890465 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563248 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/199 8803
/proc/meminfo: memFree=27802428/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563256 CPUtime=341.32 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 3838018 0 0 0 33835 297 0 0 20 0 1 0 555008174 3674767360 890814 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890814 868 493 0 890465 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563256 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/199 8809
/proc/meminfo: memFree=27802568/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563292 CPUtime=401.3 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 4376992 0 0 0 39807 323 0 0 20 0 1 0 555008174 3674767360 890823 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890823 868 493 0 890465 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563292 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/200 8821
/proc/meminfo: memFree=27802744/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563324 CPUtime=461.28 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 4892449 0 0 0 45780 348 0 0 20 0 1 0 555008174 3674767360 890831 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 0 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890831 868 493 0 890465 0
Current children cumulated CPU time: 461.28 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563324 KiB
################
# More data... #
################
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1600.94 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.71 4/200 8933
/proc/meminfo: memFree=27802116/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1660.92 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11341312 0 0 0 165443 649 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5165640 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1660.92 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.72 4/200 8937
/proc/meminfo: memFree=27802508/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1720.9 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11544788 0 0 0 171431 659 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5165653 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1720.9 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.75 4/200 8941
/proc/meminfo: memFree=27801920/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1780.88 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11606822 0 0 0 177427 661 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5009311 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1780.88 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 1.76 4/200 8947
/proc/meminfo: memFree=27801684/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1840.86 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11735024 0 0 0 183420 666 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1840.86 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.78 5/200 8951
/proc/meminfo: memFree=27801876/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1900.85 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11782488 0 0 0 189416 669 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5390495 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1900.85 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 4/199 8955
/proc/meminfo: memFree=27801916/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=1960.83 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11888807 0 0 0 195408 675 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 1960.83 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.80 4/199 8961
/proc/meminfo: memFree=27801148/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3563432 CPUtime=2020.81 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11915921 0 0 0 201405 676 0 0 20 0 1 0 555008174 3674767360 890858 33554432000 4194304 6211132 140730869883632 140730869871512 5165640 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 890858 868 493 0 890465 0
Current children cumulated CPU time: 2020.81 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3563432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 4/199 8965
/proc/meminfo: memFree=27800332/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2080.79 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11968919 0 0 0 207401 678 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2080.79 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/199 8969
/proc/meminfo: memFree=27800760/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2140.78 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11982570 0 0 0 213399 679 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5165636 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2140.78 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/199 8975
/proc/meminfo: memFree=27800700/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2200.76 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 11997893 0 0 0 219396 680 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2200.76 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/200 8987
/proc/meminfo: memFree=27800980/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2260.76 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 12000028 0 0 0 225396 680 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5390500 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2260.76 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/200 8991
/proc/meminfo: memFree=27801520/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2320.75 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 12002137 0 0 0 231395 680 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2320.75 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/200 8997
/proc/meminfo: memFree=27802020/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2380.75 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 12004187 0 0 0 237395 680 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5008918 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2380.75 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 1.87 4/200 8997
/proc/meminfo: memFree=27802024/32770624 swapFree=66960356/67108860
[pid=8715] ppid=8709 vsize=3588640 memory=3564780 CPUtime=2400.05 cores=0,2,4,6
/proc/8715/stat : 8715 (cosoco) R 8709 8715 8655 0 -1 4202496 12004828 0 0 0 239325 680 0 0 20 0 1 0 555008174 3674767360 891195 33554432000 4194304 6211132 140730869883632 140730869871512 5390500 0 0 4096 8405026 0 0 0 17 2 0 0 22 0 0 8312316 8317760 19456000 140730869888011 140730869888113 140730869888113 140730869891022 0
/proc/8715/statm: 897160 891195 868 493 0 890465 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 3588640 KiB
Current children cumulated memory: 3564780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2401.61 s]
# the end of solver process 8715 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.25 s, system=6.82055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.61
CPU time (s): 2400.07
CPU user time (s): 2393.25
CPU system time (s): 6.82055
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (KiB): 3598144
Max. memory (cumulated for all children) (KiB): 3571380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.25
system time used= 6.82055
maximum resident set size= 3572012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12004882
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= 1368
involuntary context switches= 2898
# summary of solver processes directly reported to runsolver:
# pid: 8715
# total CPU time (s): 2400.07
# total CPU user time (s): 2393.25
# total CPU system time (s): 6.82055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5012 second user time and 14.5148 second system time
The end