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 (13779 MiB free)
memory of node 1: 16384 MiB (13676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397889-1568589974/watcher-4397889-1568589974 -o /tmp/evaluation-result-4397889-1568589974/solver-4397889-1568589974 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568568567-1513 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397889-1568589974.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=5851, runsolver pid=5848
[startup+0.10021 s]*
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28102816/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=39024 memory=15232 CPUtime=0.1 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3985 0 0 0 10 0 0 0 20 0 1 0 435254556 39960576 3808 33554432000 4194304 6211092 140731006578816 140731006575352 139766364482366 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 9756 3808 809 493 0 3061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 15232 KiB
[startup+0.209745 s]*
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28099488/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=40732 memory=17008 CPUtime=0.2 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 4420 0 0 0 20 0 0 0 20 0 1 0 435254556 41709568 4252 33554432000 4194304 6211092 140731006578816 140731006576088 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 10183 4252 819 493 0 3488 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17008 KiB
[startup+0.309053 s]*
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28096884/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=41716 memory=18064 CPUtime=0.3 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 4679 0 0 0 30 0 0 0 20 0 1 0 435254556 42717184 4516 33554432000 4194304 6211092 140731006578816 140731006576088 5442918 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 10429 4516 819 493 0 3734 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 18064 KiB
[startup+0.700342 s]
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28092792/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=45712 memory=21996 CPUtime=0.69 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 5677 0 0 0 69 0 0 0 20 0 1 0 435254556 46809088 5499 33554432000 4194304 6211092 140731006578816 140731006576088 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 11428 5499 819 493 0 4733 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50035 s]
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28082748/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=54212 memory=30320 CPUtime=1.49 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 7760 0 0 0 149 0 0 0 20 0 1 0 435254556 55513088 7580 33554432000 4194304 6211092 140731006578816 140731006576088 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 13553 7580 819 493 0 6858 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 30320 KiB
[startup+3.1093 s]
/proc/loadavg: 2.34 2.13 2.08 3/198 5852
/proc/meminfo: memFree=28041856/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=71160 memory=47076 CPUtime=3.1 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 12117 0 0 0 309 1 0 0 20 0 1 0 435254556 72867840 11769 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 17790 11769 819 493 0 11095 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71160 KiB
Current children cumulated memory: 47076 KiB
[startup+6.30033 s]
/proc/loadavg: 2.31 2.12 2.08 3/198 5852
/proc/meminfo: memFree=27977996/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=104836 memory=80264 CPUtime=6.28 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 20589 0 0 0 627 1 0 0 20 0 1 0 435254556 107352064 20066 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 26209 20066 819 493 0 19514 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104836 KiB
Current children cumulated memory: 80264 KiB
[startup+12.7003 s]
/proc/loadavg: 2.29 2.12 2.08 3/198 5852
/proc/meminfo: memFree=27852940/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=170824 memory=146788 CPUtime=12.68 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 37405 0 0 0 1264 4 0 0 20 0 1 0 435254556 174923776 36697 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 42706 36697 819 493 0 36011 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 146788 KiB
[startup+25.5003 s]
/proc/loadavg: 2.22 2.12 2.08 3/198 5854
/proc/meminfo: memFree=27582212/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=305188 memory=280072 CPUtime=25.49 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 71028 0 0 0 2541 8 0 0 20 0 1 0 435254556 312512512 70018 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 76297 70018 819 493 0 69602 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 305188 KiB
Current children cumulated memory: 280072 KiB
[startup+51.1094 s]
/proc/loadavg: 2.15 2.11 2.07 3/198 5854
/proc/meminfo: memFree=27040252/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=575532 memory=547292 CPUtime=51.09 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 136465 0 0 0 5092 17 0 0 20 0 1 0 435254556 589344768 136823 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 143883 136823 819 493 0 137188 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 575532 KiB
Current children cumulated memory: 547292 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.07 4/198 5858
/proc/meminfo: memFree=25979496/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=1118992 memory=1079144 CPUtime=102.28 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 266582 0 0 0 10193 35 0 0 20 0 1 0 435254556 1145847808 269786 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 279748 269786 819 493 0 273053 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1118992 KiB
Current children cumulated memory: 1079144 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.07 2.06 4/198 5864
/proc/meminfo: memFree=24727872/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=1748552 memory=1705268 CPUtime=162.28 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 418462 0 0 0 16173 55 0 0 20 0 1 0 435254556 1790517248 426317 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 437138 426317 819 493 0 430443 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1748552 KiB
Current children cumulated memory: 1705268 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.06 4/198 5868
/proc/meminfo: memFree=23480828/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=2353508 memory=2328488 CPUtime=222.27 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 569698 0 0 0 22152 75 0 0 20 0 1 0 435254556 2409992192 582122 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 588377 582122 819 493 0 581682 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2353508 KiB
Current children cumulated memory: 2328488 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.05 4/198 5879
/proc/meminfo: memFree=22228952/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=2995376 memory=2954196 CPUtime=282.28 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 721501 0 0 0 28131 97 0 0 20 0 1 0 435254556 3067265024 738549 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 748844 738549 819 493 0 742149 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2995376 KiB
Current children cumulated memory: 2954196 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/198 5885
/proc/meminfo: memFree=20983428/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=3655300 memory=3576708 CPUtime=342.27 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 873393 0 0 0 34108 119 0 0 20 0 1 0 435254556 3743027200 894177 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 913825 894177 819 493 0 907130 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 3655300 KiB
Current children cumulated memory: 3576708 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/198 5889
/proc/meminfo: memFree=19731204/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=4259860 memory=4202332 CPUtime=402.26 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 1025168 0 0 0 40083 143 0 0 20 0 1 0 435254556 4362096640 1050583 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 1064965 1050583 819 493 0 1058270 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4259860 KiB
Current children cumulated memory: 4202332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/198 5893
/proc/meminfo: memFree=18484852/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=4864552 memory=4825340 CPUtime=462.26 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 1176835 0 0 0 46058 168 0 0 20 0 1 0 435254556 4981301248 1206335 33554432000 4194304 6211092 140731006578816 140731006552376 139766364482366 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 1216138 1206335 819 493 0 1209443 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 4864552 KiB
Current children cumulated memory: 4825340 KiB
################
# More data... #
################
Current children cumulated vsize: 9905872 KiB
Current children cumulated memory: 9815884 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5945
/proc/meminfo: memFree=7249416/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=10509508 memory=10438156 CPUtime=1002.23 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 2543510 0 0 0 99805 418 0 0 20 0 1 0 435254556 10761736192 2609539 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 2627377 2609539 819 493 0 2620682 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 10509508 KiB
Current children cumulated memory: 10438156 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 5951
/proc/meminfo: memFree=6001248/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=11113276 memory=11062136 CPUtime=1062.22 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 2695288 0 0 0 105771 451 0 0 20 0 1 0 435254556 11379994624 2765534 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 2778319 2765534 819 493 0 2771624 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 11113276 KiB
Current children cumulated memory: 11062136 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5956
/proc/meminfo: memFree=4755528/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=11716648 memory=11684004 CPUtime=1122.22 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 2847153 0 0 0 111739 483 0 0 20 0 1 0 435254556 11997847552 2921001 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 2929162 2921001 819 493 0 2922467 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 11716648 KiB
Current children cumulated memory: 11684004 KiB
[startup+1182.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/198 5960
/proc/meminfo: memFree=3507288/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=12507008 memory=12307652 CPUtime=1182.22 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 2999250 0 0 0 117706 516 0 0 20 0 1 0 435254556 12807176192 3076913 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3126752 3076913 819 493 0 3120057 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 12507008 KiB
Current children cumulated memory: 12307652 KiB
[startup+1242.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/198 5966
/proc/meminfo: memFree=2259864/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=13110644 memory=12931668 CPUtime=1242.21 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3151004 0 0 0 123672 549 0 0 20 0 1 0 435254556 13425299456 3232917 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3277661 3232917 819 493 0 3270966 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 13110644 KiB
Current children cumulated memory: 12931668 KiB
[startup+1302.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/198 5970
/proc/meminfo: memFree=1012548/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=13714016 memory=13553376 CPUtime=1302.21 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3302695 0 0 0 129639 582 0 0 20 0 1 0 435254556 14043152384 3388344 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3428504 3388344 819 493 0 3421809 0
Current children cumulated CPU time: 1302.21 s
Current children cumulated vsize: 13714016 KiB
Current children cumulated memory: 13553376 KiB
[startup+1362.3 s]
/proc/loadavg: 2.34 2.20 2.12 4/201 6041
/proc/meminfo: memFree=16465332/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=14318312 memory=14178212 CPUtime=1362.19 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3454156 0 0 0 135603 616 0 0 20 0 1 0 435254556 14661951488 3544553 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3579578 3544553 819 493 0 3572883 0
Current children cumulated CPU time: 1362.19 s
Current children cumulated vsize: 14318312 KiB
Current children cumulated memory: 14178212 KiB
[startup+1422.3 s]
/proc/loadavg: 2.12 2.16 2.11 4/201 6047
/proc/meminfo: memFree=15840092/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=14924456 memory=14802808 CPUtime=1422.16 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3605931 0 0 0 141559 657 0 0 20 0 1 0 435254556 15282642944 3700702 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3731114 3700702 819 493 0 3724419 0
Current children cumulated CPU time: 1422.16 s
Current children cumulated vsize: 14924456 KiB
Current children cumulated memory: 14802808 KiB
[startup+1482.3 s]
/proc/loadavg: 2.05 2.13 2.10 4/202 6059
/proc/meminfo: memFree=15212636/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15530072 memory=15428876 CPUtime=1482.14 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3757621 0 0 0 147510 704 0 0 20 0 1 0 435254556 15902793728 3857219 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3882518 3857219 819 493 0 3875823 0
Current children cumulated CPU time: 1482.14 s
Current children cumulated vsize: 15530072 KiB
Current children cumulated memory: 15428876 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1516.2 s]
/proc/loadavg: 2.03 2.12 2.10 4/202 6063
/proc/meminfo: memFree=14858636/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15872348 memory=15781212 CPUtime=1516.02 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 4202496 3843317 0 0 0 150871 731 0 0 20 0 1 0 435254556 16253284352 3945303 33554432000 4194304 6211092 140731006578816 140731006552376 139766364486629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3968087 3945303 819 493 0 3961392 0
Current children cumulated CPU time: 1516.02 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15781212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1519.1 s]
# the end of solver process 5851 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1508.99 s, system=8.23092 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1516.8 s]
/proc/loadavg: 2.03 2.12 2.10 4/202 6063
/proc/meminfo: memFree=14858636/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15872348 memory=15781472 CPUtime=1516.11 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) R 5848 5851 1482 0 -1 512 3843321 0 0 0 150879 732 0 0 20 0 1 0 435254556 16253284352 3945368 33554432000 4194304 6211092 140731006578816 140731006552376 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3968087 3945368 819 493 0 3961392 0
Current children cumulated CPU time: 1516.11 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15781472 KiB
[startup+1517.6 s]
/proc/loadavg: 2.03 2.12 2.10 4/203 6064
/proc/meminfo: memFree=14465744/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15872348 memory=15781472 CPUtime=1516.24 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) S 5848 5851 1482 0 -1 512 3843321 0 0 0 150891 733 0 0 20 0 1 0 435254556 16253284352 3945368 33554432000 4194304 6211092 140731006578816 140731006552376 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3968087 3945368 819 493 0 3961392 0
Current children cumulated CPU time: 1516.24 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15781472 KiB
[startup+1518 s]*
/proc/loadavg: 2.03 2.12 2.10 4/203 6064
/proc/meminfo: memFree=13964288/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15872348 memory=15781472 CPUtime=1516.29 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) S 5848 5851 1482 0 -1 512 3843321 0 0 0 150896 733 0 0 20 0 1 0 435254556 16253284352 3945368 33554432000 4194304 6211092 140731006578816 140731006552376 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3968087 3945368 819 493 0 3961392 0
Current children cumulated CPU time: 1516.29 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15781472 KiB
[startup+1518.2 s]
/proc/loadavg: 2.03 2.12 2.10 4/203 6064
/proc/meminfo: memFree=13964288/32770624 swapFree=66913152/67108860
[pid=5851] ppid=5848 vsize=15872348 memory=15781472 CPUtime=1516.32 cores=0,2,4,6
/proc/5851/stat : 5851 (cosoco) S 5848 5851 1482 0 -1 512 3843321 0 0 0 150899 733 0 0 20 0 1 0 435254556 16253284352 3945368 33554432000 4194304 6211092 140731006578816 140731006552376 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 10678272 140731006583819 140731006583921 140731006583921 140731006586830 0
/proc/5851/statm: 3968087 3945368 819 493 0 3961392 0
Current children cumulated CPU time: 1516.32 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15781472 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1519.1
CPU time (s): 1517.22
CPU user time (s): 1508.99
CPU system time (s): 8.23092
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 15872348
Max. memory (cumulated for all children) (KiB): 15781472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1508.99
system time used= 8.23092
maximum resident set size= 15781476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843321
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= 123105
involuntary context switches= 473
# summary of solver processes directly reported to runsolver:
# pid: 5851
# total CPU time (s): 1517.22
# total CPU user time (s): 1508.99
# total CPU system time (s): 8.23092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85328 second user time and 10.0777 second system time
The end