0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 26714112, getVmSize() = 26714112, SCIPgetMemUsed() = 3913116, SCIPgetMemTotal() = 5025468, SCIPgetMemExternEstim() = 2023793
0.00/0.02 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 21064362, getVmSize() = 36478976, SCIPgetMemUsed() = 9385836, SCIPgetMemTotal() = 13657628, SCIPgetMemExternEstim() = 2023793
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4464509-1722385807
0.00/0.05 c Variables : 901 (901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 1258
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 450
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 450
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.73/5.86 c 6 2147 2012 1 - 0.0000 -
10.81/10.99 c 11 4485 4013 1 - 0.0000 -
15.90/16.10 c 16 8180 7514 1 - 0.0000 -
20.98/21.14 c 21 15378 13756 1 - 0.0000 -
26.04/26.20 c 26 22516 19418 1 - 0.0000 -
31.03/31.24 c 31 29445 25338 1 - 0.0000 -
36.01/36.29 c 36 35780 30983 1 - 0.0000 -
41.08/41.34 c 41 42542 36987 1 - 0.0000 -
46.06/46.39 c 46 49419 43157 1 - 0.0000 -
51.14/51.44 c 51 56296 49115 1 - 0.0000 -
56.12/56.49 c 56 63106 54963 1 - 0.0000 -
61.20/61.54 c 62 69937 60681 1 - 0.0000 -
66.18/66.59 c 67 77264 66394 1 - 0.0000 -
71.25/71.65 c 72 84004 72551 1 - 0.0000 -
76.34/76.70 c 77 91039 78295 1 - 0.0000 -
81.31/81.75 c 82 98411 83896 1 - 0.0000 -
86.38/86.80 c 87 105166 89571 1 - 0.0000 -
91.36/91.87 c 92 111818 95387 1 - 0.0000 -
96.44/96.91 c 97 118422 100503 1 - 0.0000 -
101.42/101.96 c 102 125141 106270 1 - 0.0000 -
106.51/107.01 c 107 131776 111908 1 - 0.0000 -
111.48/112.06 c 112 138324 117486 1 - 0.0000 -
116.57/117.11 c 117 145609 122946 1 - 0.0000 -
121.53/122.16 c 122 152559 128803 1 - 0.0000 -
126.60/127.21 c 127 159892 133738 1 - 0.0000 -
131.58/132.27 c 132 166484 139263 1 - 0.0000 -
136.65/137.31 c 137 173092 144944 1 - 0.0000 -
141.64/142.38 c 142 179338 149966 1 - 0.0000 -
146.71/147.42 c 147 185762 155169 1 - 0.0000 -
151.69/152.49 c 152 192198 160483 1 - 0.0000 -
156.77/157.54 c 158 198952 165825 1 - 0.0000 -
161.74/162.58 c 163 205324 171134 1 - 0.0000 -
166.82/167.64 c 168 211545 176120 1 - 0.0000 -
171.80/172.69 c 173 217607 181662 1 - 0.0000 -
176.87/177.74 c 178 223896 186967 1 - 0.0000 -
181.95/182.80 c 183 230212 192235 1 - 0.0000 -
186.93/187.84 c 188 236305 197509 1 - 0.0000 -
191.91/192.89 c 193 242582 202758 1 - 0.0000 -
196.98/197.96 c 198 248753 207820 1 - 0.0000 -
201.96/203.01 c 203 256705 212769 1 - 0.0000 -
207.05/208.05 c 208 263165 217624 1 - 0.0000 -
212.13/213.12 c 213 269770 223120 1 - 0.0000 -
217.10/218.16 c 218 276089 228237 1 - 0.0000 -
222.16/223.22 c 223 282209 233244 1 - 0.0000 -
227.15/228.27 c 228 288327 238214 1 - 0.0000 -
232.22/233.32 c 233 294283 243284 1 - 0.0000 -
237.20/238.38 c 238 300645 248729 1 - 0.0000 -
242.28/243.42 c 243 306342 253698 1 - 0.0000 -
247.25/248.47 c 248 312302 259081 1 - 0.0000 -
252.33/253.52 c 254 318448 263732 1 - 0.0000 -
257.31/258.56 c 259 325105 268062 1 - 0.0000 -
262.38/263.62 c 264 331164 272565 1 - 0.0000 -
267.36/268.66 c 269 337117 276700 1 - 0.0000 -
272.44/273.72 c 274 343384 280588 1 - 0.0000 -
277.42/278.77 c 279 348686 284774 1 - 0.0000 -
282.49/283.83 c 284 354252 289349 1 - 0.0000 -
287.47/288.88 c 289 359743 293744 1 - 0.0000 -
292.55/293.93 c 294 365051 298408 1 - 0.0000 -
297.52/298.98 c 299 370217 302499 1 - 0.0000 -
302.62/304.04 c 304 375366 306540 1 - 0.0000 -
307.59/309.09 c 309 380993 310686 1 - 0.0000 -
312.67/314.14 c 314 386969 314832 1 - 0.0000 -
317.65/319.19 c 319 392618 319086 1 - 0.0000 -
322.71/324.29 c 324 398105 323058 1 - 0.0000 -
327.79/329.33 c 329 403405 327066 1 - 0.0000 -
332.77/334.39 c 334 409294 331209 1 - 0.0000 -
337.84/339.43 c 339 414757 335710 1 - 0.0000 -
342.82/344.48 c 344 419787 339760 1 - 0.0000 -
347.90/349.54 c 350 424769 343338 1 - 0.0000 -
352.88/354.58 c 355 430266 347739 1 - 0.0000 -
357.95/359.63 c 360 435406 352065 1 - 0.0000 -
362.94/364.68 c 365 440470 356182 1 - 0.0000 -
368.01/369.73 c 370 445715 360412 1 - 0.0000 -
372.99/374.79 c 375 450521 364465 1 - 0.0000 -
378.07/379.83 c 380 455601 368504 1 - 0.0000 -
383.05/384.88 c 385 460427 372043 1 - 0.0000 -
388.12/389.93 c 390 465571 376484 1 - 0.0000 -
393.10/394.99 c 395 470537 380836 1 - 0.0000 -
398.18/400.04 c 400 475182 384681 1 - 0.0000 -
403.16/405.10 c 405 480053 388248 1 - 0.0000 -
408.24/410.14 c 410 484591 391971 1 - 0.0000 -
413.31/415.20 c 415 489241 395997 1 - 0.0000 -
418.28/420.24 c 420 494330 400228 1 - 0.0000 -
423.26/425.29 c 425 499027 404105 1 - 0.0000 -
428.34/430.34 c 430 503809 408106 1 - 0.0000 -
434.42/436.40 c 436 508006 0 0 - 0.0000 -
434.42/436.40 c 436 508006 0 0 - 0.0000 -
434.42/436.42 c 436 508006 0 0 - 0.0000 -
434.42/436.42 c SCIP Status : c problem is solved [infeasible]
434.42/436.42 c Total Time : 436.4200
434.42/436.42 c solving : 436.4200
434.42/436.42 c presolving : 0.0372 (included in solving)
434.42/436.42 c B&B Tree :
434.42/436.42 c nodes (total) : 508006
434.42/436.42 c Solution :
434.42/436.42 c Solutions found : 0
434.42/436.42 c Primal Bound : -
434.42/436.42 c Dual Bound : -
434.42/436.42 c Gap : -
434.42/436.43 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (54146 MiB free)
memory of node 1: 64473 MiB (52233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464509-1722385807/watcher-4464509-1722385807 -o /tmp/evaluation-result-4464509-1722385807/solver-4464509-1722385807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464509-1722385807.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
Linux 4.18.0-301.1.el8.x
solver pid=33238, runsolver pid=33235
Current StackSize limit: 8192 KiB
[startup+0.100433 s]*
/proc/loadavg: 4.14 4.13 4.15 6/255 33241
/proc/meminfo: memFree=108912184/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=119844 memory=32128 CPUtime=0.1 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 5480 0 0 0 8 2 0 0 20 0 3 0 5178299 122720256 8032 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 29961 8032 2854 3035 0 12052 0
[pid=33238/tid=33240] ppid=33235 vsize=119844 memory=4026561586 CPUtime=0.03 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 1760 0 0 0 3 0 0 0 20 0 3 0 5178305 122720256 8032 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=119844 memory=232851243367 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178306 122720256 8032 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119844 KiB
Current children cumulated memory: 32128 KiB
[startup+0.222421 s]*
/proc/loadavg: 4.14 4.13 4.15 5/255 33243
/proc/meminfo: memFree=108907960/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=35920 CPUtime=0.2 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 6300 0 0 0 18 2 0 0 20 0 3 0 5178299 124645376 8980 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 8980 2950 3035 0 12857 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=664970838410264707 CPUtime=0.13 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 2580 0 0 0 13 0 0 0 20 0 3 0 5178305 124645376 8980 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=3617 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 8980 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 35920 KiB
[startup+0.313418 s]*
/proc/loadavg: 4.14 4.13 4.15 5/255 33243
/proc/meminfo: memFree=108901860/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=41768 CPUtime=0.28 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 8218 0 0 0 26 2 0 0 20 0 3 0 5178299 124645376 10442 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 10442 2966 3035 0 14643 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=-5155630202149759877 CPUtime=0.21 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 4498 0 0 0 21 0 0 0 20 0 3 0 5178305 124645376 10442 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=0 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 10442 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 41768 KiB
[startup+0.700321 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 33243
/proc/meminfo: memFree=108898812/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=50448 CPUtime=0.65 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 10406 0 0 0 63 2 0 0 20 0 3 0 5178299 124645376 12612 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 12612 2966 3035 0 16615 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=0 CPUtime=0.59 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 6686 0 0 0 58 1 0 0 20 0 3 0 5178305 124645376 12612 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=0 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 12612 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 50448 KiB
[startup+1.50036 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 33243
/proc/meminfo: memFree=108885916/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=61352 CPUtime=1.45 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 20257 0 0 0 141 4 0 0 20 0 3 0 5178299 124645376 15338 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 15338 2966 3035 0 19306 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=0 CPUtime=1.38 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 16537 0 0 0 136 2 0 0 20 0 3 0 5178305 124645376 15338 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=0 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 15338 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 61352 KiB
[startup+3.11353 s]
/proc/loadavg: 4.12 4.13 4.15 5/257 33301
/proc/meminfo: memFree=108878664/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=61880 CPUtime=3.06 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 25935 0 0 0 301 5 0 0 20 0 3 0 5178299 124645376 15470 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 15470 2966 3035 0 20084 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=2273 CPUtime=2.99 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 22196 0 0 0 296 3 0 0 20 0 3 0 5178305 124645376 15470 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=0 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 15470 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 61880 KiB
[startup+6.30035 s]
/proc/loadavg: 4.12 4.13 4.15 5/257 33301
/proc/meminfo: memFree=108863808/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=73360 CPUtime=6.23 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 43387 0 0 0 616 7 0 0 20 0 3 0 5178299 124645376 18340 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 18340 2966 3035 0 22892 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=65672 CPUtime=6.16 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 39628 0 0 0 611 5 0 0 20 0 3 0 5178305 124645376 18340 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=-5155630202149759877 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 18340 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 73360 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.13 4.15 5/257 33303
/proc/meminfo: memFree=108842776/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=88512 CPUtime=12.61 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 81882 0 0 0 1249 12 0 0 20 0 3 0 5178299 124645376 22128 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 22128 3014 3035 0 26805 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=-7523662869084332413 CPUtime=12.54 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 78089 0 0 0 1244 10 0 0 20 0 3 0 5178305 124645376 22128 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=2660 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 22128 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 88512 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.15 5/257 33304
/proc/meminfo: memFree=108825008/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=121724 memory=90460 CPUtime=25.35 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 111879 0 0 0 2518 17 0 0 20 0 3 0 5178299 124645376 22615 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 30431 22615 3014 3035 0 26811 0
[pid=33238/tid=33240] ppid=33235 vsize=121724 memory=12660 CPUtime=25.28 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 108031 0 0 0 2513 15 0 0 20 0 3 0 5178305 124645376 22615 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=121724 memory=90000 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5178306 124645376 22615 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 121724 KiB
Current children cumulated memory: 90460 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 4.13 4.15 5/255 33309
/proc/meminfo: memFree=108227672/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=187260 memory=108724 CPUtime=50.86 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 143586 0 0 0 5059 27 0 0 20 0 3 0 5178299 191754240 27181 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 46815 27181 3014 3035 0 31015 0
[pid=33238/tid=33240] ppid=33235 vsize=187260 memory=12160 CPUtime=50.78 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 139659 0 0 0 5053 25 0 0 20 0 3 0 5178305 191754240 27181 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=187260 memory=98124 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5178306 191754240 27181 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 187260 KiB
Current children cumulated memory: 108724 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/254 33365
/proc/meminfo: memFree=116037028/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=189828 memory=157808 CPUtime=101.82 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 203412 0 0 0 10138 44 0 0 20 0 3 0 5178299 194383872 39452 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 47457 39452 3014 3035 0 43467 0
[pid=33238/tid=33240] ppid=33235 vsize=189828 memory=153168 CPUtime=101.74 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 199384 0 0 0 10132 42 0 0 20 0 3 0 5178305 194383872 39452 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=189828 memory=140612 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5178306 194383872 39452 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 189828 KiB
Current children cumulated memory: 157808 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/254 33377
/proc/meminfo: memFree=115742420/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=255364 memory=216988 CPUtime=161.55 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 256819 0 0 0 16093 62 0 0 20 0 3 0 5178299 261492736 54247 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 63841 54247 3014 3035 0 58127 0
[pid=33238/tid=33240] ppid=33235 vsize=255364 memory=212684 CPUtime=161.46 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 252731 0 0 0 16086 60 0 0 20 0 3 0 5178305 261492736 54247 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=255364 memory=212872 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5178306 261492736 54247 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 255364 KiB
################
# More data... #
################
/proc/33238/statm: 98276 81753 3014 3035 0 86292 0
[pid=33238/tid=33240] ppid=33235 vsize=393104 memory=12160 CPUtime=280.91 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 310779 0 0 0 27995 96 0 0 20 0 3 0 5178305 402538496 81753 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=393104 memory=326944 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5178306 402538496 81753 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 281 s
Current children cumulated vsize: 393104 KiB
Current children cumulated memory: 327012 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/248 33407
/proc/meminfo: memFree=115403364/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=459668 memory=375856 CPUtime=340.73 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 353525 0 0 0 33959 114 0 0 20 0 3 0 5178299 470700032 93964 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 114917 93964 3014 3035 0 98373 0
[pid=33238/tid=33240] ppid=33235 vsize=459668 memory=355048 CPUtime=340.64 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 349382 0 0 0 33952 112 0 0 20 0 3 0 5178305 470700032 93964 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=459668 memory=-7523662869084332413 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5178306 470700032 93964 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 340.73 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 375856 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/247 33418
/proc/meminfo: memFree=115311900/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=459668 memory=420332 CPUtime=400.47 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 394420 0 0 0 39917 130 0 0 20 0 3 0 5178299 470700032 105083 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 114917 105083 3014 3035 0 109563 0
[pid=33238/tid=33240] ppid=33235 vsize=459668 memory=326968 CPUtime=400.36 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 390249 0 0 0 39909 127 0 0 20 0 3 0 5178305 470700032 105083 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=459668 memory=401732 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 470700032 105083 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 420332 KiB
[startup+436.47 s]
# the end of solver process 33238 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=433.026 s, system=1.46743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.11 4.12 4.13 5/247 33418
/proc/meminfo: memFree=115309400/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=459668 memory=421592 CPUtime=407.73 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 396173 0 0 0 40642 131 0 0 20 0 3 0 5178299 470700032 105398 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 114917 105398 3014 3035 0 109598 0
[pid=33238/tid=33240] ppid=33235 vsize=459668 memory=12952 CPUtime=407.63 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 392002 0 0 0 40634 129 0 0 20 0 3 0 5178305 470700032 105398 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=459668 memory=0 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 470700032 105398 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 407.73 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 421592 KiB
[startup+422.4 s]
/proc/loadavg: 4.09 4.11 4.13 5/247 33421
/proc/meminfo: memFree=115289368/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=525204 memory=430860 CPUtime=420.48 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 408358 0 0 0 41913 135 0 0 20 0 3 0 5178299 537808896 107715 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131301 107715 3014 3035 0 111866 0
[pid=33238/tid=33240] ppid=33235 vsize=525204 memory=52524 CPUtime=420.37 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 404164 0 0 0 41905 132 0 0 20 0 3 0 5178305 537808896 107715 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=525204 memory=421684 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 537808896 107715 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 420.48 s
Current children cumulated vsize: 525204 KiB
Current children cumulated memory: 430860 KiB
[startup+428.8 s]
/proc/loadavg: 4.15 4.13 4.13 5/247 33421
/proc/meminfo: memFree=115282416/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=525204 memory=434612 CPUtime=426.84 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 410296 0 0 0 42548 136 0 0 20 0 3 0 5178299 537808896 108653 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131301 108653 3014 3035 0 112778 0
[pid=33238/tid=33240] ppid=33235 vsize=525204 memory=12952 CPUtime=426.74 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 406102 0 0 0 42540 134 0 0 20 0 3 0 5178305 537808896 108653 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=525204 memory=427728 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 537808896 108653 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 426.84 s
Current children cumulated vsize: 525204 KiB
Current children cumulated memory: 434612 KiB
[startup+432 s]*
/proc/loadavg: 4.15 4.13 4.13 5/247 33424
/proc/meminfo: memFree=115276840/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=525204 memory=437240 CPUtime=430.05 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 411358 0 0 0 42868 137 0 0 20 0 3 0 5178299 537808896 109310 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131301 109310 3014 3035 0 113426 0
[pid=33238/tid=33240] ppid=33235 vsize=525204 memory=-6000919485591546220 CPUtime=429.93 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 407164 0 0 0 42859 134 0 0 20 0 3 0 5178305 537808896 109310 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=525204 memory=28208 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 537808896 109310 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 430.05 s
Current children cumulated vsize: 525204 KiB
Current children cumulated memory: 437240 KiB
[startup+433.6 s]
/proc/loadavg: 4.14 4.12 4.13 5/247 33424
/proc/meminfo: memFree=115275276/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=525204 memory=439684 CPUtime=431.62 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 412356 0 0 0 43025 137 0 0 20 0 3 0 5178299 537808896 109921 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131301 109921 3014 3035 0 114082 0
[pid=33238/tid=33240] ppid=33235 vsize=525204 memory=437236 CPUtime=431.52 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 408162 0 0 0 43017 135 0 0 20 0 3 0 5178305 537808896 109921 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=525204 memory=2248 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 537808896 109921 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 431.62 s
Current children cumulated vsize: 525204 KiB
Current children cumulated memory: 439684 KiB
[startup+435.2 s]
/proc/loadavg: 4.14 4.12 4.13 5/247 33424
/proc/meminfo: memFree=115269172/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=526232 memory=441192 CPUtime=433.22 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 473244 0 0 0 43181 141 0 0 20 0 3 0 5178299 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131558 110298 3014 3035 0 114427 0
[pid=33238/tid=33240] ppid=33235 vsize=526232 memory=12160 CPUtime=433.11 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 469050 0 0 0 43172 139 0 0 20 0 3 0 5178305 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=526232 memory=16076 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 433.22 s
Current children cumulated vsize: 526232 KiB
Current children cumulated memory: 441192 KiB
[startup+436 s]*
/proc/loadavg: 4.14 4.12 4.13 5/248 33425
/proc/meminfo: memFree=115268840/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=526232 memory=441192 CPUtime=434.03 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 476810 0 0 0 43261 142 0 0 20 0 3 0 5178299 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131558 110298 3014 3035 0 114427 0
[pid=33238/tid=33240] ppid=33235 vsize=526232 memory=1209084 CPUtime=433.92 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 472617 0 0 0 43253 139 0 0 20 0 3 0 5178305 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=526232 memory=16076 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 538861568 110298 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 434.03 s
Current children cumulated vsize: 526232 KiB
Current children cumulated memory: 441192 KiB
[startup+436.4 s]
/proc/loadavg: 4.14 4.12 4.13 5/248 33425
/proc/meminfo: memFree=115268840/131655788 swapFree=131071996/131071996
[pid=33238] ppid=33235 vsize=525204 memory=440168 CPUtime=434.42 cores=0,2
/proc/33238/stat : 33238 (fscip) S 33235 33238 28645 0 -1 1077936128 478408 0 0 0 43300 142 0 0 20 0 3 0 5178299 537808896 110042 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
/proc/33238/statm: 131301 110042 3014 3035 0 114170 0
[pid=33238/tid=33240] ppid=33235 vsize=525204 memory=441192 CPUtime=434.3 cores=0,2
/proc/33238/task/33240/stat : 33240 (fscip) R 33235 33238 28645 0 -1 4194368 474214 0 0 0 43291 139 0 0 20 0 3 0 5178305 537808896 110042 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
[pid=33238/tid=33241] ppid=33235 vsize=525204 memory=431980 CPUtime=0 cores=0,2
/proc/33238/task/33241/stat : 33241 (fscip) S 33235 33238 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178306 537808896 110042 134679101440 4194304 16623229 140729459223120 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32272384 140729459225622 140729459225738 140729459225738 140729459232752 0
Current children cumulated CPU time: 434.42 s
Current children cumulated vsize: 525204 KiB
Current children cumulated memory: 440168 KiB
Child status: 0
Real time (s): 436.47
CPU time (s): 434.494
CPU user time (s): 433.026
CPU system time (s): 1.46743
CPU usage (%): 99.5472
Max. virtual memory (cumulated for all children) (KiB): 526232
Max. memory (cumulated for all children) (KiB): 441192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.026
system time used= 1.46743
maximum resident set size= 441192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481901
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= 1357
involuntary context switches= 3061
# summary of solver processes directly reported to runsolver:
# pid: 33238
# total CPU time (s): 434.494
# total CPU user time (s): 433.026
# total CPU system time (s): 1.46743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23317 second user time and 4.30175 second system time
The end
Begin job on nodeC009 at 2024-07-31 02:30:07
IDJOB=4464509
IDBENCH=160360
IDSOLVER=3092
FILE ID=nodeC009/4464509-1722385807
RUNJOBID= nodeC009-1722378594-28655
SLURM_JOB_ID= 8249839
Free space on /tmp= 723672 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.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-4464509-1722385807/watcher-4464509-1722385807 -o /tmp/evaluation-result-4464509-1722385807/solver-4464509-1722385807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464509-1722385807.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=624940052
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.266
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3635.027
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1222.081
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.758
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.289
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 108933312 kB
MemAvailable: 120886092 kB
Buffers: 101612 kB
Cached: 12651556 kB
SwapCached: 0 kB
Active: 290144 kB
Inactive: 21905180 kB
Active(anon): 1496 kB
Inactive(anon): 9462004 kB
Active(file): 288648 kB
Inactive(file): 12443176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56832 kB
Writeback: 0 kB
AnonPages: 9442232 kB
Mapped: 124728 kB
Shmem: 21320 kB
KReclaimable: 122308 kB
Slab: 204540 kB
SReclaimable: 122308 kB
SUnreclaim: 82232 kB
KernelStack: 4064 kB
PageTables: 28544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4349908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2836480 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: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC009 at 2024-07-31 02:37:24