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 (14563 MiB free)
memory of node 1: 16384 MiB (14612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397694-1568576947/watcher-4397694-1568576947 -o /tmp/evaluation-result-4397694-1568576947/solver-4397694-1568576947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568572742-10942 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397694-1568576947.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=11870, runsolver pid=11867
[startup+0.100191 s]*
/proc/loadavg: 2.00 2.04 2.00 3/200 11871
/proc/meminfo: memFree=29874300/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=28720 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1457 0 0 0 10 0 0 0 20 0 1 0 433636571 29409280 1252 33554432000 4194304 6211092 140723066634624 140723066631160 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 7180 1252 846 493 0 485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28720 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209785 s]*
/proc/loadavg: 2.00 2.04 2.00 3/200 11871
/proc/meminfo: memFree=29872812/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=30248 memory=6348 CPUtime=0.21 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1812 0 0 0 21 0 0 0 20 0 1 0 433636571 30973952 1587 33554432000 4194304 6211092 140723066634624 140723066631160 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 7562 1587 846 493 0 867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6348 KiB
[startup+0.309694 s]*
/proc/loadavg: 2.00 2.04 2.00 3/200 11871
/proc/meminfo: memFree=29871696/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=31496 memory=7680 CPUtime=0.31 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2137 0 0 0 31 0 0 0 20 0 1 0 433636571 32251904 1920 33554432000 4194304 6211092 140723066634624 140723066631160 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 7874 1920 846 493 0 1179 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31496 KiB
Current children cumulated memory: 7680 KiB
[startup+0.700384 s]
/proc/loadavg: 2.00 2.04 2.00 3/200 11871
/proc/meminfo: memFree=29868968/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=36828 memory=12772 CPUtime=0.69 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 3384 0 0 0 69 0 0 0 20 0 1 0 433636571 37711872 3193 33554432000 4194304 6211092 140723066634624 140723066631160 140024138917795 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 9207 3193 846 493 0 2512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 12772 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.04 2.00 4/200 11871
/proc/meminfo: memFree=29862684/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=46840 memory=23164 CPUtime=1.49 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 5983 0 0 0 148 1 0 0 20 0 1 0 433636571 47964160 5791 33554432000 4194304 6211092 140723066634624 140723066622552 5013078 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 11710 5791 846 493 0 5015 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 23164 KiB
[startup+3.10956 s]
/proc/loadavg: 2.08 2.06 2.01 3/200 11871
/proc/meminfo: memFree=29827764/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=67960 memory=43928 CPUtime=3.09 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 11232 0 0 0 308 1 0 0 20 0 1 0 433636571 69591040 10982 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 16990 10982 846 493 0 10295 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67960 KiB
Current children cumulated memory: 43928 KiB
[startup+8.17167 s]
/proc/loadavg: 2.08 2.06 2.01 3/200 11871
/proc/meminfo: memFree=29827764/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=137744 memory=111324 CPUtime=8.16 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 27654 0 0 0 811 5 0 0 20 0 1 0 433636571 141049856 27831 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 34436 27831 846 493 0 27741 0
Current children cumulated CPU time: 8.16 s
Current children cumulated vsize: 137744 KiB
Current children cumulated memory: 111324 KiB
[startup+12.7003 s]
/proc/loadavg: 2.60 2.17 2.05 3/200 11871
/proc/meminfo: memFree=30182656/32770624 swapFree=66951808/67108860
[pid=11870] ppid=11867 vsize=198152 memory=170040 CPUtime=12.68 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 41268 0 0 0 1261 7 0 0 20 0 1 0 433636571 202907648 42510 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 49538 42510 846 493 0 42843 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 198152 KiB
Current children cumulated memory: 170040 KiB
[startup+25.5003 s]
/proc/loadavg: 2.51 2.16 2.05 3/200 11876
/proc/meminfo: memFree=30527276/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=359884 memory=335188 CPUtime=25.47 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 79591 0 0 0 2536 11 0 0 20 0 1 0 433636571 368521216 83797 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 89971 83797 846 493 0 83276 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 359884 KiB
Current children cumulated memory: 335188 KiB
[startup+51.1003 s]
/proc/loadavg: 2.33 2.15 2.05 3/199 11876
/proc/meminfo: memFree=30187316/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=703056 memory=670028 CPUtime=51.06 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 156130 0 0 0 5086 20 0 0 20 0 1 0 433636571 719929344 167507 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 175764 167507 846 493 0 169069 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 703056 KiB
Current children cumulated memory: 670028 KiB
[startup+102.3 s]
/proc/loadavg: 2.20 2.14 2.05 3/200 11888
/proc/meminfo: memFree=29520900/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=1399664 memory=1337300 CPUtime=102.24 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 308125 0 0 0 10182 42 0 0 20 0 1 0 433636571 1433255936 334325 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 349916 334325 846 493 0 343221 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 1399664 KiB
Current children cumulated memory: 1337300 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.11 2.05 3/201 11894
/proc/meminfo: memFree=28736116/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=2195028 memory=2120608 CPUtime=162.22 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 485603 0 0 0 16156 66 0 0 20 0 1 0 433636571 2247708672 530152 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 548757 530152 846 493 0 542062 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 2195028 KiB
Current children cumulated memory: 2120608 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.09 2.05 3/200 11898
/proc/meminfo: memFree=27950820/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=3031504 memory=2904392 CPUtime=222.2 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 662656 0 0 0 22132 88 0 0 20 0 1 0 433636571 3104260096 726098 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 757876 726098 846 493 0 751181 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 3031504 KiB
Current children cumulated memory: 2904392 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/200 11902
/proc/meminfo: memFree=27167028/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=3735724 memory=3686468 CPUtime=282.17 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 838805 0 0 0 28104 113 0 0 20 0 1 0 433636571 3825381376 921617 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 933931 921617 846 493 0 927236 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 3735724 KiB
Current children cumulated memory: 3686468 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/201 11908
/proc/meminfo: memFree=26385600/32770624 swapFree=66951812/67108860
[pid=11870] ppid=11867 vsize=4635624 memory=4467948 CPUtime=342.15 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1015309 0 0 0 34075 140 0 0 20 0 1 0 433636571 4746878976 1116987 33554432000 4194304 6211092 140723066634624 140723066622552 140024147942282 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 1158906 1116987 846 493 0 1152211 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 4635624 KiB
Current children cumulated memory: 4467948 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 11913
/proc/meminfo: memFree=25606276/32770624 swapFree=66951824/67108860
[pid=11870] ppid=11867 vsize=5337732 memory=5245860 CPUtime=402.11 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1190936 0 0 0 40048 163 0 0 20 0 1 0 433636571 5465837568 1311465 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 1334433 1311465 846 493 0 1327738 0
Current children cumulated CPU time: 402.11 s
Current children cumulated vsize: 5337732 KiB
Current children cumulated memory: 5245860 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 11917
/proc/meminfo: memFree=24821108/32770624 swapFree=66951824/67108860
[pid=11870] ppid=11867 vsize=6321308 memory=6027624 CPUtime=462.09 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1367544 0 0 0 46019 190 0 0 20 0 1 0 433636571 6473019392 1506906 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 1580327 1506906 846 493 0 1573632 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 6321308 KiB
Current children cumulated memory: 6027624 KiB
################
# More data... #
################
Current children cumulated vsize: 7746152 KiB
Current children cumulated memory: 7593064 KiB
[startup+642.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 11932
/proc/meminfo: memFree=22469872/32770624 swapFree=66951824/67108860
[pid=11870] ppid=11867 vsize=8474580 memory=8374764 CPUtime=642.02 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 1896871 0 0 0 63930 272 0 0 20 0 1 0 433636571 8677969920 2093691 33554432000 4194304 6211092 140723066634624 140723066622552 140024138923423 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 2118645 2093691 846 493 0 2111950 0
Current children cumulated CPU time: 642.02 s
Current children cumulated vsize: 8474580 KiB
Current children cumulated memory: 8374764 KiB
[startup+702.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/200 12069
/proc/meminfo: memFree=21643620/32770624 swapFree=66951828/67108860
[pid=11870] ppid=11867 vsize=9597112 memory=9154372 CPUtime=702 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2072985 0 0 0 69896 304 0 0 20 0 1 0 433636571 9827442688 2288593 33554432000 4194304 6211092 140723066634624 140723066622552 140024138923456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 2399278 2288593 846 493 0 2392583 0
Current children cumulated CPU time: 702 s
Current children cumulated vsize: 9597112 KiB
Current children cumulated memory: 9154372 KiB
[startup+762.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/200 12096
/proc/meminfo: memFree=20859532/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=10300672 memory=9935700 CPUtime=761.98 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2249018 0 0 0 75863 335 0 0 20 0 1 0 433636571 10547888128 2483925 33554432000 4194304 6211092 140723066634624 140723066622552 5454176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 2575168 2483925 846 493 0 2568473 0
Current children cumulated CPU time: 761.98 s
Current children cumulated vsize: 10300672 KiB
Current children cumulated memory: 9935700 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 12100
/proc/meminfo: memFree=20074452/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=11004100 memory=10719064 CPUtime=821.96 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2425030 0 0 0 81831 365 0 0 20 0 1 0 433636571 11268198400 2679766 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 2751025 2679766 846 493 0 2744330 0
Current children cumulated CPU time: 821.96 s
Current children cumulated vsize: 11004100 KiB
Current children cumulated memory: 10719064 KiB
[startup+882.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/201 12106
/proc/meminfo: memFree=19286184/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=11742988 memory=11498924 CPUtime=881.94 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2601216 0 0 0 87797 397 0 0 20 0 1 0 433636571 12024819712 2874731 33554432000 4194304 6211092 140723066634624 140723066622552 140024137993022 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 2935747 2874731 846 493 0 2929052 0
Current children cumulated CPU time: 881.94 s
Current children cumulated vsize: 11742988 KiB
Current children cumulated memory: 11498924 KiB
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/200 12110
/proc/meminfo: memFree=18498316/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=12445888 memory=12279676 CPUtime=941.92 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2777111 0 0 0 93762 430 0 0 20 0 1 0 433636571 12744589312 3069919 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3111472 3069919 846 493 0 3104777 0
Current children cumulated CPU time: 941.92 s
Current children cumulated vsize: 12445888 KiB
Current children cumulated memory: 12279676 KiB
[startup+1002.3 s]
/proc/loadavg: 2.29 2.08 2.06 3/200 12114
/proc/meminfo: memFree=17713424/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=13149184 memory=13060836 CPUtime=1001.9 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 2953125 0 0 0 99726 464 0 0 20 0 1 0 433636571 13464764416 3265209 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3287296 3265209 846 493 0 3280601 0
Current children cumulated CPU time: 1001.9 s
Current children cumulated vsize: 13149184 KiB
Current children cumulated memory: 13060836 KiB
[startup+1062.3 s]
/proc/loadavg: 2.30 2.14 2.08 3/200 12120
/proc/meminfo: memFree=16932016/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=14483244 memory=13842120 CPUtime=1061.88 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 3129668 0 0 0 105689 499 0 0 20 0 1 0 433636571 14830841856 3460530 33554432000 4194304 6211092 140723066634624 140723066622552 5446625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3620811 3460530 846 493 0 3614116 0
Current children cumulated CPU time: 1061.88 s
Current children cumulated vsize: 14483244 KiB
Current children cumulated memory: 13842120 KiB
[startup+1122.3 s]
/proc/loadavg: 2.15 2.13 2.08 3/199 12124
/proc/meminfo: memFree=16150252/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=15185616 memory=14622284 CPUtime=1121.86 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 3305435 0 0 0 111653 533 0 0 20 0 1 0 433636571 15550070784 3655571 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3796404 3655571 846 493 0 3789709 0
Current children cumulated CPU time: 1121.86 s
Current children cumulated vsize: 15185616 KiB
Current children cumulated memory: 14622284 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1181.1 s]
/proc/loadavg: 2.06 2.10 2.08 3/199 12128
/proc/meminfo: memFree=15379928/32770624 swapFree=66951836/67108860
[pid=11870] ppid=11867 vsize=15872940 memory=15387400 CPUtime=1180.64 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) R 11867 11870 10911 0 -1 4202496 3477448 0 0 0 117492 572 0 0 20 0 1 0 433636571 16253890560 3846850 33554432000 4194304 6211092 140723066634624 140723066622552 140024137997285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3968235 3846850 846 493 0 3961540 0
Current children cumulated CPU time: 1180.64 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15387400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1182.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/200 12129
/proc/meminfo: memFree=14966496/32770624 swapFree=66951840/67108860
[pid=11870] ppid=11867 vsize=15872940 memory=15387400 CPUtime=1180.81 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) S 11867 11870 10911 0 -1 512 3477453 0 0 0 117508 573 0 0 20 0 1 0 433636571 16253890560 3846850 33554432000 4194304 6211092 140723066634624 140723066622552 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3968235 3846850 846 493 0 3961540 0
Current children cumulated CPU time: 1180.81 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15387400 KiB
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1183.84 s]
# the end of solver process 11870 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1175.19 s, system=6.48286 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1182.5 s]
/proc/loadavg: 2.06 2.10 2.08 3/200 12129
/proc/meminfo: memFree=14966496/32770624 swapFree=66951840/67108860
[pid=11870] ppid=11867 vsize=15872940 memory=15387400 CPUtime=1180.84 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) S 11867 11870 10911 0 -1 512 3477453 0 0 0 117511 573 0 0 20 0 1 0 433636571 16253890560 3846850 33554432000 4194304 6211092 140723066634624 140723066622552 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3968235 3846850 846 493 0 3961540 0
Current children cumulated CPU time: 1180.84 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15387400 KiB
[startup+1182.9 s]*
/proc/loadavg: 2.06 2.10 2.08 3/200 12129
/proc/meminfo: memFree=14450524/32770624 swapFree=66951840/67108860
[pid=11870] ppid=11867 vsize=15872940 memory=15387400 CPUtime=1180.9 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) S 11867 11870 10911 0 -1 512 3477453 0 0 0 117516 574 0 0 20 0 1 0 433636571 16253890560 3846850 33554432000 4194304 6211092 140723066634624 140723066622552 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3968235 3846850 846 493 0 3961540 0
Current children cumulated CPU time: 1180.9 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15387400 KiB
[startup+1183.1 s]
/proc/loadavg: 2.06 2.10 2.08 3/200 12129
/proc/meminfo: memFree=14450524/32770624 swapFree=66951840/67108860
[pid=11870] ppid=11867 vsize=15872940 memory=15387400 CPUtime=1180.93 cores=0,2,4,6
/proc/11870/stat : 11870 (cosoco) S 11867 11870 10911 0 -1 512 3477453 0 0 0 117519 574 0 0 20 0 1 0 433636571 16253890560 3846850 33554432000 4194304 6211092 140723066634624 140723066622552 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 18546688 140723066639371 140723066639473 140723066639473 140723066642382 0
/proc/11870/statm: 3968235 3846850 846 493 0 3961540 0
Current children cumulated CPU time: 1180.93 s
Current children cumulated vsize: 15872940 KiB
Current children cumulated memory: 15387400 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1183.84
CPU time (s): 1181.68
CPU user time (s): 1175.19
CPU system time (s): 6.48286
CPU usage (%): 99.8171
Max. virtual memory (cumulated for all children) (KiB): 15872940
Max. memory (cumulated for all children) (KiB): 15387400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.19
system time used= 6.48286
maximum resident set size= 15387600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3477453
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= 127316
involuntary context switches= 1840
# summary of solver processes directly reported to runsolver:
# pid: 11870
# total CPU time (s): 1181.68
# total CPU user time (s): 1175.19
# total CPU system time (s): 6.48286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66399 second user time and 7.84828 second system time
The end