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 (14257 MiB free)
memory of node 1: 16384 MiB (15057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397028-1568576177/watcher-4397028-1568576177 -o /tmp/evaluation-result-4397028-1568576177/solver-4397028-1568576177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13958 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397028-1568576177.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
solver pid=14841, runsolver pid=14838
Current StackSize limit: 8192 KiB
[startup+0.100422 s]*
/proc/loadavg: 2.00 2.01 1.96 3/204 14842
/proc/meminfo: memFree=30017272/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=28796 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1460 0 0 0 10 0 0 0 20 0 1 0 433868205 29487104 1252 33554432000 4194304 6211092 140724043032768 140724043020696 5443112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 7199 1252 846 493 0 504 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28796 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209827 s]*
/proc/loadavg: 2.00 2.01 1.96 3/204 14842
/proc/meminfo: memFree=30016172/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=30192 memory=6440 CPUtime=0.21 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1815 0 0 0 21 0 0 0 20 0 1 0 433868205 30916608 1610 33554432000 4194304 6211092 140724043032768 140724043020696 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 7548 1610 846 493 0 853 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 6440 KiB
[startup+0.309394 s]*
/proc/loadavg: 2.00 2.01 1.96 3/204 14842
/proc/meminfo: memFree=30014684/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=31572 memory=7832 CPUtime=0.31 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2138 0 0 0 31 0 0 0 20 0 1 0 433868205 32329728 1958 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 7893 1958 846 493 0 1198 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31572 KiB
Current children cumulated memory: 7832 KiB
[startup+0.700206 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 14842
/proc/meminfo: memFree=30011708/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=36800 memory=12808 CPUtime=0.69 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 3385 0 0 0 69 0 0 0 20 0 1 0 433868205 37683200 3202 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 9200 3202 846 493 0 2505 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36800 KiB
Current children cumulated memory: 12808 KiB
[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 1.97 3/204 14842
/proc/meminfo: memFree=30005312/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=46884 memory=23080 CPUtime=1.48 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 5991 0 0 0 148 0 0 0 20 0 1 0 433868205 48009216 5770 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 11721 5770 846 493 0 5026 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46884 KiB
Current children cumulated memory: 23080 KiB
[startup+3.10975 s]
/proc/loadavg: 2.08 2.03 1.97 3/203 14842
/proc/meminfo: memFree=29979264/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=68284 memory=44312 CPUtime=3.1 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 11298 0 0 0 309 1 0 0 20 0 1 0 433868205 69922816 11078 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 17104 11078 846 493 0 10409 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68284 KiB
Current children cumulated memory: 44312 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 1.97 3/203 14842
/proc/meminfo: memFree=29938272/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=111488 memory=86916 CPUtime=6.29 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 21528 0 0 0 627 2 0 0 20 0 1 0 433868205 114163712 21729 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 27872 21729 846 493 0 21177 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111488 KiB
Current children cumulated memory: 86916 KiB
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 1.97 3/203 14842
/proc/meminfo: memFree=29861684/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=199460 memory=169296 CPUtime=12.69 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 41594 0 0 0 1264 5 0 0 20 0 1 0 433868205 204247040 42324 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 49865 42324 846 493 0 43170 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 199460 KiB
Current children cumulated memory: 169296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 1.97 3/203 14842
/proc/meminfo: memFree=29691312/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=362080 memory=335956 CPUtime=25.48 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 80278 0 0 0 2538 10 0 0 20 0 1 0 433868205 370769920 83989 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 90520 83989 846 493 0 83825 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 362080 KiB
Current children cumulated memory: 335956 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 1.97 3/204 14846
/proc/meminfo: memFree=29350512/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=707120 memory=670612 CPUtime=51.1 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 157309 0 0 0 5090 20 0 0 20 0 1 0 433868205 724090880 167653 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 176780 167653 846 493 0 170085 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 707120 KiB
Current children cumulated memory: 670612 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/205 14851
/proc/meminfo: memFree=28682632/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=1408756 memory=1339444 CPUtime=102.28 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 310180 0 0 0 10188 40 0 0 20 0 1 0 433868205 1442566144 334861 33554432000 4194304 6211092 140724043032768 140724043020696 140664919366462 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 352189 334861 846 493 0 345494 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1408756 KiB
Current children cumulated memory: 1339444 KiB
[startup+162.3 s]
/proc/loadavg: 2.17 2.05 1.98 3/205 14855
/proc/meminfo: memFree=27899324/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=2203180 memory=2121284 CPUtime=162.25 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 487290 0 0 0 16162 63 0 0 20 0 1 0 433868205 2256056320 530321 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 550795 530321 846 493 0 544100 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2203180 KiB
Current children cumulated memory: 2121284 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/204 14861
/proc/meminfo: memFree=27114428/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=3042640 memory=2906104 CPUtime=222.22 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 664614 0 0 0 22136 86 0 0 20 0 1 0 433868205 3115663360 726526 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 760660 726526 846 493 0 753965 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 3042640 KiB
Current children cumulated memory: 2906104 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/206 14874
/proc/meminfo: memFree=26331496/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=3762868 memory=3685712 CPUtime=282.2 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 841164 0 0 0 28111 109 0 0 20 0 1 0 433868205 3853176832 921428 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 940717 921428 846 493 0 934022 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 3762868 KiB
Current children cumulated memory: 3685712 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/205 14878
/proc/meminfo: memFree=25548796/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=4653680 memory=4467576 CPUtime=342.18 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1017757 0 0 0 34086 132 0 0 20 0 1 0 433868205 4765368320 1116894 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 1163420 1116894 846 493 0 1156725 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 4653680 KiB
Current children cumulated memory: 4467576 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/205 14885
/proc/meminfo: memFree=24762744/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=5382504 memory=5251432 CPUtime=402.16 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1194422 0 0 0 40058 158 0 0 20 0 1 0 433868205 5511684096 1312858 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 1345626 1312858 846 493 0 1338931 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 5382504 KiB
Current children cumulated memory: 5251432 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/205 14889
/proc/meminfo: memFree=23979160/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=6086724 memory=6033700 CPUtime=462.14 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1370605 0 0 0 46033 181 0 0 20 0 1 0 433868205 6232805376 1508425 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 1521681 1508425 846 493 0 1514986 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 6086724 KiB
Current children cumulated memory: 6033700 KiB
################
# More data... #
################
Current children cumulated vsize: 7070696 KiB
Current children cumulated memory: 6816316 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/204 14900
/proc/meminfo: memFree=22413840/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=7811168 memory=7595764 CPUtime=582.1 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1723492 0 0 0 57973 237 0 0 20 0 1 0 433868205 7998636032 1898941 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 1952792 1898941 846 493 0 1946097 0
Current children cumulated CPU time: 582.1 s
Current children cumulated vsize: 7811168 KiB
Current children cumulated memory: 7595764 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/204 14965
/proc/meminfo: memFree=21438288/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=8514332 memory=8378908 CPUtime=642.08 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 1899427 0 0 0 63944 264 0 0 20 0 1 0 433868205 8718675968 2094727 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 2128583 2094727 846 493 0 2121888 0
Current children cumulated CPU time: 642.08 s
Current children cumulated vsize: 8514332 KiB
Current children cumulated memory: 8378908 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/204 14970
/proc/meminfo: memFree=19821968/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=9217892 memory=9160220 CPUtime=702.06 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2075472 0 0 0 69912 294 0 0 20 0 1 0 433868205 9439121408 2290055 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 2304473 2290055 846 493 0 2297778 0
Current children cumulated CPU time: 702.06 s
Current children cumulated vsize: 9217892 KiB
Current children cumulated memory: 9160220 KiB
[startup+762.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/204 14976
/proc/meminfo: memFree=18207136/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=10396976 memory=9941396 CPUtime=762.04 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2252464 0 0 0 75881 323 0 0 20 0 1 0 433868205 10646503424 2485349 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 2599244 2485349 846 493 0 2592549 0
Current children cumulated CPU time: 762.04 s
Current children cumulated vsize: 10396976 KiB
Current children cumulated memory: 9941396 KiB
[startup+822.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/204 14980
/proc/meminfo: memFree=16592728/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=11100272 memory=10722440 CPUtime=822.02 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2428451 0 0 0 81849 353 0 0 20 0 1 0 433868205 11366678528 2680610 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 2775068 2680610 846 493 0 2768373 0
Current children cumulated CPU time: 822.02 s
Current children cumulated vsize: 11100272 KiB
Current children cumulated memory: 10722440 KiB
[startup+882.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/205 14993
/proc/meminfo: memFree=14975312/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=11803436 memory=11505424 CPUtime=882 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2604406 0 0 0 87815 385 0 0 20 0 1 0 433868205 12086718464 2876356 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 2950859 2876356 846 493 0 2944164 0
Current children cumulated CPU time: 882 s
Current children cumulated vsize: 11803436 KiB
Current children cumulated memory: 11505424 KiB
[startup+942.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/205 14999
/proc/meminfo: memFree=13361684/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=12506336 memory=12284164 CPUtime=941.98 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2780296 0 0 0 93779 419 0 0 20 0 1 0 433868205 12806488064 3071041 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3126584 3071041 846 493 0 3119889 0
Current children cumulated CPU time: 941.98 s
Current children cumulated vsize: 12506336 KiB
Current children cumulated memory: 12284164 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/205 15003
/proc/meminfo: memFree=11744736/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=13209896 memory=13067672 CPUtime=1001.96 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 2956352 0 0 0 99743 453 0 0 20 0 1 0 433868205 13526933504 3266918 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3302474 3266918 846 493 0 3295779 0
Current children cumulated CPU time: 1001.96 s
Current children cumulated vsize: 13209896 KiB
Current children cumulated memory: 13067672 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/205 15007
/proc/meminfo: memFree=10130564/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=13912664 memory=13848080 CPUtime=1061.95 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 3132230 0 0 0 105708 487 0 0 20 0 1 0 433868205 14246567936 3462020 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3478166 3462020 846 493 0 3471471 0
Current children cumulated CPU time: 1061.95 s
Current children cumulated vsize: 13912664 KiB
Current children cumulated memory: 13848080 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/205 15013
/proc/meminfo: memFree=8519828/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=15245536 memory=14628080 CPUtime=1121.93 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 3308919 0 0 0 111671 522 0 0 20 0 1 0 433868205 15611428864 3657020 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3811384 3657020 846 493 0 3804689 0
Current children cumulated CPU time: 1121.93 s
Current children cumulated vsize: 15245536 KiB
Current children cumulated memory: 14628080 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1168.8 s]
/proc/loadavg: 2.00 2.01 1.99 3/204 15017
/proc/meminfo: memFree=7278148/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=15873080 memory=15232880 CPUtime=1168.4 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) R 14838 14841 13926 0 -1 4202496 3445474 0 0 0 116292 548 0 0 20 0 1 0 433868205 16254033920 3808220 33554432000 4194304 6211092 140724043032768 140724043020696 140664919370725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3968270 3808220 846 493 0 3961575 0
Current children cumulated CPU time: 1168.4 s
Current children cumulated vsize: 15873080 KiB
Current children cumulated memory: 15232880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1171.54 s]
# the end of solver process 14841 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1163.18 s, system=6.27585 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1169.6 s]
/proc/loadavg: 2.00 2.01 1.99 3/204 15018
/proc/meminfo: memFree=7137716/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=15873080 memory=15233140 CPUtime=1168.55 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) S 14838 14841 13926 0 -1 512 3445479 0 0 0 116303 552 0 0 20 0 1 0 433868205 16254033920 3808285 33554432000 4194304 6211092 140724043032768 140724043020696 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3968270 3808285 847 493 0 3961575 0
Current children cumulated CPU time: 1168.55 s
Current children cumulated vsize: 15873080 KiB
Current children cumulated memory: 15233140 KiB
[startup+1170.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/204 15018
/proc/meminfo: memFree=6547336/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=15873080 memory=15233140 CPUtime=1168.68 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) S 14838 14841 13926 0 -1 512 3445479 0 0 0 116315 553 0 0 20 0 1 0 433868205 16254033920 3808285 33554432000 4194304 6211092 140724043032768 140724043020696 5189768 0 16384 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3968270 3808285 847 493 0 3961575 0
Current children cumulated CPU time: 1168.68 s
Current children cumulated vsize: 15873080 KiB
Current children cumulated memory: 15233140 KiB
[startup+1170.8 s]
/proc/loadavg: 2.00 2.01 1.99 3/204 15018
/proc/meminfo: memFree=6547336/32770624 swapFree=66916988/67108860
[pid=14841] ppid=14838 vsize=15873080 memory=15233140 CPUtime=1168.71 cores=1,3,5,7
/proc/14841/stat : 14841 (cosoco) S 14838 14841 13926 0 -1 512 3445479 0 0 0 116317 554 0 0 20 0 1 0 433868205 16254033920 3808285 33554432000 4194304 6211092 140724043032768 140724043020696 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 40800256 140724043039755 140724043039857 140724043039857 140724043042766 0
/proc/14841/statm: 3968270 3808285 847 493 0 3961575 0
Current children cumulated CPU time: 1168.71 s
Current children cumulated vsize: 15873080 KiB
Current children cumulated memory: 15233140 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1171.54
CPU time (s): 1169.45
CPU user time (s): 1163.18
CPU system time (s): 6.27585
CPU usage (%): 99.8222
Max. virtual memory (cumulated for all children) (KiB): 15873080
Max. memory (cumulated for all children) (KiB): 15233140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1163.18
system time used= 6.27585
maximum resident set size= 15233140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3445479
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= 121693
involuntary context switches= 1127
# summary of solver processes directly reported to runsolver:
# pid: 14841
# total CPU time (s): 1169.45
# total CPU user time (s): 1163.18
# total CPU system time (s): 6.27585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28685 second user time and 8.23769 second system time
The end