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 (15088 MiB free)
memory of node 1: 16384 MiB (14854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397206-1568594308/watcher-4397206-1568594308 -o /tmp/evaluation-result-4397206-1568594308/solver-4397206-1568594308 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568594267-9934 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397206-1568594308.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=9963, runsolver pid=9959
[startup+0.100111 s]*
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30638624/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=39152 memory=15356 CPUtime=0.1 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 4007 0 0 0 9 1 0 0 20 0 1 0 435680317 40091648 3839 33554432000 4194304 6211092 140734102590080 140734102586616 5483310 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209652 s]*
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30635276/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=40728 memory=16872 CPUtime=0.21 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 4433 0 0 0 20 1 0 0 20 0 1 0 435680317 41705472 4218 33554432000 4194304 6211092 140734102590080 140734102586616 140448325635045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309186 s]*
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30633044/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=41712 memory=17928 CPUtime=0.31 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 4690 0 0 0 30 1 0 0 20 0 1 0 435680317 42713088 4482 33554432000 4194304 6211092 140734102590080 140734102586616 140448325635045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700236 s]
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30628952/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=45840 memory=21992 CPUtime=0.69 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 5680 0 0 0 68 1 0 0 20 0 1 0 435680317 46940160 5498 33554432000 4194304 6211092 140734102590080 140734102563640 5452242 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 11460 5498 819 493 0 4765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50024 s]
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30618660/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=54076 memory=30316 CPUtime=1.49 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 7753 0 0 0 148 1 0 0 20 0 1 0 435680317 55373824 7579 33554432000 4194304 6211092 140734102590080 140734102563640 140448325635045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 13519 7579 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10931 s]
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30577872/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=71024 memory=46804 CPUtime=3.09 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 12090 0 0 0 307 2 0 0 20 0 1 0 435680317 72728576 11701 33554432000 4194304 6211092 140734102590080 140734102563640 5012962 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 17756 11701 819 493 0 11061 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 46804 KiB
[startup+6.30023 s]
/proc/loadavg: 1.01 1.08 1.43 4/202 9964
/proc/meminfo: memFree=30515964/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=104568 memory=79992 CPUtime=6.29 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 20507 0 0 0 625 4 0 0 20 0 1 0 435680317 107077632 19998 33554432000 4194304 6211092 140734102590080 140734102563640 5452161 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 26142 19998 819 493 0 19447 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104568 KiB
Current children cumulated memory: 79992 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 1.10 1.43 4/203 9966
/proc/meminfo: memFree=30392708/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=170160 memory=146256 CPUtime=12.69 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 37244 0 0 0 1263 6 0 0 20 0 1 0 435680317 174243840 36564 33554432000 4194304 6211092 140734102590080 140734102563640 5452161 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 42540 36564 819 493 0 35845 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170160 KiB
Current children cumulated memory: 146256 KiB
[startup+25.5002 s]
/proc/loadavg: 1.29 1.14 1.44 4/202 9967
/proc/meminfo: memFree=30123932/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=303996 memory=279464 CPUtime=25.49 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 70396 0 0 0 2539 10 0 0 20 0 1 0 435680317 311291904 69866 33554432000 4194304 6211092 140734102590080 140734102563640 5013073 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 75999 69866 819 493 0 69304 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 303996 KiB
Current children cumulated memory: 279464 KiB
[startup+51.1096 s]
/proc/loadavg: 1.53 1.21 1.46 4/202 9967
/proc/meminfo: memFree=29586460/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=573284 memory=545968 CPUtime=51.09 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 136192 0 0 0 5093 16 0 0 20 0 1 0 435680317 587042816 136492 33554432000 4194304 6211092 140734102590080 140734102563640 140448325635045 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 143321 136492 819 493 0 136626 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 573284 KiB
Current children cumulated memory: 545968 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.33 1.48 4/202 9973
/proc/meminfo: memFree=28530612/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=1114236 memory=1076168 CPUtime=102.28 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 265304 0 0 0 10196 32 0 0 20 0 1 0 435680317 1140977664 269042 33554432000 4194304 6211092 140734102590080 140734102563640 5454160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 278559 269042 819 493 0 271864 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1114236 KiB
Current children cumulated memory: 1076168 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.45 1.52 4/203 9985
/proc/meminfo: memFree=27286568/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=1740232 memory=1696020 CPUtime=162.28 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 416183 0 0 0 16176 52 0 0 20 0 1 0 435680317 1781997568 424005 33554432000 4194304 6211092 140734102590080 140734102563640 140448335580047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 435058 424005 819 493 0 428363 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1740232 KiB
Current children cumulated memory: 1696020 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 1.57 1.55 4/205 9991
/proc/meminfo: memFree=26045508/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=2341624 memory=2315808 CPUtime=222.28 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 566555 0 0 0 22156 72 0 0 20 0 1 0 435680317 2397822976 578952 33554432000 4194304 6211092 140734102590080 140734102563640 140448326558747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 585406 578952 819 493 0 578711 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2341624 KiB
Current children cumulated memory: 2315808 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.65 1.58 4/205 9997
/proc/meminfo: memFree=24798580/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=2979928 memory=2937712 CPUtime=282.27 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 717608 0 0 0 28133 94 0 0 20 0 1 0 435680317 3051446272 734428 33554432000 4194304 6211092 140734102590080 140734102563640 140448326558739 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 744982 734428 819 493 0 738287 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2979928 KiB
Current children cumulated memory: 2937712 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.71 1.61 4/205 10001
/proc/meminfo: memFree=23558748/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=3581188 memory=3557260 CPUtime=342.26 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 868749 0 0 0 34113 113 0 0 20 0 1 0 435680317 3667136512 889315 33554432000 4194304 6211092 140734102590080 140734102563640 5454160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 895297 889315 819 493 0 888602 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 3581188 KiB
Current children cumulated memory: 3557260 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.76 1.63 4/205 10005
/proc/meminfo: memFree=22314652/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=4237944 memory=4179420 CPUtime=402.26 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 1019654 0 0 0 40092 134 0 0 20 0 1 0 435680317 4339654656 1044855 33554432000 4194304 6211092 140734102590080 140734102563640 140448326555555 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 1059486 1044855 819 493 0 1052791 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4237944 KiB
Current children cumulated memory: 4179420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.65 4/204 10011
/proc/meminfo: memFree=21070840/32770624 swapFree=66970244/67108860
[pid=9963] ppid=9959 vsize=4839072 memory=4799016 CPUtime=462.26 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 1170450 0 0 0 46071 155 0 0 20 0 1 0 435680317 4955209728 1199754 33554432000 4194304 6211092 140734102590080 140734102563640 5453896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 1209768 1199754 819 493 0 1203073 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 4839072 KiB
Current children cumulated memory: 4799016 KiB
################
# More data... #
################
Current children cumulated vsize: 9251676 KiB
Current children cumulated memory: 9140608 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 1.96 1.79 4/204 10056
/proc/meminfo: memFree=11109760/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=9852144 memory=9759256 CPUtime=942.22 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 2378878 0 0 0 93868 354 0 0 20 0 1 0 435680317 10088595456 2439814 33554432000 4194304 6211092 140734102590080 140734102563640 5012976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 2463036 2439814 819 493 0 2456341 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 9852144 KiB
Current children cumulated memory: 9759256 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/204 10062
/proc/meminfo: memFree=9864384/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=10452612 memory=10380324 CPUtime=1002.22 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 2529849 0 0 0 99840 382 0 0 20 0 1 0 435680317 10703474688 2595081 33554432000 4194304 6211092 140734102590080 140734102563640 5441093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 2613153 2595081 819 493 0 2606458 0
Current children cumulated CPU time: 1002.22 s
Current children cumulated vsize: 10452612 KiB
Current children cumulated memory: 10380324 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.82 4/202 10067
/proc/meminfo: memFree=8621496/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=11052816 memory=10998816 CPUtime=1062.22 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 2680762 0 0 0 105811 411 0 0 20 0 1 0 435680317 11318083584 2749704 33554432000 4194304 6211092 140734102590080 140734102563640 140448326558930 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 2763204 2749704 819 493 0 2756509 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 11052816 KiB
Current children cumulated memory: 10998816 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.83 4/202 10071
/proc/meminfo: memFree=7374120/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=11653020 memory=11619620 CPUtime=1122.22 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 2831673 0 0 0 111783 439 0 0 20 0 1 0 435680317 11932692480 2904905 33554432000 4194304 6211092 140734102590080 140734102563640 5442956 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 2913255 2904905 819 493 0 2906560 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 11653020 KiB
Current children cumulated memory: 11619620 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/202 10077
/proc/meminfo: memFree=6129484/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=12439948 memory=12237620 CPUtime=1182.21 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 2982926 0 0 0 117752 469 0 0 20 0 1 0 435680317 12738506752 3059405 33554432000 4194304 6211092 140734102590080 140734102563640 140448326558726 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3109987 3059405 819 493 0 3103292 0
Current children cumulated CPU time: 1182.21 s
Current children cumulated vsize: 12439948 KiB
Current children cumulated memory: 12237620 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.85 4/203 10083
/proc/meminfo: memFree=4886064/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=13040020 memory=12858052 CPUtime=1242.2 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3133957 0 0 0 123718 502 0 0 20 0 1 0 435680317 13352980480 3214513 33554432000 4194304 6211092 140734102590080 140734102563640 5456310 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3260005 3214513 819 493 0 3253310 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 13040020 KiB
Current children cumulated memory: 12858052 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.86 4/203 10087
/proc/meminfo: memFree=3641360/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=13639960 memory=13476284 CPUtime=1302.2 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3284799 0 0 0 129686 534 0 0 20 0 1 0 435680317 13967319040 3369071 33554432000 4194304 6211092 140734102590080 140734102563640 5451554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3409990 3369071 819 493 0 3403295 0
Current children cumulated CPU time: 1302.2 s
Current children cumulated vsize: 13639960 KiB
Current children cumulated memory: 13476284 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/204 10101
/proc/meminfo: memFree=2397452/32770624 swapFree=66970252/67108860
[pid=9963] ppid=9959 vsize=14239768 memory=14096824 CPUtime=1362.2 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3435632 0 0 0 135656 564 0 0 20 0 1 0 435680317 14581522432 3524206 33554432000 4194304 6211092 140734102590080 140734102563640 140448325635045 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3559942 3524206 819 493 0 3553247 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 14239768 KiB
Current children cumulated memory: 14096824 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/205 10127
/proc/meminfo: memFree=1152896/32770624 swapFree=66970264/67108860
[pid=9963] ppid=9959 vsize=14839576 memory=14715056 CPUtime=1422.19 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3586441 0 0 0 141622 597 0 0 20 0 1 0 435680317 15195725824 3678764 33554432000 4194304 6211092 140734102590080 140734102563640 140448325635045 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3709894 3678764 819 493 0 3703199 0
Current children cumulated CPU time: 1422.19 s
Current children cumulated vsize: 14839576 KiB
Current children cumulated memory: 14715056 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/205 10131
/proc/meminfo: memFree=194168/32770624 swapFree=66970264/67108860
[pid=9963] ppid=9959 vsize=15438988 memory=15334916 CPUtime=1482.18 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3737315 0 0 0 147586 632 0 0 20 0 1 0 435680317 15809523712 3833729 33554432000 4194304 6211092 140734102590080 140734102563640 5478400 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3859747 3833729 819 493 0 3853052 0
Current children cumulated CPU time: 1482.18 s
Current children cumulated vsize: 15438988 KiB
Current children cumulated memory: 15334916 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1526 s]
/proc/loadavg: 2.40 2.07 1.91 2/202 10139
/proc/meminfo: memFree=15966784/32770624 swapFree=66970308/67108860
[pid=9963] ppid=9959 vsize=15872608 memory=15782892 CPUtime=1525.68 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) R 9959 9963 9902 0 -1 4202496 3846408 0 0 0 151908 660 0 0 20 0 1 0 435680317 16253550592 3945723 33554432000 4194304 6211092 140734102590080 140734102563640 5012996 0 0 4096 8405026 0 0 0 17 1 0 0 19 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3968152 3945723 819 493 0 3961457 0
Current children cumulated CPU time: 1525.68 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1528.86 s]
# the end of solver process 9963 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1519.09 s, system=7.46344 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1527.2 s]
/proc/loadavg: 2.40 2.07 1.91 1/203 10141
/proc/meminfo: memFree=15959840/32770624 swapFree=66970308/67108860
[pid=9963] ppid=9959 vsize=15872608 memory=15782892 CPUtime=1525.68 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) S 9959 9963 9902 0 -1 512 3846413 0 0 0 151908 660 0 0 20 0 1 0 435680317 16253550592 3945723 33554432000 4194304 6211092 140734102590080 140734102563640 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 19 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3968152 3945723 819 493 0 3961457 0
Current children cumulated CPU time: 1525.68 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782892 KiB
[startup+1527.6 s]
/proc/loadavg: 2.40 2.07 1.91 1/203 10141
/proc/meminfo: memFree=15959840/32770624 swapFree=66970308/67108860
[pid=9963] ppid=9959 vsize=15872608 memory=15782892 CPUtime=1525.68 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) S 9959 9963 9902 0 -1 512 3846413 0 0 0 151908 660 0 0 20 0 1 0 435680317 16253550592 3945723 33554432000 4194304 6211092 140734102590080 140734102563640 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 19 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3968152 3945723 819 493 0 3961457 0
Current children cumulated CPU time: 1525.68 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782892 KiB
[startup+1528 s]
/proc/loadavg: 2.40 2.07 1.91 1/204 10145
/proc/meminfo: memFree=15942804/32770624 swapFree=66970308/67108860
[pid=9963] ppid=9959 vsize=15872608 memory=15782892 CPUtime=1525.68 cores=1,3,5,7
/proc/9963/stat : 9963 (cosoco) S 9959 9963 9902 0 -1 512 3846413 0 0 0 151908 660 0 0 20 0 1 0 435680317 16253550592 3945723 33554432000 4194304 6211092 140734102590080 140734102563640 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 19 0 0 8312316 8317760 26230784 140734102598667 140734102598769 140734102598769 140734102601678 0
/proc/9963/statm: 3968152 3945723 819 493 0 3961457 0
Current children cumulated CPU time: 1525.68 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782892 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1528.86
CPU time (s): 1526.55
CPU user time (s): 1519.09
CPU system time (s): 7.46344
CPU usage (%): 99.8489
Max. virtual memory (cumulated for all children) (KiB): 15872608
Max. memory (cumulated for all children) (KiB): 15782892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1519.09
system time used= 7.46343
maximum resident set size= 15782936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3846413
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= 11
involuntary context switches= 2066
# summary of solver processes directly reported to runsolver:
# pid: 9963
# total CPU time (s): 1526.55
# total CPU user time (s): 1519.09
# total CPU system time (s): 7.46344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19219 second user time and 10.5735 second system time
The end