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.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 35733504, getVmSize() = 35733504, SCIPgetMemUsed() = 10377853, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.70 c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79155200, SCIPgetMemUsed() = 39418256, SCIPgetMemTotal() = 55110048, SCIPgetMemExternEstim() = 7879036
1.68/1.70 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.70 c Original Problem :
1.68/1.70 c Problem name : instance-4456107-1721718414
1.68/1.70 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.70 c Constraints : 5415
1.68/1.70 c Objective sense : minimize
1.68/1.70 c Presolved Problem :
1.68/1.70 c Variables : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.68/1.70 c Constraints : 2742
1.68/1.70 c Constraints : Number
1.68/1.70 c setppc : 3
1.68/1.70 c linear : 2707
1.68/1.70 c indicator : 32
1.68/1.70 c ** Instance transfer method used: 0
1.68/1.71 c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.72 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.72 c Nodes Active
1.68/1.72 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.68/1.73 c * 2 0 1 1 136556.0000 - -
1.68/1.76 c * 2 0 1 1 90545.0000 - -
1.68/1.77 c * 2 0 1 1 1138.0000 - -
3.67/3.74 c * 4 0 1 1 548.0000 - -
3.67/3.78 c * 4 0 1 1 332.0000 - -
3.67/3.78 c * 4 0 1 1 245.0000 - -
5.07/5.19 c 5 5 4 1 245.0000 0.0000 -
5.67/5.75 c * 6 5 4 1 73.0000 0.0000 -
6.96/7.02 c * 7 13 10 1 67.0000 0.0000 -
10.45/10.60 c * 11 27 17 1 61.0000 0.0000 -
10.45/10.60 c 11 27 17 1 61.0000 0.0000 -
10.85/10.97 c * 11 27 17 1 44.0000 0.0000 -
15.94/16.07 c 16 92 36 1 44.0000 0.0000 -
16.04/16.14 c * 16 92 36 1 38.0000 0.0000 -
21.12/21.20 c * 21 186 93 1 37.0000 0.0000 -
21.12/21.20 c 21 186 93 1 37.0000 0.0000 -
21.52/21.64 c * 22 186 93 1 23.0000 0.0000 -
22.62/22.79 c * 23 283 109 1 7.0000 0.0000 -
26.81/26.93 c 27 814 215 1 7.0000 0.0000 -
31.99/32.11 c 32 1653 272 1 7.0000 0.0000 -
37.08/37.24 c 37 2421 236 1 7.0000 0.0000 -
42.25/42.41 c 42 4026 507 1 7.0000 0.0000 -
47.44/47.62 c 48 4934 670 1 7.0000 0.0000 -
52.62/52.83 c 53 6552 879 1 7.0000 0.0000 -
57.90/58.17 c 58 7796 990 1 7.0000 0.0000 -
62.98/63.29 c 63 9211 1182 1 7.0000 0.0000 -
68.35/68.62 c 69 10398 1306 1 7.0000 0.0000 -
73.44/73.80 c 74 12457 1451 1 7.0000 0.0000 -
77.42/77.76 c * 78 13316 1559 1 4.0000 0.0000 -
78.51/78.86 c 79 14224 1386 1 4.0000 0.0000 -
83.80/84.17 c 84 16346 1457 1 4.0000 0.0000 -
88.88/89.26 c 89 18262 1528 1 4.0000 0.0000 -
93.95/94.37 c 94 20715 1712 1 4.0000 0.0000 -
96.24/96.67 c * 97 21887 1807 1 3.0000 0.0000 -
99.03/99.45 c 99 23979 1751 1 3.0000 0.0000 -
104.11/104.52 c 105 27061 1859 1 3.0000 0.0000 -
109.29/109.77 c 110 29148 1962 1 3.0000 0.0000 -
114.47/114.97 c 115 30647 2025 1 3.0000 0.0000 -
119.56/120.02 c 120 33723 2184 1 3.0000 0.0000 -
124.53/125.07 c 125 36536 2268 1 3.0000 0.0000 -
129.62/130.12 c 130 39033 2310 1 3.0000 0.0000 -
134.59/135.18 c 135 41768 2355 1 3.0000 0.0000 -
139.66/140.25 c 140 44560 2387 1 3.0000 0.0000 -
144.74/145.30 c 145 47759 2508 1 3.0000 0.0000 -
149.72/150.35 c 150 50421 2566 1 3.0000 0.0000 -
154.81/155.40 c 155 53085 2652 1 3.0000 0.0000 -
160.08/160.70 c 161 54748 2766 1 3.0000 0.0000 -
165.06/165.75 c 166 56506 2879 1 3.0000 0.0000 -
170.24/170.97 c 171 58192 3038 1 3.0000 0.0000 -
175.32/176.05 c 176 60961 3228 1 3.0000 0.0000 -
180.40/181.11 c 181 62976 3322 1 3.0000 0.0000 -
185.47/186.20 c 186 65629 3402 1 3.0000 0.0000 -
190.45/191.27 c 191 67450 3438 1 3.0000 0.0000 -
190.75/191.59 c * 192 67450 3438 1 1.0000 0.0000 -
195.53/196.33 c 196 70042 717 1 1.0000 0.0000 -
200.51/201.37 c 201 72646 633 1 1.0000 0.0000 -
205.59/206.43 c 206 75872 561 1 1.0000 0.0000 -
210.57/211.48 c 211 78708 502 1 1.0000 0.0000 -
215.65/216.56 c 217 81381 472 1 1.0000 0.0000 -
220.73/221.69 c 222 83486 519 1 1.0000 0.0000 -
225.91/226.81 c 227 85240 514 1 1.0000 0.0000 -
230.88/231.89 c 232 87351 451 1 1.0000 0.0000 -
235.97/236.96 c 237 89813 503 1 1.0000 0.0000 -
241.05/242.01 c 242 93050 402 1 1.0000 0.0000 -
246.03/247.08 c 247 95035 427 1 1.0000 0.0000 -
251.21/252.20 c 252 96689 399 1 1.0000 0.0000 -
256.19/257.25 c 257 99592 340 1 1.0000 0.0000 -
261.18/262.29 c 262 103083 348 1 1.0000 0.0000 -
266.36/267.41 c 267 105210 302 1 1.0000 0.0000 -
271.55/272.60 c 273 105950 281 1 1.0000 0.0000 -
276.52/277.65 c 278 108817 213 1 1.0000 0.0000 -
281.61/282.72 c 283 110615 203 1 1.0000 0.0000 -
286.59/287.78 c 288 112754 228 1 1.0000 0.0000 -
291.67/292.83 c 293 116412 279 1 1.0000 0.0000 -
296.64/297.88 c 298 120051 170 1 1.0000 0.0000 -
301.73/302.97 c 303 122516 152 1 1.0000 0.0000 -
306.81/308.03 c 308 125382 184 1 1.0000 0.0000 -
311.79/313.08 c 313 128640 170 1 1.0000 0.0000 -
316.87/318.19 c 318 131741 128 1 1.0000 0.0000 -
321.95/323.29 c 323 133635 195 1 1.0000 0.0000 -
327.02/328.34 c 328 135613 80 1 1.0000 0.0000 -
332.00/333.39 c 333 139152 211 1 1.0000 0.0000 -
337.07/338.44 c 338 142677 146 1 1.0000 0.0000 -
342.16/343.56 c 344 145441 99 1 1.0000 0.0000 -
347.23/348.61 c 349 148935 121 1 1.0000 0.0000 -
352.31/353.71 c 354 152560 55 1 1.0000 0.0000 -
357.29/358.76 c 359 155516 25 1 1.0000 0.0000 -
362.38/363.81 c 364 158548 147 1 1.0000 0.0000 -
367.45/368.94 c 369 161535 108 1 1.0000 0.0000 -
372.53/374.09 c 374 164322 37 1 1.0000 0.0000 -
377.61/379.17 c 379 167285 64 1 1.0000 0.0000 -
382.69/384.22 c 384 170967 102 1 1.0000 0.0000 -
386.67/388.25 c 388 173998 0 0 1.0000 1.0000 0.00%
386.67/388.27 c 388 173998 0 0 1.0000 1.0000 -
386.67/388.27 c SCIP Status : c problem is solved
386.67/388.27 c Total Time : 388.2800
386.67/388.27 c solving : 388.2800
386.67/388.27 c presolving : 1.6826 (included in solving)
386.67/388.27 c B&B Tree :
386.67/388.27 c nodes (total) : 173998
386.67/388.27 c Solution :
386.67/388.27 c Solutions found : 18
386.67/388.27 c Primal Bound : +1.00000000000000e+00
386.67/388.27 c Dual Bound : +1.00000000000000e+00
386.67/388.27 c Gap : 0.00000 %
386.77/388.30 o 1
386.77/388.30 s OPTIMUM FOUND
386.77/388.30 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
386.77/388.30 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
386.77/388.30 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
386.77/388.30 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
386.77/388.30 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
386.77/388.30 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
386.77/388.30 v -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
386.77/388.30 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
386.77/388.30 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
386.77/388.30 v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
386.77/388.30 v -x1
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 (49195 MiB free)
memory of node 1: 64473 MiB (53176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456107-1721718414/watcher-4456107-1721718414 -o /tmp/evaluation-result-4456107-1721718414/solver-4456107-1721718414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86213 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456107-1721718414.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=86272, runsolver pid=86259
[startup+0.100649 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104713660/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=50316 memory=39016 CPUtime=0.1 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 7373 0 0 0 9 1 0 0 20 0 1 0 8369684 51523584 9754 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 12579 9754 2622 3032 0 8979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39016 KiB
[startup+0.215737 s]*
/proc/loadavg: 1.48 1.86 2.00 5/259 86277
/proc/meminfo: memFree=104711556/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=50812 memory=39280 CPUtime=0.21 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 7469 0 0 0 20 1 0 0 20 0 1 0 8369684 52031488 9820 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 12703 9820 2622 3032 0 9103 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39280 KiB
[startup+0.305109 s]*
/proc/loadavg: 1.48 1.86 2.00 5/259 86277
/proc/meminfo: memFree=104710996/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=50812 memory=39280 CPUtime=0.3 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 7469 0 0 0 29 1 0 0 20 0 1 0 8369684 52031488 9820 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 12703 9820 2622 3032 0 9103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39280 KiB
[startup+0.700167 s]
/proc/loadavg: 1.48 1.86 2.00 5/259 86277
/proc/meminfo: memFree=104708488/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=52356 memory=40864 CPUtime=0.69 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 7853 0 0 0 68 1 0 0 20 0 1 0 8369684 53612544 10216 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 13089 10216 2622 3032 0 9489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40864 KiB
[startup+1.50017 s]
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104703244/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=53384 memory=41920 CPUtime=1.48 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 8114 0 0 0 147 1 0 0 20 0 1 0 8369684 54665216 10480 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 13346 10480 2622 3032 0 9746 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41920 KiB
[startup+3.10623 s]
/proc/loadavg: 1.48 1.86 2.00 8/267 86287
/proc/meminfo: memFree=104463124/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=168772 memory=106556 CPUtime=3.07 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 29466 0 0 0 304 3 0 0 20 0 3 0 8369684 172822528 26639 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 42193 26639 2830 3032 0 33312 0
[pid=86272/tid=86279] ppid=86259 vsize=168772 memory=0 CPUtime=1.36 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 15986 0 0 0 135 1 0 0 20 0 3 0 8369854 172822528 26639 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=168772 memory=98124 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 8369856 172822528 26639 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 168772 KiB
Current children cumulated memory: 106556 KiB
[startup+6.30017 s]
/proc/loadavg: 1.84 1.93 2.02 8/267 86287
/proc/meminfo: memFree=104342100/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=171844 memory=129116 CPUtime=6.26 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 38160 0 0 0 621 5 0 0 20 0 3 0 8369684 175968256 32279 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 42961 32279 2974 3032 0 39236 0
[pid=86272/tid=86279] ppid=86259 vsize=171844 memory=93372 CPUtime=4.56 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 24051 0 0 0 453 3 0 0 20 0 3 0 8369854 175968256 32279 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=171844 memory=41920 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 8369856 175968256 32279 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 171844 KiB
Current children cumulated memory: 129116 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 1.96 2.03 8/267 86288
/proc/meminfo: memFree=104180624/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=237380 memory=177832 CPUtime=12.65 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 79834 0 0 0 1256 9 0 0 20 0 3 0 8369684 243077120 44458 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 59345 44458 2990 3032 0 51778 0
[pid=86272/tid=86279] ppid=86259 vsize=237380 memory=177696 CPUtime=10.93 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 64690 0 0 0 1087 6 0 0 20 0 3 0 8369854 243077120 44458 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=237380 memory=11548 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8369856 243077120 44458 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 237380 KiB
Current children cumulated memory: 177832 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 2.08 2.07 8/267 86290
/proc/meminfo: memFree=104174940/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=237380 memory=179844 CPUtime=25.4 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 111537 0 0 0 2529 11 0 0 20 0 3 0 8369684 243077120 44961 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 59345 44961 3310 3032 0 51778 0
[pid=86272/tid=86279] ppid=86259 vsize=237380 memory=179844 CPUtime=23.69 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 95340 0 0 0 2360 9 0 0 20 0 3 0 8369854 243077120 44961 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=237380 memory=179816 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 8369856 243077120 44961 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 237380 KiB
Current children cumulated memory: 179844 KiB
[startup+51.1066 s]
/proc/loadavg: 3.03 2.24 2.12 8/267 86293
/proc/meminfo: memFree=103999248/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=302916 memory=243528 CPUtime=50.93 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 198694 0 0 0 5074 19 0 0 20 0 3 0 8369684 310185984 60882 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 75729 60882 3310 3032 0 68177 0
[pid=86272/tid=86279] ppid=86259 vsize=302916 memory=207200 CPUtime=49.22 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 182390 0 0 0 4905 17 0 0 20 0 3 0 8369854 310185984 60882 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=302916 memory=4638778398332895336 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 8369856 310185984 60882 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 302916 KiB
Current children cumulated memory: 243528 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 8/267 86303
/proc/meminfo: memFree=103869212/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=317236 memory=266800 CPUtime=101.92 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 264132 0 0 0 10165 27 0 0 20 0 3 0 8369684 324849664 66700 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 79309 66700 3310 3032 0 73899 0
[pid=86272/tid=86279] ppid=86259 vsize=317236 memory=266796 CPUtime=100.2 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 246885 0 0 0 9995 25 0 0 20 0 3 0 8369854 324849664 66700 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=317236 memory=266536 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 8369856 324849664 66700 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 317236 KiB
Current children cumulated memory: 266800 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.83 2.35 8/267 86314
/proc/meminfo: memFree=103741456/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=399556 memory=293704 CPUtime=161.67 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 328555 0 0 0 16129 38 0 0 20 0 3 0 8369684 409145344 73426 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 99889 73426 3310 3032 0 80204 0
[pid=86272/tid=86279] ppid=86259 vsize=399556 memory=279920 CPUtime=159.95 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 311243 0 0 0 15959 36 0 0 20 0 3 0 8369854 409145344 73426 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=399556 memory=279804 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 8369856 409145344 73426 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 399556 KiB
Current children cumulated memory: 293704 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.04 2.46 8/264 86324
/proc/meminfo: memFree=103639952/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=413244 memory=303664 CPUtime=221.43 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 378945 0 0 0 22096 47 0 0 20 0 3 0 8369684 423161856 75916 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 103311 75916 3310 3032 0 83626 0
[pid=86272/tid=86279] ppid=86259 vsize=413244 memory=299016 CPUtime=219.7 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 361155 0 0 0 21926 44 0 0 20 0 3 0 8369854 423161856 75916 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=413244 memory=303664 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 8369856 423161856 75916 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 413244 KiB
Current children cumulated memory: 303664 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.25 2.57 7/266 86388
/proc/meminfo: memFree=103683220/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=422204 memory=320340 CPUtime=281.21 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 422198 0 0 0 28065 56 0 0 20 0 3 0 8369684 432336896 80085 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 105551 80085 3310 3032 0 87030 0
[pid=86272/tid=86279] ppid=86259 vsize=422204 memory=312096 CPUtime=279.48 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 404380 0 0 0 27895 53 0 0 20 0 3 0 8369854 432336896 80085 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=422204 memory=320340 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 8369856 432336896 80085 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 422204 KiB
Current children cumulated memory: 320340 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.41 2.67 7/262 86398
/proc/meminfo: memFree=103513112/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=330688 CPUtime=340.96 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 455615 0 0 0 34031 65 0 0 20 0 3 0 8369684 443338752 82672 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 82672 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=323368 CPUtime=339.23 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 437762 0 0 0 33861 62 0 0 20 0 3 0 8369854 443338752 82672 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=330688 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 82672 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 330688 KiB
[startup+388.309 s]
# the end of solver process 86272 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=386.054 s, system=0.73624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.08 3.43 2.69 7/262 86401
/proc/meminfo: memFree=103482708/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=331264 CPUtime=356.99 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 458297 0 0 0 35633 66 0 0 20 0 3 0 8369684 443338752 82816 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 82816 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=13136 CPUtime=355.26 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 440440 0 0 0 35463 63 0 0 20 0 3 0 8369854 443338752 82816 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=33272 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 82816 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 356.99 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 331264 KiB
[startup+371.2 s]
/proc/loadavg: 4.14 3.48 2.71 7/262 86402
/proc/meminfo: memFree=103476864/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=331488 CPUtime=369.74 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 458453 0 0 0 36907 67 0 0 20 0 3 0 8369684 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 82872 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=331456 CPUtime=368 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 440596 0 0 0 36736 64 0 0 20 0 3 0 8369854 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=331488 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 369.74 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 331488 KiB
[startup+377.6 s]
/proc/loadavg: 4.13 3.49 2.72 7/262 86404
/proc/meminfo: memFree=103457020/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=331488 CPUtime=376.11 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 474295 0 0 0 37542 69 0 0 20 0 3 0 8369684 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 82872 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=11548 CPUtime=374.38 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 456409 0 0 0 37372 66 0 0 20 0 3 0 8369854 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=331488 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 82872 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 376.11 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 331488 KiB
[startup+384 s]*
/proc/loadavg: 4.12 3.50 2.73 7/262 86405
/proc/meminfo: memFree=103456116/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=332180 CPUtime=382.49 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 489249 0 0 0 38179 70 0 0 20 0 3 0 8369684 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 83045 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=-7450755352558132857 CPUtime=380.75 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 471362 0 0 0 38008 67 0 0 20 0 3 0 8369854 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=332180 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 382.49 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 332180 KiB
[startup+385.6 s]
/proc/loadavg: 4.11 3.51 2.74 7/262 86405
/proc/meminfo: memFree=103452124/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=332180 CPUtime=384.08 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 489264 0 0 0 38338 70 0 0 20 0 3 0 8369684 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 83045 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=11548 CPUtime=382.34 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 471377 0 0 0 38167 67 0 0 20 0 3 0 8369854 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=33272 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 384.08 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 332180 KiB
[startup+387.2 s]
/proc/loadavg: 4.11 3.51 2.74 7/262 86406
/proc/meminfo: memFree=103451984/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=332180 CPUtime=385.68 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 489275 0 0 0 38497 71 0 0 20 0 3 0 8369684 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 83045 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=331488 CPUtime=383.94 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 471388 0 0 0 38326 68 0 0 20 0 3 0 8369854 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=13136 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 385.68 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 332180 KiB
[startup+388 s]*
/proc/loadavg: 4.11 3.51 2.74 7/262 86406
/proc/meminfo: memFree=103451960/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=332180 CPUtime=386.48 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 489280 0 0 0 38577 71 0 0 20 0 3 0 8369684 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 83045 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=-7450755352558132857 CPUtime=384.74 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 471393 0 0 0 38406 68 0 0 20 0 3 0 8369854 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=16835 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 386.48 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 332180 KiB
[startup+388.2 s]
/proc/loadavg: 4.11 3.51 2.74 7/262 86406
/proc/meminfo: memFree=103451960/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=432948 memory=332180 CPUtime=386.67 cores=5,7
/proc/86272/stat : 86272 (fscip) S 86259 86272 86200 0 -1 1077936128 489282 0 0 0 38596 71 0 0 20 0 3 0 8369684 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 108237 83045 3310 3032 0 89716 0
[pid=86272/tid=86279] ppid=86259 vsize=432948 memory=16835 CPUtime=384.93 cores=5,7
/proc/86272/task/86279/stat : 86279 (fscip) R 86259 86272 86200 0 -1 4194368 471395 0 0 0 38425 68 0 0 20 0 3 0 8369854 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
[pid=86272/tid=86282] ppid=86259 vsize=432948 memory=15462 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369856 443338752 83045 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 386.67 s
Current children cumulated vsize: 432948 KiB
Current children cumulated memory: 332180 KiB
[startup+388.301 s]
/proc/loadavg: 4.11 3.51 2.74 7/262 86406
/proc/meminfo: memFree=103451960/131524600 swapFree=131071996/131071996
[pid=86272] ppid=86259 vsize=264300 memory=171044 CPUtime=386.77 cores=5,7
/proc/86272/stat : 86272 (fscip) R 86259 86272 86200 0 -1 4194304 502539 0 0 0 38605 72 0 0 20 0 2 0 8369684 270643200 42761 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
/proc/86272/statm: 66075 42761 3310 3032 0 62380 0
[pid=86272/tid=86282] ppid=86259 vsize=264300 memory=5684 CPUtime=0 cores=5,7
/proc/86272/task/86282/stat : 86282 (fscip) S 86259 86272 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 2 0 8369856 270643200 42761 134679101440 4194304 16613245 140731857558304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44433408 140731857564696 140731857564812 140731857564812 140731857571824 0
Current children cumulated CPU time: 386.77 s
Current children cumulated vsize: 264300 KiB
Current children cumulated memory: 171044 KiB
Child status: 0
Real time (s): 388.309
CPU time (s): 386.791
CPU user time (s): 386.054
CPU system time (s): 0.73624
CPU usage (%): 99.6088
Max. virtual memory (cumulated for all children) (KiB): 432948
Max. memory (cumulated for all children) (KiB): 332180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.054
system time used= 0.73624
maximum resident set size= 332180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502710
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= 1184
involuntary context switches= 460
# summary of solver processes directly reported to runsolver:
# pid: 86272
# total CPU time (s): 386.791
# total CPU user time (s): 386.054
# total CPU system time (s): 0.73624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.781582 second user time and 2.0882 second system time
The end
Begin job on nodeC018 at 2024-07-23 09:06:54
IDJOB=4456107
IDBENCH=143215
IDSOLVER=3044
FILE ID=nodeC018/4456107-1721718414
RUNJOBID= nodeC018-1721718414-86213
SLURM_JOB_ID= 7770409
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456107-1721718414/watcher-4456107-1721718414 -o /tmp/evaluation-result-4456107-1721718414/solver-4456107-1721718414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86213 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456107-1721718414.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9db53b9de24bf429e61c95cb9f7b1f1e
RANDOM SEED=170537521
nodeC018.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 : 3632.787
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.43
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 : 3388.564
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.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 : 0xb00002a
cpu MHz : 3502.437
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.43
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 : 3601.736
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.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 : 0xb00002a
cpu MHz : 3593.847
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.43
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 : 3564.502
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.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 : 0xb00002a
cpu MHz : 3562.548
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.43
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 : 3291.420
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 104830700 kB
MemAvailable: 129773096 kB
Buffers: 140784 kB
Cached: 25530080 kB
SwapCached: 0 kB
Active: 913936 kB
Inactive: 25020692 kB
Active(anon): 1432 kB
Inactive(anon): 300140 kB
Active(file): 912504 kB
Inactive(file): 24720552 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113000 kB
Writeback: 8 kB
AnonPages: 261844 kB
Mapped: 99624 kB
Shmem: 37712 kB
KReclaimable: 298328 kB
Slab: 405460 kB
SReclaimable: 298328 kB
SUnreclaim: 107132 kB
KernelStack: 3888 kB
PageTables: 9352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 617084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 143360 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 24657920 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC018 at 2024-07-23 09:13:23