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 (14808 MiB free)
memory of node 1: 16384 MiB (15358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397210-1568594434/watcher-4397210-1568594434 -o /tmp/evaluation-result-4397210-1568594434/solver-4397210-1568594434 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568590716-9110 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397210-1568594434.xml
running on 4 cores: 0,2,4,6
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=9140, runsolver pid=9137
[startup+0.10011 s]*
/proc/loadavg: 1.00 1.07 1.45 3/198 9141
/proc/meminfo: memFree=30876456/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=39160 memory=15372 CPUtime=0.1 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 4008 0 0 0 10 0 0 0 20 0 1 0 435699252 40099840 3843 33554432000 4194304 6211092 140730901548960 140730901545496 140045957063808 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/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.209783 s]*
/proc/loadavg: 1.00 1.07 1.45 3/198 9141
/proc/meminfo: memFree=30871248/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=40736 memory=17012 CPUtime=0.21 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 4430 0 0 0 21 0 0 0 20 0 1 0 435699252 41713664 4253 33554432000 4194304 6211092 140730901548960 140730901522520 140045941070824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/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.309074 s]*
/proc/loadavg: 1.00 1.07 1.45 3/198 9141
/proc/meminfo: memFree=30867156/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=41720 memory=18068 CPUtime=0.31 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 4683 0 0 0 31 0 0 0 20 0 1 0 435699252 42721280 4517 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 10430 4517 819 493 0 3735 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 18068 KiB
[startup+0.700229 s]
/proc/loadavg: 1.00 1.07 1.45 3/198 9141
/proc/meminfo: memFree=30858420/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=45716 memory=22000 CPUtime=0.69 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 5671 0 0 0 69 0 0 0 20 0 1 0 435699252 46813184 5500 33554432000 4194304 6211092 140730901548960 140730901522520 5479622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 11429 5500 819 493 0 4734 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45716 KiB
Current children cumulated memory: 22000 KiB
[startup+1.50023 s]
/proc/loadavg: 1.00 1.07 1.45 3/198 9141
/proc/meminfo: memFree=30837216/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=54084 memory=30060 CPUtime=1.49 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 7737 0 0 0 148 1 0 0 20 0 1 0 435699252 55382016 7515 33554432000 4194304 6211092 140730901548960 140730901522520 5454188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 13521 7515 819 493 0 6826 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 30060 KiB
[startup+3.10942 s]
/proc/loadavg: 1.00 1.07 1.45 3/199 9143
/proc/meminfo: memFree=30797156/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=70900 memory=46812 CPUtime=3.1 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 12058 0 0 0 309 1 0 0 20 0 1 0 435699252 72601600 11703 33554432000 4194304 6211092 140730901548960 140730901522520 5013062 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 17725 11703 819 493 0 11030 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70900 KiB
Current children cumulated memory: 46812 KiB
[startup+6.30022 s]
/proc/loadavg: 0.92 1.05 1.44 3/199 9144
/proc/meminfo: memFree=30765976/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=104444 memory=79768 CPUtime=6.29 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 20352 0 0 0 627 2 0 0 20 0 1 0 435699252 106950656 19942 33554432000 4194304 6211092 140730901548960 140730901522520 5452215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 26111 19942 819 493 0 19416 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104444 KiB
Current children cumulated memory: 79768 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 1.07 1.44 6/211 9234
/proc/meminfo: memFree=30722388/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=170168 memory=146024 CPUtime=12.68 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 37005 0 0 0 1265 3 0 0 20 0 1 0 435699252 174252032 36506 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 42542 36506 819 493 0 35847 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170168 KiB
Current children cumulated memory: 146024 KiB
[startup+25.5003 s]
/proc/loadavg: 1.09 1.08 1.44 3/198 9266
/proc/meminfo: memFree=30569736/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=304532 memory=279708 CPUtime=25.47 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 70013 0 0 0 2540 7 0 0 20 0 1 0 435699252 311840768 69927 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 76133 69927 819 493 0 69438 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 304532 KiB
Current children cumulated memory: 279708 KiB
[startup+51.1097 s]
/proc/loadavg: 1.40 1.16 1.46 3/198 9268
/proc/meminfo: memFree=30297196/32770624 swapFree=66925476/67108860
[pid=9140] ppid=9137 vsize=574744 memory=547584 CPUtime=51.06 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 135949 0 0 0 5089 17 0 0 20 0 1 0 435699252 588537856 136896 33554432000 4194304 6211092 140730901548960 140730901522520 140045941927360 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 143686 136896 819 493 0 136991 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 574744 KiB
Current children cumulated memory: 547584 KiB
[startup+102.3 s]
/proc/loadavg: 1.67 1.27 1.48 3/199 9280
/proc/meminfo: memFree=29768548/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=1118072 memory=1078376 CPUtime=102.23 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 265625 0 0 0 10188 35 0 0 20 0 1 0 435699252 1144905728 269528 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 279518 269594 819 493 0 272823 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 1118072 KiB
Current children cumulated memory: 1078376 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 1.40 1.51 3/199 9284
/proc/meminfo: memFree=29142356/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=1747368 memory=1702984 CPUtime=162.2 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 417752 0 0 0 16163 57 0 0 20 0 1 0 435699252 1789304832 425746 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 436842 425746 819 493 0 430147 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 1747368 KiB
Current children cumulated memory: 1702984 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.51 1.54 3/199 9288
/proc/meminfo: memFree=28515520/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=2352192 memory=2328248 CPUtime=222.18 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 568951 0 0 0 22143 75 0 0 20 0 1 0 435699252 2408644608 582062 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 588048 582062 819 493 0 581353 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 2352192 KiB
Current children cumulated memory: 2328248 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.60 1.57 3/199 9294
/proc/meminfo: memFree=27890760/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=2993928 memory=2951848 CPUtime=282.16 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 720221 0 0 0 28119 97 0 0 20 0 1 0 435699252 3065782272 737962 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 748482 737962 819 493 0 741787 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 2993928 KiB
Current children cumulated memory: 2951848 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.60 3/199 9298
/proc/meminfo: memFree=27266472/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=3654116 memory=3575492 CPUtime=342.14 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 871659 0 0 0 34098 116 0 0 20 0 1 0 435699252 3741814784 893873 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 913529 893873 819 493 0 906834 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 3654116 KiB
Current children cumulated memory: 3575492 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 1.75 1.63 3/198 9302
/proc/meminfo: memFree=26640220/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=4259072 memory=4200416 CPUtime=402.12 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 1023368 0 0 0 40078 134 0 0 20 0 1 0 435699252 4361289728 1050104 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 1064768 1050104 819 493 0 1058073 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 4259072 KiB
Current children cumulated memory: 4200416 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 1.79 1.65 3/198 9308
/proc/meminfo: memFree=26013076/32770624 swapFree=66925484/67108860
[pid=9140] ppid=9137 vsize=4863896 memory=4825792 CPUtime=462.11 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 1174688 0 0 0 46056 155 0 0 20 0 1 0 435699252 4980629504 1206448 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 1215974 1206448 819 493 0 1209279 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 4863896 KiB
Current children cumulated memory: 4825792 KiB
################
# More data... #
################
Current children cumulated vsize: 9907328 KiB
Current children cumulated memory: 9816488 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 1.98 1.81 3/198 9360
/proc/meminfo: memFree=20385888/32770624 swapFree=66925488/67108860
[pid=9140] ppid=9137 vsize=10511492 memory=10441260 CPUtime=1001.93 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 2537414 0 0 0 99822 371 0 0 20 0 1 0 435699252 10763767808 2610315 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 2627873 2610315 819 493 0 2621178 0
Current children cumulated CPU time: 1001.93 s
Current children cumulated vsize: 10511492 KiB
Current children cumulated memory: 10441260 KiB
[startup+1062.3 s]
/proc/loadavg: 2.08 2.00 1.83 3/198 9364
/proc/meminfo: memFree=19762608/32770624 swapFree=66925488/67108860
[pid=9140] ppid=9137 vsize=11115392 memory=11063460 CPUtime=1061.91 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 2688649 0 0 0 105794 397 0 0 20 0 1 0 435699252 11382161408 2765865 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 2778848 2765865 819 493 0 2772153 0
Current children cumulated CPU time: 1061.91 s
Current children cumulated vsize: 11115392 KiB
Current children cumulated memory: 11063460 KiB
[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 1.84 3/198 9368
/proc/meminfo: memFree=19137152/32770624 swapFree=66925488/67108860
[pid=9140] ppid=9137 vsize=11719160 memory=11687704 CPUtime=1121.89 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 2839849 0 0 0 111766 423 0 0 20 0 1 0 435699252 12000419840 2921926 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 2929790 2921926 819 493 0 2923095 0
Current children cumulated CPU time: 1121.89 s
Current children cumulated vsize: 11719160 KiB
Current children cumulated memory: 11687704 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/198 9375
/proc/meminfo: memFree=18512120/32770624 swapFree=66925488/67108860
[pid=9140] ppid=9137 vsize=12509520 memory=12311236 CPUtime=1181.87 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 2991891 0 0 0 117734 453 0 0 20 0 1 0 435699252 12809748480 3077809 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3127380 3077809 819 493 0 3120685 0
Current children cumulated CPU time: 1181.87 s
Current children cumulated vsize: 12509520 KiB
Current children cumulated memory: 12311236 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/198 9379
/proc/meminfo: memFree=17888912/32770624 swapFree=66925488/67108860
[pid=9140] ppid=9137 vsize=13113552 memory=12933700 CPUtime=1241.85 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3143164 0 0 0 123703 482 0 0 20 0 1 0 435699252 13428277248 3233425 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3278388 3233425 819 493 0 3271693 0
Current children cumulated CPU time: 1241.85 s
Current children cumulated vsize: 13113552 KiB
Current children cumulated memory: 12933700 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 9391
/proc/meminfo: memFree=17262544/32770624 swapFree=66925492/67108860
[pid=9140] ppid=9137 vsize=13717320 memory=13557944 CPUtime=1301.83 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3294372 0 0 0 129672 511 0 0 20 0 1 0 435699252 14046535680 3389486 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3429363 3389486 819 493 0 3422668 0
Current children cumulated CPU time: 1301.83 s
Current children cumulated vsize: 13717320 KiB
Current children cumulated memory: 13557944 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/200 9419
/proc/meminfo: memFree=16637416/32770624 swapFree=66925496/67108860
[pid=9140] ppid=9137 vsize=14321220 memory=14180144 CPUtime=1361.81 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3445589 0 0 0 135640 541 0 0 20 0 1 0 435699252 14664929280 3545036 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3580305 3545036 819 493 0 3573610 0
Current children cumulated CPU time: 1361.81 s
Current children cumulated vsize: 14321220 KiB
Current children cumulated memory: 14180144 KiB
[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/200 9423
/proc/meminfo: memFree=16013248/32770624 swapFree=66925496/67108860
[pid=9140] ppid=9137 vsize=14924856 memory=14804184 CPUtime=1421.79 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3596809 0 0 0 141607 572 0 0 20 0 1 0 435699252 15283052544 3701046 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3731214 3701046 819 493 0 3724519 0
Current children cumulated CPU time: 1421.79 s
Current children cumulated vsize: 14924856 KiB
Current children cumulated memory: 14804184 KiB
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/200 9427
/proc/meminfo: memFree=15390332/32770624 swapFree=66925496/67108860
[pid=9140] ppid=9137 vsize=15527832 memory=15425592 CPUtime=1481.77 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3747832 0 0 0 147570 607 0 0 20 0 1 0 435699252 15900499968 3856398 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3881958 3856398 819 493 0 3875263 0
Current children cumulated CPU time: 1481.77 s
Current children cumulated vsize: 15527832 KiB
Current children cumulated memory: 15425592 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1516.6 s]
/proc/loadavg: 2.01 2.01 1.90 3/200 9431
/proc/meminfo: memFree=15035468/32770624 swapFree=66925496/67108860
[pid=9140] ppid=9137 vsize=15872484 memory=15782556 CPUtime=1516.06 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) R 9137 9140 9079 0 -1 4202496 3834136 0 0 0 150977 629 0 0 20 0 1 0 435699252 16253423616 3945639 33554432000 4194304 6211092 140730901548960 140730901522520 140045941001189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3968121 3945639 819 493 0 3961426 0
Current children cumulated CPU time: 1516.06 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15782556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1519.35 s]
# the end of solver process 9140 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1510.04 s, system=7.06526 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1516.8 s]
/proc/loadavg: 2.01 2.01 1.90 3/200 9431
/proc/meminfo: memFree=15035468/32770624 swapFree=66925496/67108860
[pid=9140] ppid=9137 vsize=15872484 memory=15782556 CPUtime=1516.09 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) S 9137 9140 9079 0 -1 512 3834141 0 0 0 150979 630 0 0 20 0 1 0 435699252 16253423616 3945639 33554432000 4194304 6211092 140730901548960 140730901522520 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3968121 3945639 819 493 0 3961426 0
Current children cumulated CPU time: 1516.09 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15782556 KiB
[startup+1517.6 s]
/proc/loadavg: 2.01 2.01 1.90 3/201 9432
/proc/meminfo: memFree=14814932/32770624 swapFree=66925504/67108860
[pid=9140] ppid=9137 vsize=15872484 memory=15782556 CPUtime=1516.2 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) S 9137 9140 9079 0 -1 512 3834141 0 0 0 150990 630 0 0 20 0 1 0 435699252 16253423616 3945639 33554432000 4194304 6211092 140730901548960 140730901522520 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3968121 3945639 819 493 0 3961426 0
Current children cumulated CPU time: 1516.2 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15782556 KiB
[startup+1518.4 s]
/proc/loadavg: 2.01 2.01 1.90 3/201 9432
/proc/meminfo: memFree=14312328/32770624 swapFree=66925504/67108860
[pid=9140] ppid=9137 vsize=15872484 memory=15782556 CPUtime=1516.32 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) S 9137 9140 9079 0 -1 512 3834141 0 0 0 151001 631 0 0 20 0 1 0 435699252 16253423616 3945639 33554432000 4194304 6211092 140730901548960 140730901522520 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3968121 3945639 819 493 0 3961426 0
Current children cumulated CPU time: 1516.32 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15782556 KiB
[startup+1518.6 s]
/proc/loadavg: 2.01 2.01 1.90 3/201 9432
/proc/meminfo: memFree=14312328/32770624 swapFree=66925504/67108860
[pid=9140] ppid=9137 vsize=15872484 memory=15782556 CPUtime=1516.34 cores=0,2,4,6
/proc/9140/stat : 9140 (cosoco) S 9137 9140 9079 0 -1 512 3834141 0 0 0 151003 631 0 0 20 0 1 0 435699252 16253423616 3945639 33554432000 4194304 6211092 140730901548960 140730901522520 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 13774848 140730901554187 140730901554289 140730901554289 140730901557198 0
/proc/9140/statm: 3968121 3945639 819 493 0 3961426 0
Current children cumulated CPU time: 1516.34 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15782556 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1519.35
CPU time (s): 1517.1
CPU user time (s): 1510.04
CPU system time (s): 7.06526
CPU usage (%): 99.8521
Max. virtual memory (cumulated for all children) (KiB): 15872484
Max. memory (cumulated for all children) (KiB): 15782556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1510.04
system time used= 7.06526
maximum resident set size= 15782704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834141
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= 126748
involuntary context switches= 1836
# summary of solver processes directly reported to runsolver:
# pid: 9140
# total CPU time (s): 1517.1
# total CPU user time (s): 1510.04
# total CPU system time (s): 7.06526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36603 second user time and 10.8666 second system time
The end