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 (14562 MiB free)
memory of node 1: 16384 MiB (15568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397713-1568575414/watcher-4397713-1568575414 -o /tmp/evaluation-result-4397713-1568575414/solver-4397713-1568575414 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568572742-10942 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397713-1568575414.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
solver pid=11671, runsolver pid=11668
Current StackSize limit: 8192 KiB
[startup+0.100194 s]*
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30853268/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=28680 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 1466 0 0 0 10 0 0 0 20 0 1 0 433483318 29368320 1252 33554432000 4194304 6211092 140726668294720 140726668291256 140381441475414 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 7170 1252 845 493 0 475 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28680 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209591 s]*
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30852152/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=29900 memory=6328 CPUtime=0.21 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 1747 0 0 0 21 0 0 0 20 0 1 0 433483318 30617600 1582 33554432000 4194304 6211092 140726668294720 140726668291256 5446279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 7475 1582 846 493 0 780 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29900 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309007 s]*
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30851408/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=30864 memory=7120 CPUtime=0.31 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 2002 0 0 0 31 0 0 0 20 0 1 0 433483318 31604736 1780 33554432000 4194304 6211092 140726668294720 140726668291256 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 7716 1780 846 493 0 1021 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30864 KiB
Current children cumulated memory: 7120 KiB
[startup+0.700336 s]
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30849172/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=34900 memory=11072 CPUtime=0.69 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 2986 0 0 0 69 0 0 0 20 0 1 0 433483318 35737600 2768 33554432000 4194304 6211092 140726668294720 140726668291256 140381440547646 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 8725 2768 846 493 0 2030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34900 KiB
Current children cumulated memory: 11072 KiB
[startup+1.50035 s]
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30843888/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=43164 memory=19400 CPUtime=1.49 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 5043 0 0 0 148 1 0 0 20 0 1 0 433483318 44199936 4850 33554432000 4194304 6211092 140726668294720 140726668291256 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 10791 4850 846 493 0 4096 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43164 KiB
Current children cumulated memory: 19400 KiB
[startup+3.10961 s]
/proc/loadavg: 2.15 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30823304/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=60072 memory=36068 CPUtime=3.09 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 9232 0 0 0 308 1 0 0 20 0 1 0 433483318 61513728 9017 33554432000 4194304 6211092 140726668294720 140726668274968 140381441476158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 15018 9017 846 493 0 8323 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 36068 KiB
[startup+6.30033 s]
/proc/loadavg: 2.14 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30792304/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=93756 memory=68684 CPUtime=6.29 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 17487 0 0 0 626 3 0 0 20 0 1 0 433483318 96006144 17171 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 23439 17171 846 493 0 16744 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93756 KiB
Current children cumulated memory: 68684 KiB
[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 1.90 3/200 11672
/proc/meminfo: memFree=30731104/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=158616 memory=134448 CPUtime=12.68 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 33987 0 0 0 1264 4 0 0 20 0 1 0 433483318 162422784 33612 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 39654 33612 846 493 0 32959 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 158616 KiB
Current children cumulated memory: 134448 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 2.04 1.90 3/200 11673
/proc/meminfo: memFree=30596156/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=292388 memory=267748 CPUtime=25.49 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 66410 0 0 0 2539 10 0 0 20 0 1 0 433483318 299405312 66937 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 73097 66937 846 493 0 66402 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 292388 KiB
Current children cumulated memory: 267748 KiB
[startup+51.1095 s]
/proc/loadavg: 2.07 2.04 1.90 3/200 11675
/proc/meminfo: memFree=30327684/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=562208 memory=530880 CPUtime=51.09 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 130191 0 0 0 5088 21 0 0 20 0 1 0 433483318 575700992 132720 33554432000 4194304 6211092 140726668294720 140726668274968 140381450496856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 140552 132720 846 493 0 133857 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 562208 KiB
Current children cumulated memory: 530880 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.91 3/200 11679
/proc/meminfo: memFree=29802992/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=1081028 memory=1055892 CPUtime=102.26 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 256369 0 0 0 10187 39 0 0 20 0 1 0 433483318 1106972672 263973 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 270257 263973 846 493 0 263562 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1081028 KiB
Current children cumulated memory: 1055892 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/200 11686
/proc/meminfo: memFree=29184492/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=1731520 memory=1673704 CPUtime=162.23 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 404694 0 0 0 16165 58 0 0 20 0 1 0 433483318 1773076480 418426 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 432880 418426 846 493 0 426185 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1731520 KiB
Current children cumulated memory: 1673704 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/199 11690
/proc/meminfo: memFree=28565652/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=2320300 memory=2291112 CPUtime=222.2 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 551900 0 0 0 22144 76 0 0 20 0 1 0 433483318 2375987200 572778 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 580075 572778 846 493 0 573380 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2320300 KiB
Current children cumulated memory: 2291112 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/199 11694
/proc/meminfo: memFree=27948188/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=2964800 memory=2907000 CPUtime=282.18 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 699713 0 0 0 28122 96 0 0 20 0 1 0 433483318 3035955200 726750 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 741200 726750 846 493 0 734505 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2964800 KiB
Current children cumulated memory: 2907000 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 11701
/proc/meminfo: memFree=27330032/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=3553816 memory=3524500 CPUtime=342.16 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 846985 0 0 0 34099 117 0 0 20 0 1 0 433483318 3639107584 881125 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 888454 881125 846 493 0 881759 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 3553816 KiB
Current children cumulated memory: 3524500 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 11705
/proc/meminfo: memFree=26711680/32770624 swapFree=66951796/67108860
[pid=11671] ppid=11668 vsize=4225448 memory=4141048 CPUtime=402.13 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 995062 0 0 0 40073 140 0 0 20 0 1 0 433483318 4326858752 1035262 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 1056362 1035262 846 493 0 1049667 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 4225448 KiB
Current children cumulated memory: 4141048 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 11716
/proc/meminfo: memFree=26094264/32770624 swapFree=66951800/67108860
[pid=11671] ppid=11668 vsize=4814300 memory=4756604 CPUtime=462.11 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 1142396 0 0 0 46050 161 0 0 20 0 1 0 433483318 4929843200 1189151 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 1203575 1189151 846 493 0 1196880 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 4814300 KiB
Current children cumulated memory: 4756604 KiB
################
# More data... #
################
Current children cumulated vsize: 10427772 KiB
Current children cumulated memory: 10309324 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 11773
/proc/meminfo: memFree=19914660/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=11016096 memory=10924784 CPUtime=1061.9 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 2617097 0 0 0 105790 400 0 0 20 0 1 0 433483318 11280482304 2731196 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 2754024 2731196 846 493 0 2747329 0
Current children cumulated CPU time: 1061.9 s
Current children cumulated vsize: 11016096 KiB
Current children cumulated memory: 10924784 KiB
[startup+1122.3 s]
/proc/loadavg: 2.49 2.14 2.00 3/200 11777
/proc/meminfo: memFree=19297476/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=11606316 memory=11539976 CPUtime=1121.88 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 2764443 0 0 0 111761 427 0 0 20 0 1 0 433483318 11884867584 2884994 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 2901579 2884994 846 493 0 2894884 0
Current children cumulated CPU time: 1121.88 s
Current children cumulated vsize: 11606316 KiB
Current children cumulated memory: 11539976 KiB
[startup+1182.3 s]
/proc/loadavg: 2.21 2.13 2.00 3/200 11781
/proc/meminfo: memFree=18679476/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=12194244 memory=12157216 CPUtime=1181.86 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 2911762 0 0 0 117730 456 0 0 20 0 1 0 433483318 12486905856 3039304 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3048561 3039304 846 493 0 3041866 0
Current children cumulated CPU time: 1181.86 s
Current children cumulated vsize: 12194244 KiB
Current children cumulated memory: 12157216 KiB
[startup+1242.3 s]
/proc/loadavg: 2.08 2.10 2.00 3/201 11787
/proc/meminfo: memFree=18063816/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=13062584 memory=12772212 CPUtime=1241.84 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3059486 0 0 0 123701 483 0 0 20 0 1 0 433483318 13376086016 3193053 33554432000 4194304 6211092 140726668294720 140726668274968 140381440547646 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3265646 3193053 846 493 0 3258951 0
Current children cumulated CPU time: 1241.84 s
Current children cumulated vsize: 13062584 KiB
Current children cumulated memory: 12772212 KiB
[startup+1302.3 s]
/proc/loadavg: 2.03 2.08 2.00 3/200 11791
/proc/meminfo: memFree=17445400/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=13650248 memory=13388660 CPUtime=1301.83 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3206631 0 0 0 129670 513 0 0 20 0 1 0 433483318 13977853952 3347165 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3412562 3347165 846 493 0 3405867 0
Current children cumulated CPU time: 1301.83 s
Current children cumulated vsize: 13650248 KiB
Current children cumulated memory: 13388660 KiB
[startup+1362.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/199 11795
/proc/meminfo: memFree=16827864/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=14238044 memory=14005108 CPUtime=1361.82 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3353750 0 0 0 135638 544 0 0 20 0 1 0 433483318 14579757056 3501277 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3559511 3501277 846 493 0 3552816 0
Current children cumulated CPU time: 1361.82 s
Current children cumulated vsize: 14238044 KiB
Current children cumulated memory: 14005108 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/200 11801
/proc/meminfo: memFree=16212288/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=14825708 memory=14619724 CPUtime=1421.8 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3500934 0 0 0 141608 572 0 0 20 0 1 0 433483318 15181524992 3654931 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3706427 3654931 846 493 0 3699732 0
Current children cumulated CPU time: 1421.8 s
Current children cumulated vsize: 14825708 KiB
Current children cumulated memory: 14619724 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/199 11805
/proc/meminfo: memFree=15594348/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15412976 memory=15236068 CPUtime=1481.78 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3648007 0 0 0 147571 607 0 0 20 0 1 0 433483318 15782887424 3809017 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3853244 3809017 846 493 0 3846549 0
Current children cumulated CPU time: 1481.78 s
Current children cumulated vsize: 15412976 KiB
Current children cumulated memory: 15236068 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1529.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/199 11809
/proc/meminfo: memFree=15113032/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1528.76 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) R 11668 11671 10911 0 -1 4202496 3763120 0 0 0 152241 635 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 140381440551909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1528.76 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1532.05 s]
# the end of solver process 11671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1522.67 s, system=7.12552 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1529.6 s]
/proc/loadavg: 2.00 2.04 2.00 3/199 11809
/proc/meminfo: memFree=15113032/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1528.8 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) S 11668 11671 10911 0 -1 512 3763124 0 0 0 152245 635 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1528.8 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
[startup+1530.4 s]
/proc/loadavg: 2.00 2.04 2.00 4/200 11810
/proc/meminfo: memFree=14770692/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1528.92 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) S 11668 11671 10911 0 -1 512 3763124 0 0 0 152255 637 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1528.92 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
[startup+1530.8 s]
/proc/loadavg: 2.00 2.04 2.00 4/200 11810
/proc/meminfo: memFree=14770692/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1528.97 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) S 11668 11671 10911 0 -1 512 3763124 0 0 0 152260 637 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1528.97 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
[startup+1531.2 s]
/proc/loadavg: 2.00 2.04 2.00 3/200 11810
/proc/meminfo: memFree=14269460/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1529.03 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) S 11668 11671 10911 0 -1 512 3763124 0 0 0 152266 637 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1529.03 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
[startup+1531.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/200 11810
/proc/meminfo: memFree=14269460/32770624 swapFree=66951808/67108860
[pid=11671] ppid=11668 vsize=15872600 memory=15716304 CPUtime=1529.04 cores=0,2,4,6
/proc/11671/stat : 11671 (cosoco) S 11668 11671 10911 0 -1 512 3763124 0 0 0 152267 637 0 0 20 0 1 0 433483318 16253542400 3929076 33554432000 4194304 6211092 140726668294720 140726668274968 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 41664512 140726668297227 140726668297329 140726668297329 140726668300238 0
/proc/11671/statm: 3968150 3929076 846 493 0 3961455 0
Current children cumulated CPU time: 1529.04 s
Current children cumulated vsize: 15872600 KiB
Current children cumulated memory: 15716304 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1532.05
CPU time (s): 1529.8
CPU user time (s): 1522.67
CPU system time (s): 7.12552
CPU usage (%): 99.853
Max. virtual memory (cumulated for all children) (KiB): 15872600
Max. memory (cumulated for all children) (KiB): 15716304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1522.67
system time used= 7.12552
maximum resident set size= 15716364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3763124
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= 121504
involuntary context switches= 835
# summary of solver processes directly reported to runsolver:
# pid: 11671
# total CPU time (s): 1529.8
# total CPU user time (s): 1522.67
# total CPU system time (s): 7.12552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23409 second user time and 10.8457 second system time
The end