0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.11 c Default LC presolving (default).
0.09/0.11 c ** Before presolving: virtualMemUsedAtLc = 98450525, getVmSize() = 89772032, SCIPgetMemUsed() = 59594041, SCIPgetMemTotal() = 66307681, SCIPgetMemExternEstim() = 32142844
0.09/0.11 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
35.09/35.26 c ** Estimated virtualMemUsedAtSolver = 201294193, getVmSize() = 301629440, SCIPgetMemUsed() = 201652094, SCIPgetMemTotal() = 269798446, SCIPgetMemExternEstim() = 32142844
35.09/35.26 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
35.09/35.26 c Original Problem :
35.09/35.26 c Problem name : instance-4446830-1721342178
35.09/35.26 c Variables : 16541 (16541 binary, 0 integer, 0 implicit integer, 0 continuous)
35.09/35.26 c Constraints : 16821
35.09/35.26 c Objective sense : minimize
35.09/35.26 c Presolved Problem :
35.09/35.26 c Variables : 15023 (15023 binary, 0 integer, 0 implicit integer, 0 continuous)
35.09/35.26 c Constraints : 15276
35.09/35.26 c Constraints : Number
35.09/35.26 c setppc : 1878
35.09/35.26 c orbitope : 1
35.09/35.26 c logicor : 13397
35.09/35.26 c ** Instance transfer method used: 0
35.19/35.31 c ** ParaScipInstance copy increased the number of variables. **
35.19/35.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
35.19/35.36 c Nodes Active
35.19/35.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
952.42/955.29 c 955 2 1 1 - 0.0000 -
969.46/972.37 c 972 3 2 1 - 0.0000 -
1032.40/1035.41 c 1035 5 4 1 - 0.0000 -
1053.15/1056.28 c 1056 6 5 1 - 0.0000 -
1058.74/1061.83 c 1062 7 6 1 - 0.0000 -
1078.88/1082.02 c 1082 10 7 1 - 0.0000 -
1083.87/1087.02 c 1087 11 8 1 - 0.0000 -
1246.22/1249.88 c 1250 12 7 1 - 0.0000 -
1251.91/1255.52 c 1256 14 9 1 - 0.0000 -
1270.87/1274.55 c 1275 15 10 1 - 0.0000 -
1309.77/1313.58 c 1314 17 12 1 - 0.0000 -
1324.04/1327.81 c 1328 18 13 1 - 0.0000 -
1433.09/1437.13 c 1437 19 14 1 - 0.0000 -
1449.84/1453.95 c 1454 21 16 1 - 0.0000 -
1470.69/1474.81 c 1475 22 17 1 - 0.0000 -
1490.54/1494.72 c 1495 23 18 1 - 0.0000 -
1506.70/1510.99 c 1511 24 19 1 - 0.0000 -
1523.96/1528.24 c 1528 29 20 1 - 0.0000 -
1530.75/1535.05 c 1535 32 21 1 - 0.0000 -
1654.05/1658.67 c 1659 33 20 1 - 0.0000 -
1670.52/1675.17 c 1675 36 21 1 - 0.0000 -
1687.38/1692.07 c 1692 37 22 1 - 0.0000 -
1700.45/1705.17 c 1705 44 23 1 - 0.0000 -
1712.32/1717.08 c 1717 45 24 1 - 0.0000 -
1724.88/1729.62 c 1730 52 25 1 - 0.0000 -
1738.05/1742.86 c 1743 55 24 1 - 0.0000 -
1753.51/1758.36 c 1758 61 26 1 - 0.0000 -
1759.40/1764.27 c 1764 62 27 1 - 0.0000 -
1768.77/1773.66 c 1774 65 26 1 - 0.0000 -
1777.16/1782.03 c 1782 69 24 1 - 0.0000 -
1784.14/1789.05 c 1789 71 26 1 - 0.0000 -
1796.11/1801.08 c 1801 72 27 1 - 0.0000 -
1802.69/1807.60 c 1808 75 26 1 - 0.0000 -
1814.07/1819.00 c 1819 78 27 1 - 0.0000 -
1819.16/1824.15 c 1824 79 26 1 - 0.0000 -
1825.54/1830.53 c 1831 81 26 1 - 0.0000 -
1840.60/1845.69 c 1846 84 27 1 - 0.0000 -
1845.79/1850.81 c 1851 85 26 1 - 0.0000 -
1853.67/1858.74 c 1859 86 25 1 - 0.0000 -
1860.35/1865.43 c 1865 87 26 1 - 0.0000 -
1872.52/1877.60 c 1878 88 25 1 - 0.0000 -
1891.29/1896.49 c 1896 89 26 1 - 0.0000 -
1905.25/1910.48 c 1910 94 25 1 - 0.0000 -
1915.63/1920.88 c 1921 96 25 1 - 0.0000 -
1921.41/1926.69 c 1927 109 26 1 - 0.0000 -
1930.79/1936.08 c 1936 121 26 1 - 0.0000 -
1937.17/1942.47 c 1942 122 25 1 - 0.0000 -
1943.86/1949.12 c 1949 125 26 1 - 0.0000 -
1958.82/1964.12 c 1964 130 25 1 - 0.0000 -
1966.20/1971.52 c 1972 131 24 1 - 0.0000 -
1974.28/1979.68 c 1980 133 24 1 - 0.0000 -
1988.84/1994.27 c 1994 135 24 1 - 0.0000 -
1994.23/1999.64 c 2000 136 25 1 - 0.0000 -
2006.71/2012.12 c 2012 137 24 1 - 0.0000 -
2012.09/2017.51 c 2018 138 25 1 - 0.0000 -
2025.35/2030.87 c 2031 139 24 1 - 0.0000 -
2047.20/2052.80 c 2053 140 25 1 - 0.0000 -
2053.98/2059.51 c 2060 141 24 1 - 0.0000 -
2067.35/2072.91 c 2073 143 24 1 - 0.0000 -
2082.81/2088.40 c 2088 145 24 1 - 0.0000 -
2089.30/2094.99 c 2095 150 25 1 - 0.0000 -
2096.29/2101.92 c 2102 153 24 1 - 0.0000 -
2102.77/2108.47 c 2108 154 25 1 - 0.0000 -
2112.14/2117.88 c 2118 156 23 1 - 0.0000 -
2128.00/2133.74 c 2134 158 25 1 - 0.0000 -
2134.59/2140.30 c 2140 159 26 1 - 0.0000 -
2141.07/2146.88 c 2147 162 27 1 - 0.0000 -
2150.45/2156.21 c 2156 164 25 1 - 0.0000 -
2162.22/2168.02 c 2168 165 24 1 - 0.0000 -
2168.31/2174.11 c 2174 166 25 1 - 0.0000 -
2175.29/2181.15 c 2181 167 24 1 - 0.0000 -
2191.94/2197.81 c 2198 169 24 1 - 0.0000 -
2200.72/2206.64 c 2207 171 24 1 - 0.0000 -
2214.99/2220.96 c 2221 172 23 1 - 0.0000 -
2221.37/2227.31 c 2227 173 24 1 - 0.0000 -
2229.36/2235.36 c 2235 174 25 1 - 0.0000 -
2241.13/2247.18 c 2247 175 26 1 - 0.0000 -
2246.61/2252.67 c 2253 176 25 1 - 0.0000 -
2263.27/2269.35 c 2269 179 26 1 - 0.0000 -
2269.36/2275.48 c 2275 181 24 1 - 0.0000 -
2550.68/2557.42 c 2557 183 24 1 - 0.0000 -
2579.22/2586.00 c 2586 185 26 1 - 0.0000 -
2602.06/2608.99 c 2609 186 27 1 - 0.0000 -
2627.30/2634.27 c 2634 187 28 1 - 0.0000 -
2649.15/2656.16 c 2656 188 29 1 - 0.0000 -
2723.47/2730.64 c 2731 189 30 1 - 0.0000 -
2742.03/2749.20 c 2749 191 30 1 - 0.0000 -
2754.20/2761.45 c 2761 193 32 1 - 0.0000 -
2761.38/2768.66 c 2769 194 33 1 - 0.0000 -
2774.05/2781.34 c 2781 195 32 1 - 0.0000 -
2779.54/2786.83 c 2787 196 33 1 - 0.0000 -
2793.60/2800.94 c 2801 197 32 1 - 0.0000 -
2799.29/2806.63 c 2807 199 34 1 - 0.0000 -
2812.26/2819.61 c 2820 200 33 1 - 0.0000 -
2838.60/2846.04 c 2846 201 32 1 - 0.0000 -
2855.06/2862.56 c 2863 203 34 1 - 0.0000 -
3590.78/3600.00 c 3600 203 34 0 - 0.0000 -
3590.78/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.78/3600.10 c Total Time : 3600.0900
3590.78/3600.10 c solving : 3600.0900
3590.78/3600.10 c presolving : 35.1587 (included in solving)
3590.78/3600.10 c B&B Tree :
3590.78/3600.10 c nodes (total) : 1
3590.78/3600.10 c Solution :
3590.78/3600.10 c Solutions found : 0
3590.78/3600.10 c Primal Bound : -
3590.78/3600.10 c Dual Bound : +0.00000000000000e+00
3590.78/3600.10 c Gap : -
3590.90/3600.16 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (61677 MiB free)
memory of node 1: 64510 MiB (61092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446830-1721342178/watcher-4446830-1721342178 -o /tmp/evaluation-result-4446830-1721342178/solver-4446830-1721342178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000738 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446830-1721342178.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1000795, runsolver pid=1000784
[startup+0.100281 s]*
/proc/loadavg: 4.25 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125460196/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=85512 memory=74856 CPUtime=0.09 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 16467 0 0 0 8 1 0 0 20 0 1 0 186385190 87564288 18714 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 21378 18714 2542 3032 0 17778 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85512 KiB
Current children cumulated memory: 74856 KiB
[startup+0.206563 s]*
/proc/loadavg: 4.25 4.22 4.24 5/256 1000800
/proc/meminfo: memFree=125357976/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=113268 memory=99608 CPUtime=0.19 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 25014 0 0 0 16 3 0 0 20 0 1 0 186385190 115986432 24902 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 28317 24902 2638 3032 0 24717 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113268 KiB
Current children cumulated memory: 99608 KiB
[startup+0.306461 s]*
/proc/loadavg: 4.25 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125267872/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=115716 memory=102512 CPUtime=0.29 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 25742 0 0 0 26 3 0 0 20 0 1 0 186385190 118493184 25628 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 28929 25628 2638 3032 0 25329 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115716 KiB
Current children cumulated memory: 102512 KiB
[startup+0.70023 s]
/proc/loadavg: 4.25 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125273096/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=125496 memory=111260 CPUtime=0.69 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 30471 0 0 0 65 4 0 0 20 0 1 0 186385190 128507904 27815 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 31374 27815 2718 3032 0 27774 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125496 KiB
Current children cumulated memory: 111260 KiB
[startup+1.50022 s]
/proc/loadavg: 4.23 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125199112/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=160276 memory=144248 CPUtime=1.48 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 37351 0 0 0 143 5 0 0 20 0 1 0 186385190 164122624 36062 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 40069 36062 2734 3032 0 36469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160276 KiB
Current children cumulated memory: 144248 KiB
[startup+3.10638 s]
/proc/loadavg: 4.23 4.22 4.24 8/256 1000800
/proc/meminfo: memFree=125061916/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=160764 memory=144508 CPUtime=3.09 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 37449 0 0 0 304 5 0 0 20 0 1 0 186385190 164622336 36127 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 40191 36127 2734 3032 0 36591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 160764 KiB
Current children cumulated memory: 144508 KiB
[startup+6.3002 s]
/proc/loadavg: 4.29 4.23 4.25 8/256 1000802
/proc/meminfo: memFree=125058080/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=164256 memory=147668 CPUtime=6.27 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 38199 0 0 0 622 5 0 0 20 0 1 0 186385190 168198144 36917 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 41064 36917 2734 3032 0 37464 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164256 KiB
Current children cumulated memory: 147668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.23 4.25 8/256 1000802
/proc/meminfo: memFree=125026308/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=168388 memory=151732 CPUtime=12.65 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 39265 0 0 0 1260 5 0 0 20 0 1 0 186385190 172429312 37933 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 42097 37933 2734 3032 0 38497 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 168388 KiB
Current children cumulated memory: 151732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.22 4.24 8/258 1000807
/proc/meminfo: memFree=124770152/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=169540 memory=152784 CPUtime=25.42 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 39538 0 0 0 2537 5 0 0 20 0 1 0 186385190 173608960 38196 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 42385 38196 2734 3032 0 38785 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 169540 KiB
Current children cumulated memory: 152784 KiB
[startup+51.1063 s]
/proc/loadavg: 4.20 4.21 4.24 9/262 1000814
/proc/meminfo: memFree=124226028/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=533620 memory=412272 CPUtime=50.95 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 156632 0 0 0 5078 17 0 0 20 0 3 0 186385190 546426880 103068 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 133405 103068 2910 3032 0 120178 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=533620 memory=-7952647673493020544 CPUtime=15.74 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 91228 0 0 0 1565 9 0 0 20 0 3 0 186388717 546426880 103068 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=533620 memory=410624 CPUtime=0 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 186388726 546426880 103068 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 533620 KiB
Current children cumulated memory: 412272 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.22 4.24 8/264 1000824
/proc/meminfo: memFree=123712656/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=533796 memory=419012 CPUtime=102 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 196661 0 0 0 10180 20 0 0 20 0 3 0 186385190 546607104 104753 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 133449 104753 2926 3032 0 122153 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=533796 memory=419012 CPUtime=66.79 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 131227 0 0 0 6667 12 0 0 20 0 3 0 186388717 546607104 104753 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=533796 memory=419012 CPUtime=0 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 186388726 546607104 104753 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 419012 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.20 4.23 8/264 1000835
/proc/meminfo: memFree=123627924/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=567096 memory=471796 CPUtime=161.84 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 224470 0 0 0 16161 23 0 0 20 0 3 0 186385190 580706304 117949 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 141774 117949 2942 3032 0 135940 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=567096 memory=419132 CPUtime=126.63 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 159024 0 0 0 12649 14 0 0 20 0 3 0 186388717 580706304 117949 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=567096 memory=470360 CPUtime=0 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 186388726 580706304 117949 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 567096 KiB
Current children cumulated memory: 471796 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.22 8/264 1000845
/proc/meminfo: memFree=123520020/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=636188 memory=487872 CPUtime=221.69 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 270076 0 0 0 22142 27 0 0 20 0 3 0 186385190 651456512 121968 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 159047 121968 2942 3032 0 140547 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=636188 memory=419060 CPUtime=186.47 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 204622 0 0 0 18629 18 0 0 20 0 3 0 186388717 651456512 121968 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=636188 memory=485644 CPUtime=0 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 186388726 651456512 121968 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 636188 KiB
Current children cumulated memory: 487872 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.21 8/266 1000860
/proc/meminfo: memFree=123492416/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=636188 memory=499332 CPUtime=281.53 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 307981 0 0 0 28123 30 0 0 20 0 3 0 186385190 651456512 124833 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 159047 124833 2942 3032 0 143623 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=636188 memory=495576 CPUtime=246.32 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 242521 0 0 0 24611 21 0 0 20 0 3 0 186388717 651456512 124833 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=636188 memory=498588 CPUtime=0 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 186388726 651456512 124833 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 636188 KiB
Current children cumulated memory: 499332 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.21 8/264 1000870
/proc/meminfo: memFree=123382172/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=636188 memory=503236 CPUtime=341.38 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 339464 0 0 0 34106 32 0 0 20 0 3 0 186385190 651456512 125809 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 159047 125809 2942 3032 0 145090 0
################
# More data... #
################
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3453.41 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 602283 0 0 0 345290 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=647708 CPUtime=3418.15 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 536084 0 0 0 341775 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=647708 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 357 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/266 1002644
/proc/meminfo: memFree=122576532/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3513.27 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 602758 0 0 0 351276 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=647708 CPUtime=3478 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 536554 0 0 0 347760 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=647708 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 362 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.10 8/262 1002654
/proc/meminfo: memFree=122576260/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3573.12 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603235 0 0 0 357261 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=11588 CPUtime=3537.86 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537026 0 0 0 353746 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=44076 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 367 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3600.16 s]
# the end of solver process 1000795 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.43 s, system=0.525517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.13 4.10 8/262 1002656
/proc/meminfo: memFree=122576148/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3574.82 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603235 0 0 0 357431 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=-6881359242293251692 CPUtime=3539.56 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537026 0 0 0 353916 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=-9187040390457425350 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 367 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3574.82 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.13 4.10 8/262 1002656
/proc/meminfo: memFree=122576196/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3581.2 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603235 0 0 0 358069 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=2492 CPUtime=3545.94 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537026 0 0 0 354554 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=647708 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 367 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3581.2 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.12 4.10 8/262 1002657
/proc/meminfo: memFree=122576152/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3587.59 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603623 0 0 0 358708 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=647708 CPUtime=3552.32 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537413 0 0 0 355192 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=11588 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576168/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3589.18 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603623 0 0 0 358867 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=5536 CPUtime=3553.92 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537413 0 0 0 355352 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=647708 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3589.18 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576176/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3589.98 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603623 0 0 0 358947 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=11588 CPUtime=3554.72 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537413 0 0 0 355432 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=647708 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3589.98 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3599.6 s]
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576176/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3590.38 cores=5,7
/proc/1000795/stat : 1000795 (fscip) S 1000784 1000795 1000725 0 -1 1077936128 603623 0 0 0 358987 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=5536 CPUtime=3555.12 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537413 0 0 0 355472 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=-6881359242310028908 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3590.38 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576144/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=707192 memory=647708 CPUtime=3590.78 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 1077936128 603686 0 0 0 359027 51 0 0 20 0 3 0 186385190 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 176798 161927 3310 3032 0 168770 0
[pid=1000795/tid=1000809] ppid=1000784 vsize=707192 memory=-6881359242293251692 CPUtime=3555.52 cores=5,7
/proc/1000795/task/1000809/stat : 1000809 (fscip) R 1000784 1000795 1000725 0 -1 4194368 537476 0 0 0 355512 40 0 0 20 0 3 0 186388717 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=707192 memory=2684 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 186388726 724164608 161927 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3590.78 s
Current children cumulated vsize: 707192 KiB
Current children cumulated memory: 647708 KiB
[startup+3600.12 s]
/proc/loadavg: 4.15 4.12 4.09 8/262 1002657
/proc/meminfo: memFree=122576144/131524600 swapFree=131071996/131071996
[pid=1000795] ppid=1000784 vsize=665228 memory=604676 CPUtime=3590.9 cores=5,7
/proc/1000795/stat : 1000795 (fscip) R 1000784 1000795 1000725 0 -1 4194304 605106 0 0 0 359039 51 0 0 20 0 2 0 186385190 681193472 151169 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
/proc/1000795/statm: 166307 151169 3310 3032 0 158279 0
[pid=1000795/tid=1000810] ppid=1000784 vsize=665228 memory=44076 CPUtime=0.03 cores=5,7
/proc/1000795/task/1000810/stat : 1000810 (fscip) S 1000784 1000795 1000725 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 2 0 186388726 681193472 151169 134679101440 4194304 16613245 140731720837376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51597312 140731720840211 140731720840327 140731720840327 140731720847344 0
Current children cumulated CPU time: 3590.9 s
Current children cumulated vsize: 665228 KiB
Current children cumulated memory: 604676 KiB
Child status: 0
Real time (s): 3600.16
CPU time (s): 3590.96
CPU user time (s): 3590.43
CPU system time (s): 0.525517
CPU usage (%): 99.7442
Max. virtual memory (cumulated for all children) (KiB): 707192
Max. memory (cumulated for all children) (KiB): 647708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.43
system time used= 0.525517
maximum resident set size= 647708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606066
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= 3887
involuntary context switches= 3215
# summary of solver processes directly reported to runsolver:
# pid: 1000795
# total CPU time (s): 3590.96
# total CPU user time (s): 3590.43
# total CPU system time (s): 0.525517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49092 second user time and 17.2156 second system time
The end
Begin job on nodeC029 at 2024-07-19 00:36:31
IDJOB=4446830
IDBENCH=158320
IDSOLVER=3064
FILE ID=nodeC029/4446830-1721342178
RUNJOBID= nodeC029-1721342191-1000738
SLURM_JOB_ID= 7542739
Free space on /tmp= 890064 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446830-1721342178/watcher-4446830-1721342178 -o /tmp/evaluation-result-4446830-1721342178/solver-4446830-1721342178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000738 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446830-1721342178.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459
RANDOM SEED=500959017
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3760.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3702.596
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3793.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.737
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.729
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3845.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125718088 kB
MemAvailable: 129683836 kB
Buffers: 494476 kB
Cached: 4262564 kB
SwapCached: 0 kB
Active: 954476 kB
Inactive: 4138464 kB
Active(anon): 1360 kB
Inactive(anon): 372256 kB
Active(file): 953116 kB
Inactive(file): 3766208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117728 kB
Writeback: 0 kB
AnonPages: 335984 kB
Mapped: 105960 kB
Shmem: 37720 kB
KReclaimable: 172140 kB
Slab: 293440 kB
SReclaimable: 172140 kB
SUnreclaim: 121300 kB
KernelStack: 3728 kB
PageTables: 9992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 678668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC029 at 2024-07-19 01:36:31