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.10/0.20 c Default LC presolving (default).
0.19/0.21 c ** Before presolving: virtualMemUsedAtLc = 144759636, getVmSize() = 124272640, SCIPgetMemUsed() = 71361604, SCIPgetMemTotal() = 100328740, SCIPgetMemExternEstim() = 44430896
0.19/0.21 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.58/1.67 c ** Estimated virtualMemUsedAtSolver = 194690321, getVmSize() = 291106816, SCIPgetMemUsed() = 136319506, SCIPgetMemTotal() = 247604586, SCIPgetMemExternEstim() = 44430896
1.58/1.67 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.58/1.67 c Original Problem :
1.58/1.67 c Problem name : instance-4451770-1721426596
1.58/1.67 c Variables : 5700 (5700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.58/1.67 c Constraints : 27830
1.58/1.67 c Objective sense : minimize
1.58/1.67 c Presolved Problem :
1.58/1.67 c Variables : 5694 (5694 binary, 0 integer, 0 implicit integer, 0 continuous)
1.58/1.67 c Constraints : 27105
1.58/1.67 c Constraints : Number
1.58/1.67 c knapsack : 1
1.58/1.67 c setppc : 11169
1.58/1.67 c linear : 1
1.58/1.67 c logicor : 15934
1.58/1.67 c ** Instance transfer method used: 0
1.68/1.73 c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.79 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.79 c Nodes Active
1.68/1.79 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
254.68/256.26 c 256 2 1 1 - 0.0000 -
261.17/262.70 c 263 4 3 1 - 0.0000 -
267.15/268.73 c 269 6 5 1 - 0.0000 -
317.07/318.83 c 319 9 8 1 - 0.0000 -
344.87/346.76 c 347 10 9 1 - 0.0000 -
410.95/413.03 c 413 12 11 1 - 0.0000 -
460.39/462.68 c 463 13 12 1 - 0.0000 -
484.20/486.59 c 487 14 13 1 - 0.0000 -
795.34/798.71 c 799 15 14 1 - 0.0000 -
817.86/821.32 c 821 16 15 1 - 0.0000 -
854.84/858.40 c 858 17 16 1 - 0.0000 -
993.68/997.76 c 998 18 17 1 - 0.0000 -
1007.64/1011.75 c 1012 19 18 1 - 0.0000 -
1021.29/1025.44 c 1025 20 19 1 - 0.0000 -
1028.47/1032.69 c 1033 21 20 1 - 0.0000 -
1037.94/1042.18 c 1042 22 21 1 - 0.0000 -
1043.02/1047.21 c 1047 24 23 1 - 0.0000 -
1063.85/1068.18 c 1068 25 24 1 - 0.0000 -
1086.57/1090.92 c 1091 26 25 1 - 0.0000 -
1114.69/1119.15 c 1119 28 25 1 - 0.0000 -
1647.29/1653.56 c 1654 30 25 1 - 0.0000 -
1677.08/1683.45 c 1683 32 25 1 - 0.0000 -
1701.59/1708.09 c 1708 33 24 1 - 0.0000 -
1707.46/1713.99 c 1714 34 25 1 - 0.0000 -
1730.97/1737.51 c 1738 35 24 1 - 0.0000 -
1760.86/1767.58 c 1768 36 25 1 - 0.0000 -
1777.31/1784.03 c 1784 37 24 1 - 0.0000 -
1827.41/1834.36 c 1834 38 25 1 - 0.0000 -
1896.85/1904.02 c 1904 39 24 1 - 0.0000 -
1908.70/1915.95 c 1916 41 26 1 - 0.0000 -
1991.78/1999.39 c 1999 42 27 1 - 0.0000 -
2024.57/2032.27 c 2032 44 29 1 - 0.0000 -
2084.74/2092.69 c 2093 45 30 1 - 0.0000 -
2105.26/2113.25 c 2113 46 31 1 - 0.0000 -
2115.41/2123.42 c 2123 47 32 1 - 0.0000 -
2125.08/2133.17 c 2133 49 34 1 - 0.0000 -
2158.96/2167.10 c 2167 50 35 1 - 0.0000 -
2209.76/2218.11 c 2218 52 37 1 - 0.0000 -
2217.83/2226.27 c 2226 53 38 1 - 0.0000 -
2232.07/2240.53 c 2241 54 39 1 - 0.0000 -
2240.04/2248.54 c 2249 56 41 1 - 0.0000 -
2253.09/2261.63 c 2262 57 40 1 - 0.0000 -
2287.96/2296.66 c 2297 59 42 1 - 0.0000 -
2296.13/2304.81 c 2305 61 44 1 - 0.0000 -
2350.02/2358.94 c 2359 62 45 1 - 0.0000 -
2420.35/2429.52 c 2430 64 47 1 - 0.0000 -
2428.02/2437.22 c 2437 66 47 1 - 0.0000 -
2438.57/2447.88 c 2448 67 46 1 - 0.0000 -
2444.25/2453.59 c 2454 68 47 1 - 0.0000 -
2479.41/2488.88 c 2489 69 48 1 - 0.0000 -
2485.59/2495.00 c 2495 71 50 1 - 0.0000 -
2492.45/2501.98 c 2502 74 49 1 - 0.0000 -
2516.06/2525.67 c 2526 76 51 1 - 0.0000 -
2523.23/2532.87 c 2533 79 50 1 - 0.0000 -
2532.19/2541.81 c 2542 80 51 1 - 0.0000 -
2537.67/2547.30 c 2547 84 51 1 - 0.0000 -
2543.35/2553.06 c 2553 85 52 1 - 0.0000 -
2567.84/2577.69 c 2578 86 53 1 - 0.0000 -
2573.02/2582.85 c 2583 88 53 1 - 0.0000 -
2598.52/2608.46 c 2608 91 54 1 - 0.0000 -
2606.28/2616.25 c 2616 94 53 1 - 0.0000 -
2611.76/2621.76 c 2622 97 54 1 - 0.0000 -
2631.78/2641.85 c 2642 98 53 1 - 0.0000 -
2637.75/2647.86 c 2648 100 55 1 - 0.0000 -
2673.72/2683.91 c 2684 102 55 1 - 0.0000 -
2692.14/2702.49 c 2702 104 57 1 - 0.0000 -
2698.72/2709.06 c 2709 106 57 1 - 0.0000 -
2710.37/2720.79 c 2721 108 57 1 - 0.0000 -
2738.67/2749.15 c 2749 111 58 1 - 0.0000 -
2750.12/2760.69 c 2761 113 58 1 - 0.0000 -
2755.30/2765.81 c 2766 115 58 1 - 0.0000 -
2762.37/2772.99 c 2773 117 58 1 - 0.0000 -
2769.44/2780.05 c 2780 120 57 1 - 0.0000 -
2776.21/2786.86 c 2787 124 57 1 - 0.0000 -
2782.59/2793.27 c 2793 127 56 1 - 0.0000 -
2789.86/2800.51 c 2801 129 56 1 - 0.0000 -
2795.03/2805.75 c 2806 131 56 1 - 0.0000 -
2818.74/2829.57 c 2830 132 57 1 - 0.0000 -
2829.99/2840.80 c 2841 134 59 1 - 0.0000 -
2837.76/2848.64 c 2849 135 58 1 - 0.0000 -
2844.43/2855.30 c 2855 139 58 1 - 0.0000 -
2871.13/2882.15 c 2882 141 60 1 - 0.0000 -
2876.21/2887.27 c 2887 143 60 1 - 0.0000 -
2885.68/2896.75 c 2897 144 61 1 - 0.0000 -
2891.06/2902.13 c 2902 147 60 1 - 0.0000 -
2921.64/2932.89 c 2933 150 61 1 - 0.0000 -
2964.57/2975.97 c 2976 152 63 1 - 0.0000 -
2988.58/3000.03 c 3000 153 64 1 - 0.0000 -
2997.44/3008.97 c 3009 154 65 1 - 0.0000 -
3016.96/3028.57 c 3029 155 66 1 - 0.0000 -
3029.61/3041.24 c 3041 157 68 1 - 0.0000 -
3079.54/3091.32 c 3091 158 69 1 - 0.0000 -
3090.40/3102.28 c 3102 159 70 1 - 0.0000 -
3105.95/3117.86 c 3118 160 69 1 - 0.0000 -
3152.69/3164.73 c 3165 161 70 1 - 0.0000 -
3185.48/3197.68 c 3198 162 71 1 - 0.0000 -
3586.50/3600.00 c 3600 162 71 0 - 0.0000 -
3586.60/3600.13 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.60/3600.13 c Total Time : 3600.1400
3586.60/3600.13 c solving : 3600.1400
3586.60/3600.13 c presolving : 1.4679 (included in solving)
3586.60/3600.13 c B&B Tree :
3586.60/3600.13 c nodes (total) : 1
3586.60/3600.13 c Solution :
3586.60/3600.15 c Solutions found : 0
3586.60/3600.15 c Primal Bound : -
3586.60/3600.15 c Dual Bound : +0.00000000000000e+00
3586.60/3600.15 c Gap : -
3586.60/3600.19 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: 63968 MiB (62466 MiB free)
memory of node 1: 64473 MiB (59482 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451770-1721426596/watcher-4451770-1721426596 -o /tmp/evaluation-result-4451770-1721426596/solver-4451770-1721426596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451770-1721426596.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1030912, runsolver pid=1030909
[startup+0.101053 s]*
/proc/loadavg: 4.13 4.10 4.11 4/256 1030913
/proc/meminfo: memFree=127441440/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=46572 memory=34720 CPUtime=0.1 cores=0,2
/proc/1030912/stat : 1030912 (fscip) R 1030909 1030912 1028650 0 -1 4194304 6613 0 0 0 9 1 0 0 20 0 1 0 194824586 47689728 8680 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 11643 8680 2318 3032 0 8043 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46572 KiB
Current children cumulated memory: 34720 KiB
[startup+0.205319 s]*
/proc/loadavg: 4.13 4.10 4.11 4/255 1030927
/proc/meminfo: memFree=127360900/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=123848 memory=111800 CPUtime=0.19 cores=0,2
/proc/1030912/stat : 1030912 (fscip) R 1030909 1030912 1028650 0 -1 4194304 26915 0 0 0 16 3 0 0 20 0 1 0 194824586 126820352 27950 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 30962 27950 2574 3032 0 27362 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123848 KiB
Current children cumulated memory: 111800 KiB
[startup+0.305218 s]*
/proc/loadavg: 4.13 4.10 4.11 6/255 1030936
/proc/meminfo: memFree=127322476/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=137584 memory=124656 CPUtime=0.3 cores=0,2
/proc/1030912/stat : 1030912 (fscip) R 1030909 1030912 1028650 0 -1 4194304 29640 0 0 0 26 4 0 0 20 0 1 0 194824586 140886016 31164 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 34396 31164 2590 3032 0 30796 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137584 KiB
Current children cumulated memory: 124656 KiB
[startup+0.700212 s]
/proc/loadavg: 4.13 4.10 4.11 5/255 1030975
/proc/meminfo: memFree=127272184/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=183904 memory=172116 CPUtime=0.69 cores=0,2
/proc/1030912/stat : 1030912 (fscip) R 1030909 1030912 1028650 0 -1 4194304 43025 0 0 0 61 8 0 0 20 0 1 0 194824586 188317696 43029 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 45976 43029 2670 3032 0 42376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 183904 KiB
Current children cumulated memory: 172116 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.11 5/255 1031045
/proc/meminfo: memFree=127192052/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=223716 memory=205448 CPUtime=1.48 cores=0,2
/proc/1030912/stat : 1030912 (fscip) R 1030909 1030912 1028650 0 -1 4194304 48753 0 0 0 139 9 0 0 20 0 1 0 194824586 229085184 51362 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 55929 51362 2734 3032 0 52329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 223716 KiB
Current children cumulated memory: 205448 KiB
[startup+3.10605 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 1031059
/proc/meminfo: memFree=126802596/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=511196 memory=445688 CPUtime=3.07 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 101083 0 0 0 290 17 0 0 20 0 3 0 194824586 523464704 111422 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 127799 111422 2782 3032 0 118614 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=511196 memory=445264 CPUtime=1.34 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 35736 0 0 0 129 5 0 0 20 0 3 0 194824754 523464704 111422 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=511196 memory=0 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 194824766 523464704 111422 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 511196 KiB
Current children cumulated memory: 445688 KiB
[startup+6.30105 s]
/proc/loadavg: 4.12 4.10 4.11 5/264 1031153
/proc/meminfo: memFree=126677376/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=642268 memory=541264 CPUtime=6.24 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 143124 0 0 0 602 22 0 0 20 0 3 0 194824586 657682432 135316 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 160567 135316 2910 3032 0 143578 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=642268 memory=0 CPUtime=4.51 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 77774 0 0 0 441 10 0 0 20 0 3 0 194824754 657682432 135316 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=642268 memory=226884 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194824766 657682432 135316 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 642268 KiB
Current children cumulated memory: 541264 KiB
[startup+12.7011 s]
/proc/loadavg: 4.11 4.10 4.11 5/264 1031155
/proc/meminfo: memFree=126562552/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=642268 memory=554644 CPUtime=12.58 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 163338 0 0 0 1235 23 0 0 20 0 3 0 194824586 657682432 138661 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 160567 138661 2910 3032 0 146468 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=642268 memory=12952 CPUtime=10.85 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 97975 0 0 0 1074 11 0 0 20 0 3 0 194824754 657682432 138661 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=642268 memory=536636 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 194824766 657682432 138661 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 642268 KiB
Current children cumulated memory: 554644 KiB
[startup+25.5011 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126448800/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=642268 memory=565968 CPUtime=25.26 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 188624 0 0 0 2501 25 0 0 20 0 3 0 194824586 657682432 141492 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 160567 141492 2910 3032 0 149850 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=642268 memory=559168 CPUtime=23.53 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 123247 0 0 0 2340 13 0 0 20 0 3 0 194824754 657682432 141492 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=642268 memory=0 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 194824766 657682432 141492 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 642268 KiB
Current children cumulated memory: 565968 KiB
[startup+51.1061 s]
/proc/loadavg: 4.12 4.10 4.10 5/264 1031210
/proc/meminfo: memFree=126323216/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=707804 memory=608848 CPUtime=50.62 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 242116 0 0 0 5033 29 0 0 20 0 3 0 194824586 724791296 152212 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 176951 152212 2926 3032 0 161787 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=707804 memory=603836 CPUtime=48.89 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 176722 0 0 0 4872 17 0 0 20 0 3 0 194824754 724791296 152212 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=707804 memory=608848 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 194824766 724791296 152212 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 707804 KiB
Current children cumulated memory: 608848 KiB
[startup+102.301 s]
/proc/loadavg: 4.10 4.10 4.10 5/264 1031265
/proc/meminfo: memFree=126221268/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=707804 memory=618800 CPUtime=101.33 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 305539 0 0 0 10100 33 0 0 20 0 3 0 194824586 724791296 154700 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 176951 154700 2926 3032 0 166194 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=707804 memory=618800 CPUtime=99.6 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 240131 0 0 0 9939 21 0 0 20 0 3 0 194824754 724791296 154700 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=707804 memory=-7736474891279097216 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 194824766 724791296 154700 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 101.33 s
Current children cumulated vsize: 707804 KiB
Current children cumulated memory: 618800 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 1031275
/proc/meminfo: memFree=126168004/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=773340 memory=632400 CPUtime=161.1 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 345447 0 0 0 16074 36 0 0 20 0 3 0 194824586 791900160 158100 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 193335 158100 2926 3032 0 172593 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=773340 memory=2280 CPUtime=159.37 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 280028 0 0 0 15913 24 0 0 20 0 3 0 194824754 791900160 158100 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=773340 memory=632400 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 194824766 791900160 158100 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 161.1 s
Current children cumulated vsize: 773340 KiB
Current children cumulated memory: 632400 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 1031301
/proc/meminfo: memFree=126117928/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=773340 memory=632732 CPUtime=220.91 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 371036 0 0 0 22053 38 0 0 20 0 3 0 194824586 791900160 158183 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 193335 158183 2926 3032 0 172593 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=773340 memory=2280 CPUtime=219.17 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 305610 0 0 0 21892 25 0 0 20 0 3 0 194824754 791900160 158183 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=773340 memory=632520 CPUtime=0 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 194824766 791900160 158183 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 220.91 s
Current children cumulated vsize: 773340 KiB
Current children cumulated memory: 632732 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 1031312
/proc/meminfo: memFree=126107288/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=773340 memory=638900 CPUtime=280.7 cores=0,2
################
# More data... #
################
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=829368 CPUtime=3447.52 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564259 0 0 0 344704 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=829368 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 423 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3449.31 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/266 1033751
/proc/meminfo: memFree=124896864/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3509.11 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631245 0 0 0 350847 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=11648 CPUtime=3507.31 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564531 0 0 0 350683 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=829368 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3509.11 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/265 1033761
/proc/meminfo: memFree=124888200/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3568.87 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631640 0 0 0 356823 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=829368 CPUtime=3567.08 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564920 0 0 0 356660 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=11648 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 439 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3568.87 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3600.2 s]
# the end of solver process 1030912 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.06 s, system=0.652433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.09 6/265 1033762
/proc/meminfo: memFree=124888364/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3570.57 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631654 0 0 0 356993 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=-6736677805779553386 CPUtime=3568.78 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564934 0 0 0 356830 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=1401065475718078522 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 439 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 6/265 1033764
/proc/meminfo: memFree=124888376/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3576.94 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631677 0 0 0 357630 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=829368 CPUtime=3575.15 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564957 0 0 0 357467 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=11648 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 439 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3576.94 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 1033764
/proc/meminfo: memFree=124888360/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3583.31 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631681 0 0 0 358267 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=46416 CPUtime=3581.52 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564961 0 0 0 358104 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=829368 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 439 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3583.31 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 1033765
/proc/meminfo: memFree=124888332/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3584.91 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631701 0 0 0 358427 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=2280 CPUtime=3583.12 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564979 0 0 0 358264 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=829368 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 441 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3599.2 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 1033765
/proc/meminfo: memFree=124888332/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3585.7 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631701 0 0 0 358506 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=5432 CPUtime=3583.91 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564979 0 0 0 358343 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=11648 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 441 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3599.6 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 1033765
/proc/meminfo: memFree=124888332/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3586.1 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631702 0 0 0 358546 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=12952 CPUtime=3584.31 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564980 0 0 0 358383 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=829368 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 441 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.12 4.09 6/265 1033765
/proc/meminfo: memFree=124888324/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3586.5 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 631702 0 0 0 358586 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=-6736677805779553386 CPUtime=3584.71 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 564981 0 0 0 358423 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=1401065475718078522 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 441 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
[startup+3600.11 s]
/proc/loadavg: 4.09 4.12 4.09 6/265 1033765
/proc/meminfo: memFree=124888324/131524600 swapFree=131070704/131071996
[pid=1030912] ppid=1030909 vsize=904412 memory=829368 CPUtime=3586.6 cores=0,2
/proc/1030912/stat : 1030912 (fscip) S 1030909 1030912 1028650 0 -1 1077936128 633163 0 0 0 358596 64 0 0 20 0 3 0 194824586 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
/proc/1030912/statm: 226103 207342 3294 3032 0 210476 0
[pid=1030912/tid=1031058] ppid=1030909 vsize=904412 memory=5432 CPUtime=3584.81 cores=0,2
/proc/1030912/task/1031058/stat : 1031058 (fscip) R 1030909 1030912 1028650 0 -1 4194368 566423 0 0 0 358433 48 0 0 20 0 3 0 194824754 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
[pid=1030912/tid=1031059] ppid=1030909 vsize=904412 memory=46416 CPUtime=0.04 cores=0,2
/proc/1030912/task/1031059/stat : 1031059 (fscip) S 1030909 1030912 1028650 0 -1 1077936192 441 0 0 0 1 3 0 0 20 0 3 0 194824766 926117888 207342 134679101440 4194304 16613245 140734888529664 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47480832 140734888530963 140734888531079 140734888531079 140734888538096 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 904412 KiB
Current children cumulated memory: 829368 KiB
Child status: 0
Real time (s): 3600.2
CPU time (s): 3586.71
CPU user time (s): 3586.06
CPU system time (s): 0.652433
CPU usage (%): 99.6253
Max. virtual memory (cumulated for all children) (KiB): 904412
Max. memory (cumulated for all children) (KiB): 829368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.06
system time used= 0.652433
maximum resident set size= 829368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637151
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= 3979
involuntary context switches= 25925
# summary of solver processes directly reported to runsolver:
# pid: 1030912
# total CPU time (s): 3586.71
# total CPU user time (s): 3586.06
# total CPU system time (s): 0.652433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07161 second user time and 16.5212 second system time
The end
Begin job on nodeC023 at 2024-07-20 00:03:29
IDJOB=4451770
IDBENCH=162644
IDSOLVER=3064
FILE ID=nodeC023/4451770-1721426596
RUNJOBID= nodeC023-1721423005-1028660
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4451770-1721426596/watcher-4451770-1721426596 -o /tmp/evaluation-result-4451770-1721426596/solver-4451770-1721426596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451770-1721426596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=1617784093
nodeC023.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 : 3651.859
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 : 6999.61
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 : 3667.425
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 : 7005.48
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 : 3599.956
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 : 6999.61
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 : 3635.252
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 : 7005.48
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 : 3651.774
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 : 6999.61
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 : 3665.199
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 : 7005.48
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 : 3599.819
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 : 6999.61
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 : 3600.048
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124877076 kB
MemAvailable: 127074544 kB
Buffers: 562272 kB
Cached: 2471504 kB
SwapCached: 80 kB
Active: 1188740 kB
Inactive: 4885456 kB
Active(anon): 1556 kB
Inactive(anon): 3084580 kB
Active(file): 1187184 kB
Inactive(file): 1800876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 89464 kB
Writeback: 8 kB
AnonPages: 2994824 kB
Mapped: 139104 kB
Shmem: 45728 kB
KReclaimable: 98460 kB
Slab: 192388 kB
SReclaimable: 98460 kB
SUnreclaim: 93928 kB
KernelStack: 4128 kB
PageTables: 15584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 984936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1458176 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC023 at 2024-07-20 01:03:29