0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.79/0.89 c Default LC presolving (default).
0.89/0.90 c ** Before presolving: virtualMemUsedAtLc = 424490623, getVmSize() = 293449728, SCIPgetMemUsed() = 231438097, SCIPgetMemTotal() = 261833113, SCIPgetMemExternEstim() = 162657510
0.89/0.90 c ** set memory limit for presolving in LC to 8.79597e+12 for SCIP **
63.53/63.70 c ** Estimated virtualMemUsedAtSolver = 443460330, getVmSize() = 587345920, SCIPgetMemUsed() = 315258482, SCIPgetMemTotal() = 502532986, SCIPgetMemExternEstim() = 162657510
63.53/63.70 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
63.53/63.70 c Original Problem :
63.53/63.70 c Problem name : instance-4464696-1722387750
63.53/63.70 c Variables : 42981 (42981 binary, 0 integer, 0 implicit integer, 0 continuous)
63.53/63.70 c Constraints : 129926
63.53/63.70 c Objective sense : minimize
63.53/63.70 c Presolved Problem :
63.53/63.70 c Variables : 40630 (40630 binary, 0 integer, 0 implicit integer, 0 continuous)
63.53/63.70 c Constraints : 46101
63.53/63.70 c Constraints : Number
63.53/63.70 c knapsack : 23
63.53/63.70 c setppc : 7536
63.53/63.70 c and : 38539
63.53/63.70 c linear : 3
63.53/63.70 c ** Instance transfer method used: 0
63.53/63.78 c ** ParaScipInstance copy increased the number of variables. **
63.72/63.97 c LC is working with racing ramp-up and with rebuilding tree after racing.
63.72/63.97 c Nodes Active
63.72/63.97 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
359.16/360.21 c 360 2 0 1 - 0.0000 -
1440.94/1445.42 c 1445 3 1 1 - 0.0000 -
1456.41/1460.99 c 1461 5 3 1 - 0.0000 -
1468.08/1472.68 c 1473 6 4 1 - 0.0000 -
1487.33/1491.93 c 1492 7 5 1 - 0.0000 -
1495.91/1500.59 c 1501 8 6 1 - 0.0000 -
1505.49/1510.15 c 1510 9 7 1 - 0.0000 -
1510.66/1515.34 c 1515 13 7 1 - 0.0000 -
1605.83/1610.79 c 1611 15 7 1 - 0.0000 -
1615.12/1620.08 c 1620 16 6 1 - 0.0000 -
1622.10/1627.08 c 1627 24 10 1 - 0.0000 -
1634.86/1639.89 c 1640 29 7 1 - 0.0000 -
1641.84/1646.83 c 1647 30 6 1 - 0.0000 -
1648.32/1653.32 c 1653 32 8 1 - 0.0000 -
1661.69/1666.75 c 1667 33 9 1 - 0.0000 -
1669.08/1674.17 c 1674 35 11 1 - 0.0000 -
1676.35/1681.47 c 1681 38 10 1 - 0.0000 -
1682.43/1687.51 c 1688 43 13 1 - 0.0000 -
1688.11/1693.25 c 1693 45 13 1 - 0.0000 -
1708.76/1713.93 c 1714 47 15 1 - 0.0000 -
1722.41/1727.64 c 1728 49 17 1 - 0.0000 -
1728.29/1733.56 c 1734 51 19 1 - 0.0000 -
1735.78/1741.06 c 1741 56 22 1 - 0.0000 -
1740.76/1746.10 c 1746 61 21 1 - 0.0000 -
1747.32/1752.63 c 1753 72 22 1 - 0.0000 -
1759.29/1764.62 c 1765 73 23 1 - 0.0000 -
1765.27/1770.64 c 1771 77 21 1 - 0.0000 -
1771.35/1776.71 c 1777 90 22 1 - 0.0000 -
1783.91/1789.32 c 1789 94 20 1 - 0.0000 -
1886.05/1891.88 c 1892 97 21 1 - 0.0000 -
1891.53/1897.33 c 1897 104 22 1 - 0.0000 -
1898.70/1904.51 c 1905 110 18 1 - 0.0000 -
1912.56/1918.45 c 1918 113 19 1 - 0.0000 -
1918.44/1924.33 c 1924 118 16 1 - 0.0000 -
1923.72/1929.67 c 1930 128 14 1 - 0.0000 -
1930.00/1935.91 c 1936 136 12 1 - 0.0000 -
1936.68/1942.62 c 1943 146 10 1 - 0.0000 -
1943.95/1949.93 c 1950 153 11 1 - 0.0000 -
1985.52/1991.61 c 1992 154 12 1 - 0.0000 -
1991.50/1997.65 c 1998 157 9 1 - 0.0000 -
1997.28/2003.44 c 2003 161 9 1 - 0.0000 -
2014.94/2021.16 c 2021 165 9 1 - 0.0000 -
2021.31/2027.57 c 2028 174 6 1 - 0.0000 -
2026.69/2032.94 c 2033 185 7 1 - 0.0000 -
2032.36/2038.62 c 2039 193 3 1 - 0.0000 -
2039.45/2045.70 c 2046 194 4 1 - 0.0000 -
2046.62/2052.95 c 2053 197 3 1 - 0.0000 -
2053.71/2060.06 c 2060 201 5 1 - 0.0000 -
2059.18/2065.55 c 2066 203 5 1 - 0.0000 -
2067.67/2074.06 c 2074 204 4 1 - 0.0000 -
2076.13/2082.59 c 2083 205 3 1 - 0.0000 -
2081.51/2087.94 c 2088 208 4 1 - 0.0000 -
2172.82/2179.59 c 2180 209 5 1 - 0.0000 -
2178.80/2185.59 c 2186 212 6 1 - 0.0000 -
2190.46/2197.25 c 2197 223 5 1 - 0.0000 -
2195.94/2202.79 c 2203 229 5 1 - 0.0000 -
2206.51/2213.31 c 2213 237 1 1 - 0.0000 -
2214.39/2221.27 c 2221 241 1 1 - 0.0000 -
2220.97/2227.85 c 2228 245 1 1 - 0.0000 -
2233.04/2239.90 c 2240 246 2 1 - 0.0000 -
2238.92/2245.81 c 2246 255 1 1 - 0.0000 -
2239.72/2246.68 c 2247 256 0 0 - 0.0000 -
2240.51/2247.47 c 2247 256 0 0 - 0.0000 -
2240.51/2247.47 c SCIP Status : c problem is solved [infeasible]
2240.51/2247.47 c Total Time : 2247.4600
2240.51/2247.47 c solving : 2247.4600
2240.51/2247.47 c presolving : 62.8066 (included in solving)
2240.51/2247.47 c B&B Tree :
2240.51/2247.47 c nodes (total) : 256
2240.51/2247.47 c Solution :
2240.51/2247.47 c Solutions found : 0
2240.51/2247.47 c Primal Bound : -
2240.51/2247.47 c Dual Bound : -
2240.51/2247.47 c Gap : -
2241.02/2247.97 s UNSATISFIABLE
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: 64059 MiB (62766 MiB free)
memory of node 1: 64510 MiB (59858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464696-1722387750/watcher-4464696-1722387750 -o /tmp/evaluation-result-4464696-1722387750/solver-4464696-1722387750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28872 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464696-1722387750.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=34439, runsolver pid=34436
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.28 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125525128/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=68232 memory=55680 CPUtime=0.1 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 11808 0 0 0 7 3 0 0 20 0 1 0 5371960 69869568 13920 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 17058 13920 2347 3035 0 13454 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68232 KiB
Current children cumulated memory: 55680 KiB
[startup+0.210617 s]*
/proc/loadavg: 4.28 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125510048/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=79576 memory=67532 CPUtime=0.21 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 14792 0 0 0 18 3 0 0 20 0 1 0 5371960 81485824 16883 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 19894 16883 2347 3035 0 16290 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79576 KiB
Current children cumulated memory: 67532 KiB
[startup+0.310536 s]*
/proc/loadavg: 4.28 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125497492/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=93468 memory=81348 CPUtime=0.31 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 18194 0 0 0 27 4 0 0 20 0 1 0 5371960 95711232 20271 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 23367 20337 2347 3035 0 19763 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93468 KiB
Current children cumulated memory: 81348 KiB
[startup+0.700329 s]
/proc/loadavg: 4.28 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125462220/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=203984 memory=192728 CPUtime=0.69 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 46606 0 0 0 59 10 0 0 20 0 1 0 5371960 208879616 48182 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 50996 48182 2539 3035 0 47392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 203984 KiB
Current children cumulated memory: 192728 KiB
[startup+1.50035 s]
/proc/loadavg: 4.28 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125296152/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=352076 memory=313800 CPUtime=1.48 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 76230 0 0 0 133 15 0 0 20 0 1 0 5371960 360525824 78384 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 88019 78384 2630 3035 0 84415 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 352076 KiB
Current children cumulated memory: 313800 KiB
[startup+3.11266 s]
/proc/loadavg: 4.26 4.40 4.28 5/250 34440
/proc/meminfo: memFree=125187236/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=406676 memory=387128 CPUtime=3.09 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 87436 0 0 0 291 18 0 0 20 0 1 0 5371960 416436224 96782 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 101669 96782 2710 3035 0 98065 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 406676 KiB
Current children cumulated memory: 387128 KiB
[startup+6.30032 s]
/proc/loadavg: 4.26 4.40 4.28 5/250 34441
/proc/meminfo: memFree=125157856/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=435268 memory=416744 CPUtime=6.27 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 101743 0 0 0 606 21 0 0 20 0 1 0 5371960 445714432 104186 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 108817 104186 2758 3035 0 105213 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 435268 KiB
Current children cumulated memory: 416744 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.38 4.27 5/250 34441
/proc/meminfo: memFree=125128772/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=458324 memory=440024 CPUtime=12.66 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 107183 0 0 0 1244 22 0 0 20 0 1 0 5371960 469323776 110006 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 114581 110006 2758 3035 0 110977 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 458324 KiB
Current children cumulated memory: 440024 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.39 4.27 5/250 34444
/proc/meminfo: memFree=125120084/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=458324 memory=440024 CPUtime=25.42 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 107216 0 0 0 2520 22 0 0 20 0 1 0 5371960 469323776 110006 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 114581 110006 2758 3035 0 110977 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 458324 KiB
Current children cumulated memory: 440024 KiB
[startup+51.1127 s]
/proc/loadavg: 4.17 4.36 4.27 5/250 34447
/proc/meminfo: memFree=125099348/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=458324 memory=440120 CPUtime=50.97 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 107238 0 0 0 5074 23 0 0 20 0 1 0 5371960 469323776 110030 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 114581 110030 2758 3035 0 110977 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 458324 KiB
Current children cumulated memory: 440120 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.31 4.26 5/251 34458
/proc/meminfo: memFree=124730440/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=874720 memory=770792 CPUtime=102.01 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 352722 0 0 0 10150 51 0 0 20 0 3 0 5371960 895713280 192698 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 218680 192698 2790 3035 0 214684 0
[pid=34439/tid=34451] ppid=34436 vsize=874720 memory=11488 CPUtime=38.38 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 227690 0 0 0 3813 25 0 0 20 0 3 0 5378330 895713280 192698 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=874720 memory=770792 CPUtime=0 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5378357 895713280 192698 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 874720 KiB
Current children cumulated memory: 770792 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.28 4.25 5/249 34468
/proc/meminfo: memFree=124658196/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=874720 memory=770796 CPUtime=161.86 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 444036 0 0 0 16130 56 0 0 20 0 3 0 5371960 895713280 192699 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 218680 192699 2790 3035 0 214684 0
[pid=34439/tid=34451] ppid=34436 vsize=874720 memory=770792 CPUtime=98.23 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 318979 0 0 0 9793 30 0 0 20 0 3 0 5378330 895713280 192699 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=874720 memory=767704 CPUtime=0 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5378357 895713280 192699 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 874720 KiB
Current children cumulated memory: 770796 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.24 4.24 5/249 34479
/proc/meminfo: memFree=124616088/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=940256 memory=771828 CPUtime=221.71 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 507177 0 0 0 22111 60 0 0 20 0 3 0 5371960 962822144 192957 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 235064 192957 2790 3035 0 214973 0
[pid=34439/tid=34451] ppid=34436 vsize=940256 memory=771828 CPUtime=158.08 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 382110 0 0 0 15774 34 0 0 20 0 3 0 5378330 962822144 192957 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=940256 memory=771828 CPUtime=0 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 5378357 962822144 192957 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 940256 KiB
Current children cumulated memory: 771828 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.23 4.23 6/249 34489
/proc/meminfo: memFree=124178064/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1335532 memory=1156024 CPUtime=281.53 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 677735 0 0 0 28072 81 0 0 20 0 3 0 5371960 1367584768 289006 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 333883 289006 2950 3035 0 323206 0
[pid=34439/tid=34451] ppid=34436 vsize=1335532 memory=1156000 CPUtime=217.9 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 552661 0 0 0 21735 55 0 0 20 0 3 0 5378330 1367584768 289006 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1335532 memory=1155924 CPUtime=0 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 5378357 1367584768 289006 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1335532 KiB
Current children cumulated memory: 1156024 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.23 4.23 5/247 34500
/proc/meminfo: memFree=124132580/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1335532 memory=1157580 CPUtime=341.33 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 745023 0 0 0 34047 86 0 0 20 0 3 0 5371960 1367584768 289395 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 333883 289395 2950 3035 0 323206 0
[pid=34439/tid=34451] ppid=34436 vsize=1335532 memory=1155924 CPUtime=277.69 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 619944 0 0 0 27709 60 0 0 20 0 3 0 5378330 1367584768 289395 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1335532 memory=1157068 CPUtime=0 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 5378357 1367584768 289395 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
################
# More data... #
################
Current children cumulated CPU time: 1956.32 s
Current children cumulated vsize: 1735336 KiB
Current children cumulated memory: 1544420 KiB
[startup+2022.3 s]
/proc/loadavg: 3.10 3.39 3.79 4/237 35469
/proc/meminfo: memFree=123131776/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1746568 memory=1558908 CPUtime=2016.13 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1855373 0 0 0 201400 213 0 0 20 0 3 0 5371960 1788485632 389727 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 436642 389727 2998 3035 0 429991 0
[pid=34439/tid=34451] ppid=34436 vsize=1746568 memory=1557340 CPUtime=1952.44 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1730014 0 0 0 195060 184 0 0 20 0 3 0 5378330 1788485632 389727 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1746568 memory=11488 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 210 0 0 0 1 2 0 0 20 0 3 0 5378357 1788485632 389727 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2016.13 s
Current children cumulated vsize: 1746568 KiB
Current children cumulated memory: 1558908 KiB
[startup+2082.3 s]
/proc/loadavg: 3.08 3.33 3.74 4/237 35479
/proc/meminfo: memFree=123083312/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1580872 CPUtime=2075.93 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1873363 0 0 0 207378 215 0 0 20 0 3 0 5371960 1860169728 395218 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 395218 2998 3035 0 436213 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=1569960 CPUtime=2012.25 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1747991 0 0 0 201038 187 0 0 20 0 3 0 5378330 1860169728 395218 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=1580872 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 213 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 395218 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2075.93 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1580872 KiB
[startup+2142.3 s]
/proc/loadavg: 3.08 3.28 3.70 4/238 35491
/proc/meminfo: memFree=123056476/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1580928 CPUtime=2135.74 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1881148 0 0 0 213358 216 0 0 20 0 3 0 5371960 1860169728 395232 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 395232 2998 3035 0 436213 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=16700 CPUtime=2072.06 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1755773 0 0 0 207018 188 0 0 20 0 3 0 5378330 1860169728 395232 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=2220 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 216 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 395232 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2135.74 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1580928 KiB
[startup+2202.3 s]
/proc/loadavg: 2.79 3.18 3.64 3/229 35532
/proc/meminfo: memFree=123338020/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1591120 CPUtime=2195.55 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1912078 0 0 0 219337 218 0 0 20 0 3 0 5371960 1860169728 397780 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 397780 2998 3035 0 440899 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=16700 CPUtime=2131.87 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1786688 0 0 0 212997 190 0 0 20 0 3 0 5378330 1860169728 397780 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=1590940 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 220 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 397780 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2195.55 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1591120 KiB
[startup+2248.02 s]
# the end of solver process 34439 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2238.85 s, system=2.27919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2227.2 s]
/proc/loadavg: 2.58 3.10 3.60 3/229 35536
/proc/meminfo: memFree=123322348/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1594272 CPUtime=2220.37 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1915831 0 0 0 221818 219 0 0 20 0 3 0 5371960 1860169728 398568 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 398568 2998 3035 0 441620 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=1587924 CPUtime=2156.69 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1790435 0 0 0 215479 190 0 0 20 0 3 0 5378330 1860169728 398568 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=1592836 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 398568 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2220.37 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1594272 KiB
[startup+2240 s]*
/proc/loadavg: 2.49 3.06 3.58 3/229 35539
/proc/meminfo: memFree=123315628/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1596236 CPUtime=2233.15 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1928895 0 0 0 223095 220 0 0 20 0 3 0 5371960 1860169728 399059 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 399059 2998 3035 0 447146 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=4620 CPUtime=2169.46 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1803487 0 0 0 216755 191 0 0 20 0 3 0 5378330 1860169728 399059 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=12136 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 399059 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2233.15 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1596236 KiB
[startup+2243.2 s]
/proc/loadavg: 2.45 3.05 3.57 4/229 35539
/proc/meminfo: memFree=123311068/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1598700 CPUtime=2236.33 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1930631 0 0 0 223413 220 0 0 20 0 3 0 5371960 1860169728 399675 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 399675 2998 3035 0 447425 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=16700 CPUtime=2172.64 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1805223 0 0 0 217073 191 0 0 20 0 3 0 5378330 1860169728 399675 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=12136 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 399675 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2236.33 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1598700 KiB
[startup+2246.4 s]
/proc/loadavg: 2.45 3.05 3.57 3/229 35540
/proc/meminfo: memFree=123310272/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1600404 CPUtime=2239.52 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1931885 0 0 0 223732 220 0 0 20 0 3 0 5371960 1860169728 400101 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 400101 2998 3035 0 447501 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=11488 CPUtime=2175.83 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1806477 0 0 0 217392 191 0 0 20 0 3 0 5378330 1860169728 400101 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=16700 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 400101 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2239.52 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1600404 KiB
[startup+2247.2 s]
/proc/loadavg: 2.41 3.03 3.56 3/229 35540
/proc/meminfo: memFree=123308964/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1816572 memory=1600460 CPUtime=2240.32 cores=1,3
/proc/34439/stat : 34439 (fscip) S 34436 34439 28860 0 -1 1077936128 1954335 0 0 0 223811 221 0 0 20 0 3 0 5371960 1860169728 400115 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 454143 400115 2998 3035 0 447501 0
[pid=34439/tid=34451] ppid=34436 vsize=1816572 memory=1596480 CPUtime=2176.63 cores=1,3
/proc/34439/task/34451/stat : 34451 (fscip) R 34436 34439 28860 0 -1 4194368 1828929 0 0 0 217471 192 0 0 20 0 3 0 5378330 1860169728 400115 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
[pid=34439/tid=34452] ppid=34436 vsize=1816572 memory=-7379266206031765629 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 3 0 5378357 1860169728 400115 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2240.32 s
Current children cumulated vsize: 1816572 KiB
Current children cumulated memory: 1600460 KiB
[startup+2247.6 s]
/proc/loadavg: 2.41 3.03 3.56 3/229 35540
/proc/meminfo: memFree=123308964/131655788 swapFree=131071996/131071996
[pid=34439] ppid=34436 vsize=1751036 memory=1563912 CPUtime=2240.72 cores=1,3
/proc/34439/stat : 34439 (fscip) R 34436 34439 28860 0 -1 4194304 1962906 0 0 0 223850 222 0 0 20 0 2 0 5371960 1793060864 390978 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
/proc/34439/statm: 437759 390978 2998 3035 0 431126 0
[pid=34439/tid=34452] ppid=34436 vsize=1751036 memory=12136 CPUtime=0.03 cores=1,3
/proc/34439/task/34452/stat : 34452 (fscip) S 34436 34439 28860 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 2 0 5378357 1793060864 390978 134679101440 4194304 16623229 140722669891200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37429248 140722669896730 140722669896846 140722669896846 140722669903856 0
Current children cumulated CPU time: 2240.72 s
Current children cumulated vsize: 1751036 KiB
Current children cumulated memory: 1563912 KiB
[startup+2248.01 s]*
/proc/loadavg: 2.41 3.03 3.56 3/228 35540
/proc/meminfo: memFree=124895168/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2248.02
CPU time (s): 2241.13
CPU user time (s): 2238.85
CPU system time (s): 2.27919
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 1816572
Max. memory (cumulated for all children) (KiB): 1600460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2238.85
system time used= 2.27919
maximum resident set size= 1600460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1972398
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= 2644
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 34439
# total CPU time (s): 2241.13
# total CPU user time (s): 2238.85
# total CPU system time (s): 2.27919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.28459 second user time and 23.5906 second system time
The end
Begin job on nodeC010 at 2024-07-31 03:02:30
IDJOB=4464696
IDBENCH=164450
IDSOLVER=3092
FILE ID=nodeC010/4464696-1722387750
RUNJOBID= nodeC010-1722378594-28872
SLURM_JOB_ID= 8249840
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.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-4464696-1722387750/watcher-4464696-1722387750 -o /tmp/evaluation-result-4464696-1722387750/solver-4464696-1722387750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28872 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464696-1722387750.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=1390683433
nodeC010.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 : 0xb00001f
cpu MHz : 3676.087
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
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 : 0xb00001f
cpu MHz : 1197.124
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
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 : 0xb00001f
cpu MHz : 1197.341
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
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 : 0xb00001f
cpu MHz : 1588.069
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
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 : 0xb00001f
cpu MHz : 3673.140
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
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 : 0xb00001f
cpu MHz : 3632.926
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
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 : 0xb00001f
cpu MHz : 1197.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
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 : 0xb00001f
cpu MHz : 1197.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125569528 kB
MemAvailable: 128497680 kB
Buffers: 103380 kB
Cached: 3666072 kB
SwapCached: 0 kB
Active: 264716 kB
Inactive: 5381368 kB
Active(anon): 1972 kB
Inactive(anon): 1904148 kB
Active(file): 262744 kB
Inactive(file): 3477220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32280 kB
Writeback: 176 kB
AnonPages: 1876632 kB
Mapped: 129900 kB
Shmem: 29504 kB
KReclaimable: 56436 kB
Slab: 131908 kB
SReclaimable: 56436 kB
SUnreclaim: 75472 kB
KernelStack: 3936 kB
PageTables: 13136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 911996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 530432 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC010 at 2024-07-31 03:39:59