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 (15202 MiB free)
memory of node 1: 16384 MiB (15478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408449-1569811418/watcher-4408449-1569811418 -o /tmp/evaluation-result-4408449-1569811418/solver-4408449-1569811418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408449-1569811418.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=12528, runsolver pid=12525
[startup+0.100203 s]*
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31406424/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=39152 memory=15356 CPUtime=0.09 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 4006 0 0 0 9 0 0 0 20 0 1 0 557055527 40091648 3839 33554432000 4194304 6211132 140729047293312 140729047289848 140645319719299 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209728 s]*
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31404656/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 4422 0 0 0 20 0 0 0 20 0 1 0 557055527 41705472 4218 33554432000 4194304 6211132 140729047293312 140729047289848 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309053 s]*
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31403540/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=41712 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 4679 0 0 0 30 0 0 0 20 0 1 0 557055527 42713088 4482 33554432000 4194304 6211132 140729047293312 140729047289848 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700341 s]
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31401192/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 5664 0 0 0 68 1 0 0 20 0 1 0 557055527 46804992 5498 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50036 s]
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31395984/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=54076 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 7725 0 0 0 148 1 0 0 20 0 1 0 557055527 55373824 7513 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10949 s]
/proc/loadavg: 3.52 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31375400/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=70760 memory=46804 CPUtime=3.1 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 12037 0 0 0 309 1 0 0 20 0 1 0 557055527 72458240 11701 33554432000 4194304 6211132 140729047293312 140729047266872 5452247 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 17690 11701 819 493 0 10995 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 46804 KiB
[startup+6.30034 s]
/proc/loadavg: 3.40 2.45 2.19 3/199 12529
/proc/meminfo: memFree=31343996/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=104304 memory=79488 CPUtime=6.28 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 20433 0 0 0 626 2 0 0 20 0 1 0 557055527 106807296 19872 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 26076 19872 819 493 0 19381 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104304 KiB
Current children cumulated memory: 79488 KiB
[startup+12.7003 s]
/proc/loadavg: 3.29 2.44 2.19 3/199 12529
/proc/meminfo: memFree=31281836/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=169896 memory=146016 CPUtime=12.68 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 37024 0 0 0 1264 4 0 0 20 0 1 0 557055527 173973504 36504 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 42474 36504 819 493 0 35779 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 169896 KiB
Current children cumulated memory: 146016 KiB
[startup+25.5004 s]
/proc/loadavg: 3.00 2.42 2.19 3/199 12529
/proc/meminfo: memFree=31145364/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=303732 memory=279836 CPUtime=25.47 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 70006 0 0 0 2539 8 0 0 20 0 1 0 557055527 311021568 69959 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 75933 69959 819 493 0 69238 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 303732 KiB
Current children cumulated memory: 279836 KiB
[startup+51.1095 s]
/proc/loadavg: 2.66 2.38 2.18 3/199 12532
/proc/meminfo: memFree=30876668/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=572756 memory=544144 CPUtime=51.08 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 135121 0 0 0 5091 17 0 0 20 0 1 0 557055527 586502144 136036 33554432000 4194304 6211132 140729047293312 140729047266872 5478441 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 143189 136036 819 493 0 136494 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 572756 KiB
Current children cumulated memory: 544144 KiB
[startup+102.3 s]
/proc/loadavg: 2.29 2.32 2.17 3/199 12535
/proc/meminfo: memFree=30347652/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=1113840 memory=1073884 CPUtime=102.25 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 264493 0 0 0 10190 35 0 0 20 0 1 0 557055527 1140572160 268471 33554432000 4194304 6211132 140729047293312 140729047266872 140645319789975 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 278460 268471 819 493 0 271765 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1113840 KiB
Current children cumulated memory: 1073884 KiB
[startup+162.3 s]
/proc/loadavg: 2.11 2.27 2.16 3/199 12539
/proc/meminfo: memFree=29723300/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=1740496 memory=1696840 CPUtime=162.22 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 415644 0 0 0 16166 56 0 0 20 0 1 0 557055527 1782267904 424210 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 435124 424210 819 493 0 428429 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 1740496 KiB
Current children cumulated memory: 1696840 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.22 2.15 3/199 12545
/proc/meminfo: memFree=29101204/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=2342680 memory=2317420 CPUtime=222.2 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 566184 0 0 0 22144 76 0 0 20 0 1 0 557055527 2398904320 579355 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 585670 579355 819 493 0 578975 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2342680 KiB
Current children cumulated memory: 2317420 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.18 2.14 3/199 12549
/proc/meminfo: memFree=28476764/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=2981776 memory=2940200 CPUtime=282.17 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 717306 0 0 0 28121 96 0 0 20 0 1 0 557055527 3053338624 735050 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 745444 735050 819 493 0 738749 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2981776 KiB
Current children cumulated memory: 2940200 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.15 2.13 3/199 12553
/proc/meminfo: memFree=27856712/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=3639060 memory=3559984 CPUtime=342.15 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 868162 0 0 0 34095 120 0 0 20 0 1 0 557055527 3726397440 889996 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 909765 889996 819 493 0 903070 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 3639060 KiB
Current children cumulated memory: 3559984 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.12 2.13 3/199 12559
/proc/meminfo: memFree=27231328/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=4241112 memory=4183220 CPUtime=402.12 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 1018899 0 0 0 40070 142 0 0 20 0 1 0 557055527 4342898688 1045805 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 1060278 1045805 819 493 0 1053583 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 4241112 KiB
Current children cumulated memory: 4183220 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.11 2.13 3/200 12571
/proc/meminfo: memFree=26610908/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=4843032 memory=4803640 CPUtime=462.11 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 1169428 0 0 0 46045 166 0 0 20 0 1 0 557055527 4959264768 1200910 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 1210758 1200910 819 493 0 1204063 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 4843032 KiB
Current children cumulated memory: 4803640 KiB
################
# More data... #
################
Current children cumulated vsize: 9862968 KiB
Current children cumulated memory: 9770724 KiB
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.08 3/199 12615
/proc/meminfo: memFree=21010968/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=10464228 memory=10392480 CPUtime=1001.91 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 2524846 0 0 0 99795 396 0 0 20 0 1 0 557055527 10715369472 2598120 33554432000 4194304 6211132 140729047293312 140729047266872 140645318859582 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 2616057 2598120 819 493 0 2609362 0
Current children cumulated CPU time: 1001.91 s
Current children cumulated vsize: 10464228 KiB
Current children cumulated memory: 10392480 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.07 3/201 12628
/proc/meminfo: memFree=20389952/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=11065224 memory=11011928 CPUtime=1061.89 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 2675218 0 0 0 105763 426 0 0 20 0 1 0 557055527 11330789376 2752982 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 2766306 2752982 819 493 0 2759611 0
Current children cumulated CPU time: 1061.89 s
Current children cumulated vsize: 11065224 KiB
Current children cumulated memory: 11011928 KiB
[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/201 12656
/proc/meminfo: memFree=19766856/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=11666220 memory=11633420 CPUtime=1121.87 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 2825556 0 0 0 111731 456 0 0 20 0 1 0 557055527 11946209280 2908355 33554432000 4194304 6211132 140729047293312 140729047266872 5453936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 2916555 2908355 819 493 0 2909860 0
Current children cumulated CPU time: 1121.87 s
Current children cumulated vsize: 11666220 KiB
Current children cumulated memory: 11633420 KiB
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.07 3/201 12660
/proc/meminfo: memFree=19146480/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=12453940 memory=12252332 CPUtime=1181.85 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 2976240 0 0 0 117700 485 0 0 20 0 1 0 557055527 12752834560 3063083 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3113485 3063083 819 493 0 3106790 0
Current children cumulated CPU time: 1181.85 s
Current children cumulated vsize: 12453940 KiB
Current children cumulated memory: 12252332 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/201 12664
/proc/meminfo: memFree=18524264/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=13054936 memory=12873824 CPUtime=1241.83 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3126582 0 0 0 123667 516 0 0 20 0 1 0 557055527 13368254464 3218456 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3263734 3218456 819 493 0 3257039 0
Current children cumulated CPU time: 1241.83 s
Current children cumulated vsize: 13054936 KiB
Current children cumulated memory: 12873824 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 12670
/proc/meminfo: memFree=17901596/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=13656064 memory=13493272 CPUtime=1301.81 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3276931 0 0 0 129636 545 0 0 20 0 1 0 557055527 13983809536 3373318 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3414016 3373318 819 493 0 3407321 0
Current children cumulated CPU time: 1301.81 s
Current children cumulated vsize: 13656064 KiB
Current children cumulated memory: 13493272 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 12674
/proc/meminfo: memFree=17280620/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=14256796 memory=14114500 CPUtime=1361.79 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3427216 0 0 0 135602 577 0 0 20 0 1 0 557055527 14598959104 3528625 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3564199 3528625 819 493 0 3557504 0
Current children cumulated CPU time: 1361.79 s
Current children cumulated vsize: 14256796 KiB
Current children cumulated memory: 14114500 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12738
/proc/meminfo: memFree=16481480/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=14857528 memory=14733420 CPUtime=1421.77 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3577483 0 0 0 141567 610 0 0 20 0 1 0 557055527 15214108672 3683355 33554432000 4194304 6211132 140729047293312 140729047266872 140645318859582 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3714382 3683355 819 493 0 3707687 0
Current children cumulated CPU time: 1421.77 s
Current children cumulated vsize: 14857528 KiB
Current children cumulated memory: 14733420 KiB
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 12744
/proc/meminfo: memFree=15858248/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15458392 memory=15354912 CPUtime=1481.75 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3727796 0 0 0 147531 644 0 0 20 0 1 0 557055527 15829393408 3838728 33554432000 4194304 6211132 140729047293312 140729047266872 140645318863845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3864598 3838728 819 493 0 3857903 0
Current children cumulated CPU time: 1481.75 s
Current children cumulated vsize: 15458392 KiB
Current children cumulated memory: 15354912 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1523.7 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 12748
/proc/meminfo: memFree=15433904/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15872608 memory=15781384 CPUtime=1523.14 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 4202496 3831444 0 0 0 151646 668 0 0 20 0 1 0 557055527 16253550592 3945346 33554432000 4194304 6211132 140729047293312 140729047266872 5013059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3968152 3945346 819 493 0 3961457 0
Current children cumulated CPU time: 1523.14 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1526.46 s]
# the end of solver process 12528 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1516.74 s, system=7.4578 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1524.8 s]
/proc/loadavg: 2.03 2.02 2.05 4/201 12749
/proc/meminfo: memFree=15282252/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15872608 memory=15781384 CPUtime=1523.3 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 512 3831448 0 0 0 151661 669 0 0 20 0 1 0 557055527 16253550592 3945346 33554432000 4194304 6211132 140729047293312 140729047266872 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3968152 3945346 819 493 0 3961457 0
Current children cumulated CPU time: 1523.3 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781384 KiB
[startup+1525.2 s]
/proc/loadavg: 2.03 2.02 2.05 4/200 12749
/proc/meminfo: memFree=14782084/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15872608 memory=15781384 CPUtime=1523.35 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) S 12525 12528 7864 0 -1 512 3831448 0 0 0 151666 669 0 0 20 0 1 0 557055527 16253550592 3945346 33554432000 4194304 6211132 140729047293312 140729047266872 5189800 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3968152 3945346 819 493 0 3961457 0
Current children cumulated CPU time: 1523.35 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781384 KiB
[startup+1525.6 s]
/proc/loadavg: 2.03 2.02 2.05 4/200 12749
/proc/meminfo: memFree=14782084/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15872608 memory=15781384 CPUtime=1523.41 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) R 12525 12528 7864 0 -1 512 3831448 0 0 0 151672 669 0 0 20 0 1 0 557055527 16253550592 3945346 33554432000 4194304 6211132 140729047293312 140729047266872 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3968152 3945346 819 493 0 3961457 0
Current children cumulated CPU time: 1523.41 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781384 KiB
[startup+1525.7 s]
/proc/loadavg: 2.03 2.02 2.05 4/200 12749
/proc/meminfo: memFree=14782084/32770624 swapFree=66936012/67108860
[pid=12528] ppid=12525 vsize=15872608 memory=15781384 CPUtime=1523.42 cores=0,2,4,6
/proc/12528/stat : 12528 (cosoco) S 12525 12528 7864 0 -1 512 3831448 0 0 0 151673 669 0 0 20 0 1 0 557055527 16253550592 3945346 33554432000 4194304 6211132 140729047293312 140729047266872 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 33341440 140729047299083 140729047299185 140729047299185 140729047302094 0
/proc/12528/statm: 3968152 3945346 819 493 0 3961457 0
Current children cumulated CPU time: 1523.42 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15781384 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1526.46
CPU time (s): 1524.19
CPU user time (s): 1516.74
CPU system time (s): 7.4578
CPU usage (%): 99.8512
Max. virtual memory (cumulated for all children) (KiB): 15872608
Max. memory (cumulated for all children) (KiB): 15781384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1516.74
system time used= 7.4578
maximum resident set size= 15781600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3831448
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= 123749
involuntary context switches= 989
# summary of solver processes directly reported to runsolver:
# pid: 12528
# total CPU time (s): 1524.19
# total CPU user time (s): 1516.74
# total CPU system time (s): 7.4578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75296 second user time and 11.4657 second system time
The end