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 (13842 MiB free)
memory of node 1: 16384 MiB (15555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397215-1568594145/watcher-4397215-1568594145 -o /tmp/evaluation-result-4397215-1568594145/solver-4397215-1568594145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568594032-14981 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397215-1568594145.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15081, runsolver pid=15078
[startup+0.100153 s]*
/proc/loadavg: 3.97 2.03 1.91 3/199 15082
/proc/meminfo: memFree=30090904/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=39160 memory=15372 CPUtime=0.1 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 4010 0 0 0 10 0 0 0 20 0 1 0 435356366 40099840 3843 33554432000 4194304 6211092 140732975235408 140732975231416 5734816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 9790 3843 809 493 0 3095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15372 KiB
[startup+0.209602 s]*
/proc/loadavg: 3.97 2.03 1.91 3/199 15082
/proc/meminfo: memFree=30087944/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=40736 memory=17012 CPUtime=0.21 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 4435 0 0 0 21 0 0 0 20 0 1 0 435356366 41713664 4253 33554432000 4194304 6211092 140732975235408 140732975231416 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 10184 4253 819 493 0 3489 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 17012 KiB
[startup+0.308999 s]*
/proc/loadavg: 3.97 2.03 1.91 3/199 15082
/proc/meminfo: memFree=30086084/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=41720 memory=18068 CPUtime=0.3 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 4695 0 0 0 30 0 0 0 20 0 1 0 435356366 42721280 4517 33554432000 4194304 6211092 140732975235408 140732975231416 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 10430 4517 819 493 0 3735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 18068 KiB
[startup+0.700285 s]
/proc/loadavg: 3.97 2.03 1.91 3/199 15082
/proc/meminfo: memFree=30081620/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=45848 memory=22000 CPUtime=0.69 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 5692 0 0 0 69 0 0 0 20 0 1 0 435356366 46948352 5500 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 11462 5500 819 493 0 4767 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 22000 KiB
[startup+1.50028 s]
/proc/loadavg: 3.97 2.03 1.91 3/199 15082
/proc/meminfo: memFree=30072072/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=54216 memory=30324 CPUtime=1.49 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 7775 0 0 0 148 1 0 0 20 0 1 0 435356366 55517184 7581 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 13554 7581 819 493 0 6859 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54216 KiB
Current children cumulated memory: 30324 KiB
[startup+3.10929 s]
/proc/loadavg: 3.65 2.00 1.90 3/199 15082
/proc/meminfo: memFree=30031300/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=71164 memory=47076 CPUtime=3.1 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 12139 0 0 0 309 1 0 0 20 0 1 0 435356366 72871936 11769 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 17791 11769 819 493 0 11096 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71164 KiB
Current children cumulated memory: 47076 KiB
[startup+6.30027 s]
/proc/loadavg: 3.65 2.00 1.90 3/199 15083
/proc/meminfo: memFree=29968356/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=104972 memory=80268 CPUtime=6.28 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 20623 0 0 0 626 2 0 0 20 0 1 0 435356366 107491328 20067 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 26243 20067 819 493 0 19548 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104972 KiB
Current children cumulated memory: 80268 KiB
[startup+12.7003 s]
/proc/loadavg: 3.40 2.00 1.90 3/199 15083
/proc/meminfo: memFree=29843440/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=170960 memory=146792 CPUtime=12.69 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 37445 0 0 0 1264 5 0 0 20 0 1 0 435356366 175063040 36698 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 42740 36698 819 493 0 36045 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170960 KiB
Current children cumulated memory: 146792 KiB
[startup+25.5003 s]
/proc/loadavg: 3.18 2.00 1.91 3/199 15085
/proc/meminfo: memFree=29571748/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=305324 memory=280784 CPUtime=25.48 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 70731 0 0 0 2540 8 0 0 20 0 1 0 435356366 312651776 70196 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 76331 70196 819 493 0 69636 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 305324 KiB
Current children cumulated memory: 280784 KiB
[startup+51.1093 s]
/proc/loadavg: 2.78 2.00 1.91 3/200 15086
/proc/meminfo: memFree=29027868/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=575536 memory=548352 CPUtime=51.09 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 136788 0 0 0 5092 17 0 0 20 0 1 0 435356366 589348864 137088 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 143884 137088 819 493 0 137189 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 575536 KiB
Current children cumulated memory: 548352 KiB
[startup+102.3 s]
/proc/loadavg: 2.31 2.00 1.91 3/200 15090
/proc/meminfo: memFree=27966104/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=1118732 memory=1080660 CPUtime=102.28 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 266975 0 0 0 10194 34 0 0 20 0 1 0 435356366 1145581568 270165 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 279683 270165 819 493 0 272988 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1118732 KiB
Current children cumulated memory: 1080660 KiB
[startup+162.3 s]
/proc/loadavg: 2.11 2.00 1.92 3/200 15096
/proc/meminfo: memFree=26720000/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=1748160 memory=1703948 CPUtime=162.27 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 418706 0 0 0 16173 54 0 0 20 0 1 0 435356366 1790115840 425987 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 437040 425987 819 493 0 430345 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1748160 KiB
Current children cumulated memory: 1703948 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/200 15100
/proc/meminfo: memFree=25470400/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=2352984 memory=2327696 CPUtime=222.27 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 570027 0 0 0 22153 74 0 0 20 0 1 0 435356366 2409455616 581924 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 588246 581924 819 493 0 581551 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2352984 KiB
Current children cumulated memory: 2327696 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/200 15104
/proc/meminfo: memFree=24221304/32770624 swapFree=66952120/67108860
[pid=15081] ppid=15078 vsize=2994720 memory=2952612 CPUtime=282.27 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 721674 0 0 0 28133 94 0 0 20 0 1 0 435356366 3066593280 738153 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 748680 738153 819 493 0 741985 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2994720 KiB
Current children cumulated memory: 2952612 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/200 15118
/proc/meminfo: memFree=22970652/32770624 swapFree=66952124/67108860
[pid=15081] ppid=15078 vsize=3654644 memory=3577668 CPUtime=342.26 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 873676 0 0 0 34111 115 0 0 20 0 1 0 435356366 3742355456 894417 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 913661 894417 819 493 0 906966 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 3654644 KiB
Current children cumulated memory: 3577668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 15122
/proc/meminfo: memFree=21724916/32770624 swapFree=66952124/67108860
[pid=15081] ppid=15078 vsize=4259204 memory=4200672 CPUtime=402.25 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 1025336 0 0 0 40086 139 0 0 20 0 1 0 435356366 4361424896 1050168 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 1064801 1050168 819 493 0 1058106 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4259204 KiB
Current children cumulated memory: 4200672 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 15126
/proc/meminfo: memFree=20476404/32770624 swapFree=66952124/67108860
[pid=15081] ppid=15078 vsize=4863632 memory=4825672 CPUtime=462.25 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 1176995 0 0 0 46066 159 0 0 20 0 1 0 435356366 4980359168 1206418 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 1215908 1206418 819 493 0 1209213 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 4863632 KiB
Current children cumulated memory: 4825672 KiB
################
# More data... #
################
Current children cumulated vsize: 9903368 KiB
Current children cumulated memory: 9812684 KiB
[startup+1002.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/200 15176
/proc/meminfo: memFree=9249988/32770624 swapFree=66952128/67108860
[pid=15081] ppid=15078 vsize=10507136 memory=10436884 CPUtime=1002.21 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 2544098 0 0 0 99832 389 0 0 20 0 1 0 435356366 10759307264 2609221 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 2626784 2609221 819 493 0 2620089 0
Current children cumulated CPU time: 1002.21 s
Current children cumulated vsize: 10507136 KiB
Current children cumulated memory: 10436884 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/200 15182
/proc/meminfo: memFree=8001676/32770624 swapFree=66952128/67108860
[pid=15081] ppid=15078 vsize=11110772 memory=11059040 CPUtime=1062.2 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 2695891 0 0 0 105801 419 0 0 20 0 1 0 435356366 11377430528 2764760 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 2777693 2764760 819 493 0 2770998 0
Current children cumulated CPU time: 1062.2 s
Current children cumulated vsize: 11110772 KiB
Current children cumulated memory: 11059040 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/200 15186
/proc/meminfo: memFree=6754480/32770624 swapFree=66952128/67108860
[pid=15081] ppid=15078 vsize=11714408 memory=11682976 CPUtime=1122.19 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 2847659 0 0 0 111772 447 0 0 20 0 1 0 435356366 11995553792 2920744 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 2928602 2920744 819 493 0 2921907 0
Current children cumulated CPU time: 1122.19 s
Current children cumulated vsize: 11714408 KiB
Current children cumulated memory: 11682976 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 15190
/proc/meminfo: memFree=5510848/32770624 swapFree=66952128/67108860
[pid=15081] ppid=15078 vsize=12504768 memory=12306368 CPUtime=1182.2 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 2999767 0 0 0 117740 480 0 0 20 0 1 0 435356366 12804882432 3076592 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3126192 3076592 819 493 0 3119497 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 12504768 KiB
Current children cumulated memory: 12306368 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/199 15197
/proc/meminfo: memFree=4262784/32770624 swapFree=66952132/67108860
[pid=15081] ppid=15078 vsize=13108140 memory=12928220 CPUtime=1242.2 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3151504 0 0 0 123710 510 0 0 20 0 1 0 435356366 13422735360 3232055 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3277035 3232055 819 493 0 3270340 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 13108140 KiB
Current children cumulated memory: 12928220 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/199 15201
/proc/meminfo: memFree=3017172/32770624 swapFree=66952132/67108860
[pid=15081] ppid=15078 vsize=13711644 memory=13552156 CPUtime=1302.19 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3303239 0 0 0 129678 541 0 0 20 0 1 0 435356366 14040723456 3388039 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3427911 3388039 819 493 0 3421216 0
Current children cumulated CPU time: 1302.19 s
Current children cumulated vsize: 13711644 KiB
Current children cumulated memory: 13552156 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/199 15205
/proc/meminfo: memFree=1770944/32770624 swapFree=66952132/67108860
[pid=15081] ppid=15078 vsize=14315016 memory=14174048 CPUtime=1362.19 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3454952 0 0 0 135647 572 0 0 20 0 1 0 435356366 14658576384 3543512 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3578754 3543512 819 493 0 3572059 0
Current children cumulated CPU time: 1362.19 s
Current children cumulated vsize: 14315016 KiB
Current children cumulated memory: 14174048 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/199 15212
/proc/meminfo: memFree=525896/32770624 swapFree=66952132/67108860
[pid=15081] ppid=15078 vsize=14918124 memory=14797608 CPUtime=1422.18 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3606770 0 0 0 141612 606 0 0 20 0 1 0 435356366 15276158976 3699402 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3729531 3699402 819 493 0 3722836 0
Current children cumulated CPU time: 1422.18 s
Current children cumulated vsize: 14918124 KiB
Current children cumulated memory: 14797608 KiB
[startup+1482.3 s]*
/proc/loadavg: 2.33 2.12 2.05 3/202 15284
/proc/meminfo: memFree=16174012/32770624 swapFree=66952224/67108860
[pid=15081] ppid=15078 vsize=15518196 memory=15416068 CPUtime=1481.89 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3757638 0 0 0 147547 642 0 0 20 0 1 0 435356366 15890632704 3854017 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3879549 3854017 819 493 0 3872854 0
Current children cumulated CPU time: 1481.89 s
Current children cumulated vsize: 15518196 KiB
Current children cumulated memory: 15416068 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1517.41 s]
/proc/loadavg: 2.18 2.10 2.05 3/204 15296
/proc/meminfo: memFree=15807116/32770624 swapFree=66952232/67108860
[pid=15081] ppid=15078 vsize=15872088 memory=15782292 CPUtime=1516.98 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 4202496 3846385 0 0 0 151036 662 0 0 20 0 1 0 435356366 16253018112 3945573 33554432000 4194304 6211092 140732975235408 140732975208968 139794890796005 0 0 4096 8405026 0 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3968022 3945573 819 493 0 3961327 0
Current children cumulated CPU time: 1516.98 s
Current children cumulated vsize: 15872088 KiB
Current children cumulated memory: 15782292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1520.29 s]
# the end of solver process 15081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1510.57 s, system=7.52351 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1518.7 s]
/proc/loadavg: 2.18 2.10 2.05 3/205 15297
/proc/meminfo: memFree=15320252/32770624 swapFree=66952232/67108860
[pid=15081] ppid=15078 vsize=15872088 memory=15782292 CPUtime=1517.16 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) S 15078 15081 14949 0 -1 512 3846390 0 0 0 151053 663 0 0 20 0 1 0 435356366 16253018112 3945573 33554432000 4194304 6211092 140732975235408 140732975208968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3968022 3945573 819 493 0 3961327 0
Current children cumulated CPU time: 1517.16 s
Current children cumulated vsize: 15872088 KiB
Current children cumulated memory: 15782292 KiB
[startup+1519.1 s]
/proc/loadavg: 2.18 2.10 2.05 3/205 15297
/proc/meminfo: memFree=15320252/32770624 swapFree=66952232/67108860
[pid=15081] ppid=15078 vsize=15872088 memory=15782292 CPUtime=1517.16 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) R 15078 15081 14949 0 -1 512 3846390 0 0 0 151053 663 0 0 20 0 1 0 435356366 16253018112 3945573 33554432000 4194304 6211092 140732975235408 140732975208968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3968022 3945573 819 493 0 3961327 0
Current children cumulated CPU time: 1517.16 s
Current children cumulated vsize: 15872088 KiB
Current children cumulated memory: 15782292 KiB
[startup+1519.3 s]*
/proc/loadavg: 2.18 2.10 2.05 3/205 15297
/proc/meminfo: memFree=14998108/32770624 swapFree=66952232/67108860
[pid=15081] ppid=15078 vsize=15872088 memory=15782292 CPUtime=1517.2 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) S 15078 15081 14949 0 -1 512 3846390 0 0 0 151057 663 0 0 20 0 1 0 435356366 16253018112 3945573 33554432000 4194304 6211092 140732975235408 140732975208968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3968022 3945573 819 493 0 3961327 0
Current children cumulated CPU time: 1517.2 s
Current children cumulated vsize: 15872088 KiB
Current children cumulated memory: 15782292 KiB
[startup+1519.41 s]
/proc/loadavg: 2.18 2.10 2.05 3/205 15297
/proc/meminfo: memFree=14998108/32770624 swapFree=66952232/67108860
[pid=15081] ppid=15078 vsize=15872088 memory=15782292 CPUtime=1517.2 cores=1,3,5,7
/proc/15081/stat : 15081 (cosoco) S 15078 15081 14949 0 -1 512 3846390 0 0 0 151057 663 0 0 20 0 1 0 435356366 16253018112 3945573 33554432000 4194304 6211092 140732975235408 140732975208968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 29 0 0 8312316 8317760 39219200 140732975240203 140732975240305 140732975240305 140732975243214 0
/proc/15081/statm: 3968022 3945573 819 493 0 3961327 0
Current children cumulated CPU time: 1517.2 s
Current children cumulated vsize: 15872088 KiB
Current children cumulated memory: 15782292 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1520.29
CPU time (s): 1518.1
CPU user time (s): 1510.57
CPU system time (s): 7.52351
CPU usage (%): 99.8555
Max. virtual memory (cumulated for all children) (KiB): 15872088
Max. memory (cumulated for all children) (KiB): 15782292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1510.57
system time used= 7.52351
maximum resident set size= 15782416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3846390
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= 96282
involuntary context switches= 1571
# summary of solver processes directly reported to runsolver:
# pid: 15081
# total CPU time (s): 1518.1
# total CPU user time (s): 1510.57
# total CPU system time (s): 7.52351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63469 second user time and 9.92553 second system time
The end