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 = 37941248, getVmSize() = 37941248, SCIPgetMemUsed() = 10440614, SCIPgetMemTotal() = 15954798, SCIPgetMemExternEstim() = 7021312
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.17 c ** Estimated virtualMemUsedAtSolver = 38778340, getVmSize() = 74620928, SCIPgetMemUsed() = 22798055, SCIPgetMemTotal() = 51146199, SCIPgetMemExternEstim() = 7021312
0.10/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.17 c Original Problem :
0.10/0.17 c Problem name : instance-4464716-1722390850
0.10/0.17 c Variables : 214 (214 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 5375
0.10/0.17 c Objective sense : minimize
0.10/0.17 c Presolved Problem :
0.10/0.17 c Variables : 213 (213 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 5375
0.10/0.17 c Constraints : Number
0.10/0.17 c logicor : 5375
0.10/0.17 c ** Instance transfer method used: 0
0.10/0.18 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.19 c Nodes Active
0.10/0.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.20 c * 0 0 1 1 213.0000 - -
0.30/0.35 c * 0 0 1 1 25.0000 - -
0.30/0.35 c * 0 0 1 1 24.0000 - -
10.72/10.89 c * 11 0 1 1 22.0000 - -
10.72/10.89 c 11 0 1 1 22.0000 - -
16.10/16.20 c 16 5 4 1 22.0000 14.0733 56.32%
21.78/21.96 c 22 12 11 1 22.0000 14.0733 56.32%
27.37/27.58 c 28 48 41 1 22.0000 14.0733 56.32%
32.86/33.00 c 33 157 128 1 22.0000 14.4544 52.20%
38.64/38.83 c 39 248 213 1 22.0000 15.0291 46.38%
44.02/44.22 c 44 344 287 1 22.0000 15.0291 46.38%
50.01/50.20 c 50 424 367 1 22.0000 15.4487 42.41%
55.29/55.52 c 56 551 456 1 22.0000 15.6393 40.67%
61.37/61.65 c 62 743 570 1 22.0000 15.8662 38.66%
66.55/66.81 c 67 832 645 1 22.0000 15.9202 38.19%
71.93/72.23 c 72 945 732 1 22.0000 16.1204 36.47%
77.40/77.72 c 78 1044 807 1 22.0000 16.2472 35.41%
88.48/88.99 c 89 1051 1 1 22.0000 16.2472 35.41%
94.22/94.76 c 95 1107 57 1 22.0000 16.2472 35.41%
99.46/100.01 c 100 1210 144 1 22.0000 16.2472 35.41%
104.80/105.42 c 105 1284 210 1 22.0000 16.2472 35.41%
109.95/110.63 c 111 1378 300 1 22.0000 16.2472 35.41%
115.10/115.85 c 116 1479 391 1 22.0000 16.2472 35.41%
120.64/121.48 c 121 1606 494 1 22.0000 16.2472 35.41%
126.08/126.99 c 127 1700 582 1 22.0000 16.2472 35.41%
131.53/132.50 c 132 1806 666 1 22.0000 16.2472 35.41%
136.77/137.74 c 138 1929 759 1 22.0000 16.2521 35.37%
142.03/143.08 c 143 2111 871 1 22.0000 16.5077 33.27%
147.41/148.47 c 148 2281 983 1 22.0000 16.6090 32.46%
153.59/154.62 c 155 2550 1106 1 22.0000 16.7069 31.68%
153.90/154.91 c * 155 2550 1106 1 21.0000 16.7069 25.70%
159.48/160.53 c 161 2750 917 1 21.0000 16.7251 25.56%
164.66/165.70 c 166 2881 976 1 21.0000 16.7899 25.07%
169.65/170.78 c 171 2991 1034 1 21.0000 16.8299 24.78%
174.73/175.88 c 176 3101 1100 1 21.0000 16.8722 24.47%
180.21/181.39 c 181 3234 1165 1 21.0000 16.9487 23.90%
186.09/187.20 c 187 3382 1241 1 21.0000 16.9722 23.73%
191.68/192.83 c 193 3527 1310 1 21.0000 16.9939 23.57%
196.67/197.84 c 198 3701 1358 1 21.0000 17.0604 23.09%
202.34/203.51 c 204 3878 1433 1 21.0000 17.0805 22.95%
207.73/208.92 c 209 4081 1484 1 21.0000 17.1125 22.72%
213.21/214.44 c 214 4231 1536 1 21.0000 17.1692 22.31%
218.49/219.73 c 220 4371 1590 1 21.0000 17.1916 22.15%
224.17/225.43 c 225 4548 1657 1 21.0000 17.2334 21.86%
229.25/230.59 c 231 4691 1714 1 21.0000 17.2510 21.73%
234.43/235.76 c 236 4861 1770 1 21.0000 17.2671 21.62%
240.42/241.72 c 242 5057 1838 1 21.0000 17.2987 21.40%
245.90/247.24 c 247 5211 1894 1 21.0000 17.3219 21.23%
251.88/253.26 c 253 5398 1965 1 21.0000 17.3656 20.93%
256.97/258.32 c 258 5541 2018 1 21.0000 17.3809 20.82%
262.55/263.94 c 264 5706 2069 1 21.0000 17.4014 20.68%
268.04/269.43 c 269 5916 2113 1 21.0000 17.4137 20.59%
273.42/274.89 c 275 6111 2172 1 21.0000 17.4278 20.50%
279.41/280.85 c 281 6323 2220 1 21.0000 17.4527 20.33%
285.09/286.53 c 287 6501 2272 1 21.0000 17.5169 19.88%
290.69/292.13 c 292 6681 2322 1 21.0000 17.5547 19.63%
296.17/297.64 c 298 6905 2356 1 21.0000 17.6123 19.24%
301.35/302.85 c 303 7141 2390 1 21.0000 17.6681 18.86%
306.73/308.30 c 308 7403 2396 1 21.0000 17.6938 18.69%
311.92/313.49 c 313 7581 2430 1 21.0000 17.7292 18.45%
317.31/318.84 c 319 7811 2476 1 21.0000 17.7568 18.26%
322.50/324.00 c 324 8038 2495 1 21.0000 17.7870 18.06%
327.59/329.11 c 329 8222 2521 1 21.0000 17.8040 17.95%
332.97/334.57 c 335 8460 2557 1 21.0000 17.8426 17.70%
338.75/340.33 c 340 8671 2586 1 21.0000 17.8685 17.53%
343.74/345.38 c 345 8911 2620 1 21.0000 17.8905 17.38%
348.83/350.44 c 350 9111 2632 1 21.0000 17.9063 17.28%
354.01/355.64 c 356 9355 2658 1 21.0000 17.9307 17.12%
359.40/361.08 c 361 9581 2672 1 21.0000 17.9769 16.82%
364.68/366.36 c 366 9771 2688 1 21.0000 18.0157 16.57%
370.56/372.25 c 372 9999 2734 1 21.0000 18.0372 16.43%
375.66/377.35 c 377 10201 2754 1 21.0000 18.0746 16.19%
380.84/382.58 c 383 10436 2789 1 21.0000 18.1027 16.00%
386.22/387.91 c 388 10641 2820 1 21.0000 18.1348 15.80%
391.21/392.92 c 393 10891 2830 1 21.0000 18.1447 15.74%
396.19/397.97 c 398 11084 2873 1 21.0000 18.1628 15.62%
401.47/403.28 c 403 11361 2884 1 21.0000 18.1716 15.57%
406.56/408.34 c 408 11631 2876 1 21.0000 18.1976 15.40%
411.55/413.36 c 413 11851 2898 1 21.0000 18.2188 15.27%
417.03/418.82 c 419 12111 2904 1 21.0000 18.2351 15.16%
422.11/423.92 c 424 12321 2922 1 21.0000 18.2736 14.92%
427.90/429.70 c 430 12591 2924 1 21.0000 18.2960 14.78%
432.88/434.76 c 435 12841 2924 1 21.0000 18.3183 14.64%
438.86/440.70 c 441 13084 2947 1 21.0000 18.3507 14.44%
443.94/445.89 c 446 13391 2934 1 21.0000 18.3787 14.26%
449.33/451.23 c 451 13671 2930 1 21.0000 18.3936 14.17%
454.81/456.76 c 457 14021 2938 1 21.0000 18.4130 14.05%
460.21/462.18 c 462 14344 2915 1 21.0000 18.4404 13.88%
465.39/467.31 c 467 14581 2918 1 21.0000 18.4651 13.73%
470.97/472.95 c 473 14921 2884 1 21.0000 18.4888 13.58%
476.46/478.47 c 478 15271 2862 1 21.0000 18.5225 13.38%
482.05/484.10 c 484 15591 2828 1 21.0000 18.5493 13.21%
487.43/489.42 c 489 15911 2794 1 21.0000 18.5671 13.10%
492.61/494.69 c 495 16191 2774 1 21.0000 18.5931 12.95%
497.70/499.74 c 500 16501 2724 1 21.0000 18.6262 12.74%
502.89/504.90 c 505 16891 2684 1 21.0000 18.6552 12.57%
508.18/510.27 c 510 17287 2648 1 21.0000 18.6782 12.43%
513.26/515.30 c 515 17651 2584 1 21.0000 18.7105 12.24%
518.45/520.50 c 520 18031 2520 1 21.0000 18.7281 12.13%
523.63/525.71 c 526 18391 2452 1 21.0000 18.7553 11.97%
528.62/530.75 c 531 18751 2370 1 21.0000 18.7830 11.80%
533.61/535.79 c 536 19121 2292 1 21.0000 18.8016 11.69%
538.70/540.85 c 541 19471 2218 1 21.0000 18.8297 11.53%
543.88/546.05 c 546 19901 2096 1 21.0000 18.8630 11.33%
549.46/551.61 c 552 20321 1966 1 21.0000 18.9050 11.08%
554.46/556.62 c 557 20691 1860 1 21.0000 18.9359 10.90%
559.84/562.06 c 562 21151 1708 1 21.0000 18.9772 10.66%
565.02/567.22 c 567 21601 1526 1 21.0000 19.0074 10.48%
570.11/572.33 c 572 22001 1362 1 21.0000 19.0559 10.20%
575.10/577.36 c 577 22461 1142 1 21.0000 19.1011 9.94%
580.19/582.43 c 582 22901 926 1 21.0000 19.1334 9.76%
585.17/587.47 c 587 23301 698 1 21.0000 19.1981 9.39%
590.27/592.58 c 593 23761 440 1 21.0000 19.2792 8.93%
595.35/597.60 c 598 24171 160 1 21.0000 19.3841 8.34%
597.94/600.28 c 600 24391 0 0 21.0000 21.0000 0.00%
598.04/600.35 c 600 24391 0 0 21.0000 21.0000 -
598.04/600.35 c SCIP Status : c problem is solved
598.04/600.35 c Total Time : 600.3500
598.04/600.35 c solving : 600.3500
598.04/600.35 c presolving : 0.1426 (included in solving)
598.04/600.35 c B&B Tree :
598.04/600.35 c nodes (total) : 24391
598.04/600.35 c Solution :
598.04/600.35 c Solutions found : 6
598.04/600.35 c Primal Bound : +2.10000000000000e+01
598.04/600.35 c Dual Bound : +2.10000000000000e+01
598.04/600.35 c Gap : 0.00000 %
598.04/600.36 o 21
598.04/600.36 s OPTIMUM FOUND
598.04/600.36 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
598.04/600.36 v -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 x172
598.04/600.36 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150
598.04/600.36 v x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 -x128
598.04/600.36 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 -x108 x107
598.04/600.36 v -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
598.04/600.36 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58
598.04/600.36 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
598.04/600.36 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8
598.04/600.36 v -x7 -x6 -x5 -x4 -x3 -x2 -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 (61853 MiB free)
memory of node 1: 64473 MiB (63643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464716-1722390850/watcher-4464716-1722390850 -o /tmp/evaluation-result-4464716-1722390850/solver-4464716-1722390850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722390850-35907 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464716-1722390850.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35936, runsolver pid=35933
[startup+0.100702 s]*
/proc/loadavg: 1.09 1.15 1.85 5/251 35947
/proc/meminfo: memFree=128433132/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=45148 memory=34024 CPUtime=0.1 cores=1,3
/proc/35936/stat : 35936 (fscip) R 35933 35936 35895 0 -1 4194304 7974 0 0 0 9 1 0 0 20 0 1 0 5681978 46231552 8506 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 11287 8506 2710 3035 0 7683 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45148 KiB
Current children cumulated memory: 34024 KiB
[startup+0.206684 s]*
/proc/loadavg: 1.09 1.15 1.85 5/253 35949
/proc/meminfo: memFree=128343804/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=156396 memory=75248 CPUtime=0.19 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 19308 0 0 0 17 2 0 0 20 0 3 0 5681978 160149504 18812 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 39099 18812 2790 3035 0 23465 0
[pid=35936/tid=35948] ppid=35933 vsize=156396 memory=3472328300251644221 CPUtime=0.02 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 4027 0 0 0 2 0 0 0 20 0 3 0 5681995 160149504 18812 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=156396 memory=215671374179 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5681997 160149504 18812 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156396 KiB
Current children cumulated memory: 75248 KiB
[startup+0.315697 s]*
/proc/loadavg: 1.09 1.15 1.85 5/255 35951
/proc/meminfo: memFree=128266608/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=168940 memory=97992 CPUtime=0.3 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 25042 0 0 0 27 3 0 0 20 0 3 0 5681978 172994560 24498 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 42235 24498 2790 3035 0 29820 0
[pid=35936/tid=35948] ppid=35933 vsize=168940 memory=-5155632396760476549 CPUtime=0.12 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 9761 0 0 0 11 1 0 0 20 0 3 0 5681995 172994560 24498 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=168940 memory=0 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5681997 172994560 24498 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168940 KiB
Current children cumulated memory: 97992 KiB
[startup+0.700699 s]
/proc/loadavg: 1.09 1.15 1.85 5/253 35951
/proc/meminfo: memFree=128195100/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=168940 memory=129212 CPUtime=0.66 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 32710 0 0 0 62 4 0 0 20 0 3 0 5681978 172994560 32303 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 42235 32303 2950 3035 0 38580 0
[pid=35936/tid=35948] ppid=35933 vsize=168940 memory=0 CPUtime=0.49 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 17429 0 0 0 47 2 0 0 20 0 3 0 5681995 172994560 32303 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=168940 memory=0 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5681997 172994560 32303 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 168940 KiB
Current children cumulated memory: 129212 KiB
[startup+1.50069 s]
/proc/loadavg: 1.09 1.15 1.85 5/263 35973
/proc/meminfo: memFree=127719384/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=186232 CPUtime=1.46 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 55106 0 0 0 139 7 0 0 20 0 3 0 5681978 307212288 46558 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 46558 2950 3035 0 55796 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=0 CPUtime=1.28 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 39825 0 0 0 123 5 0 0 20 0 3 0 5681995 307212288 46558 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=0 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 46558 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 186232 KiB
[startup+3.1067 s]
/proc/loadavg: 1.32 1.20 1.86 5/263 35973
/proc/meminfo: memFree=124561740/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=187020 CPUtime=3.04 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 55310 0 0 0 297 7 0 0 20 0 3 0 5681978 307212288 46755 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 46755 2950 3035 0 56054 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=0 CPUtime=2.87 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 40027 0 0 0 282 5 0 0 20 0 3 0 5681995 307212288 46755 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=137396 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 46755 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 187020 KiB
[startup+6.30024 s]
/proc/loadavg: 1.32 1.20 1.86 5/263 35975
/proc/meminfo: memFree=119770952/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=187368 CPUtime=6.22 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 58661 0 0 0 615 7 0 0 20 0 3 0 5681978 307212288 46842 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 46842 2950 3035 0 56105 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=11400 CPUtime=6.05 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 43375 0 0 0 600 5 0 0 20 0 3 0 5681995 307212288 46842 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=187356 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 46842 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 187368 KiB
[startup+12.7003 s]
/proc/loadavg: 1.74 1.29 1.88 5/261 36021
/proc/meminfo: memFree=109796932/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=188412 CPUtime=12.61 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 73135 0 0 0 1253 8 0 0 20 0 3 0 5681978 307212288 47103 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 47103 2998 3035 0 56279 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=188412 CPUtime=12.43 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 57747 0 0 0 1237 6 0 0 20 0 3 0 5681995 307212288 47103 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=188192 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 47103 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 188412 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 1.38 1.90 5/261 36024
/proc/meminfo: memFree=103838800/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=192520 CPUtime=25.38 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 95904 0 0 0 2528 10 0 0 20 0 3 0 5681978 307212288 48130 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 48130 2998 3035 0 56279 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=4456 CPUtime=25.19 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 80437 0 0 0 2512 7 0 0 20 0 3 0 5681995 307212288 48130 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=189880 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 48130 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 192520 KiB
[startup+51.1059 s]
/proc/loadavg: 2.89 1.63 1.97 5/261 36027
/proc/meminfo: memFree=103804364/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=300012 memory=233348 CPUtime=50.91 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 151358 0 0 0 5076 15 0 0 20 0 3 0 5681978 307212288 58337 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 75003 58337 2998 3035 0 65556 0
[pid=35936/tid=35948] ppid=35933 vsize=300012 memory=233348 CPUtime=50.72 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 135805 0 0 0 5060 12 0 0 20 0 3 0 5681995 307212288 58337 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=300012 memory=233348 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5681997 307212288 58337 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 300012 KiB
Current children cumulated memory: 233348 KiB
[startup+102.301 s]
/proc/loadavg: 3.62 2.04 2.10 5/263 36422
/proc/meminfo: memFree=99666012/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=365548 memory=267456 CPUtime=101.73 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 200557 0 0 0 10154 19 0 0 20 0 3 0 5681978 374321152 66864 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 91387 66864 2998 3035 0 71906 0
[pid=35936/tid=35948] ppid=35933 vsize=365548 memory=267456 CPUtime=101.54 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 184936 0 0 0 10138 16 0 0 20 0 3 0 5681995 374321152 66864 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=365548 memory=267456 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5681997 374321152 66864 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 365548 KiB
Current children cumulated memory: 267456 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.43 2.23 5/262 36434
/proc/meminfo: memFree=91019420/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=365548 memory=279336 CPUtime=161.27 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 210621 0 0 0 16106 21 0 0 20 0 3 0 5681978 374321152 69834 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 91387 69834 2998 3035 0 73574 0
[pid=35936/tid=35948] ppid=35933 vsize=365548 memory=273824 CPUtime=161.08 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 194938 0 0 0 16090 18 0 0 20 0 3 0 5681995 374321152 69834 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=365548 memory=11400 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5681997 374321152 69834 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 365548 KiB
Current children cumulated memory: 279336 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.74 2.35 5/262 36447
################
# More data... #
################
/proc/35936/statm: 110899 89011 2998 3035 0 93109 0
[pid=35936/tid=35948] ppid=35933 vsize=443596 memory=321692 CPUtime=400.37 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 255119 0 0 0 40007 30 0 0 20 0 3 0 5681995 454242304 89011 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=443596 memory=11400 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5681997 454242304 89011 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 400.57 s
Current children cumulated vsize: 443596 KiB
Current children cumulated memory: 356044 KiB
[startup+462.3 s]
/proc/loadavg: 2.83 3.12 2.62 3/249 36735
/proc/meminfo: memFree=124753832/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=446084 memory=370524 CPUtime=460.4 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 291411 0 0 0 46002 38 0 0 20 0 3 0 5681978 456790016 92631 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111521 92631 2998 3035 0 98114 0
[pid=35936/tid=35948] ppid=35933 vsize=446084 memory=367124 CPUtime=460.18 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 275617 0 0 0 45984 34 0 0 20 0 3 0 5681995 456790016 92631 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=446084 memory=11400 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5681997 456790016 92631 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 460.4 s
Current children cumulated vsize: 446084 KiB
Current children cumulated memory: 370524 KiB
[startup+522.3 s]
/proc/loadavg: 2.42 2.94 2.59 3/249 36746
/proc/meminfo: memFree=124750900/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=446084 memory=371636 CPUtime=520.25 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 308550 0 0 0 51983 42 0 0 20 0 3 0 5681978 456790016 92909 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111521 92909 2998 3035 0 98220 0
[pid=35936/tid=35948] ppid=35933 vsize=446084 memory=371544 CPUtime=520.01 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 292733 0 0 0 51963 38 0 0 20 0 3 0 5681995 456790016 92909 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=446084 memory=11400 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5681997 456790016 92909 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 520.25 s
Current children cumulated vsize: 446084 KiB
Current children cumulated memory: 371636 KiB
[startup+582.3 s]
/proc/loadavg: 2.21 2.78 2.56 3/248 36758
/proc/meminfo: memFree=124729256/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=446084 memory=372840 CPUtime=580.09 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 323028 0 0 0 57963 46 0 0 20 0 3 0 5681978 456790016 93210 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111521 93210 2998 3035 0 98505 0
[pid=35936/tid=35948] ppid=35933 vsize=446084 memory=372788 CPUtime=579.84 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 307187 0 0 0 57942 42 0 0 20 0 3 0 5681995 456790016 93210 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=446084 memory=372840 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 456790016 93210 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 580.09 s
Current children cumulated vsize: 446084 KiB
Current children cumulated memory: 372840 KiB
[startup+600.366 s]
# the end of solver process 35936 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=597.636 s, system=0.482454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.20 2.77 2.56 3/248 36759
/proc/meminfo: memFree=124727312/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=374688 CPUtime=586.58 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324162 0 0 0 58611 47 0 0 20 0 3 0 5681978 458625024 93672 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 93672 2998 3035 0 98967 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=12696 CPUtime=586.32 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 308321 0 0 0 58590 42 0 0 20 0 3 0 5681995 458625024 93672 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=11400 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 93672 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 586.58 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 374688 KiB
[startup+595.2 s]
/proc/loadavg: 2.18 2.76 2.55 3/247 36761
/proc/meminfo: memFree=124726220/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=375660 CPUtime=592.95 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324713 0 0 0 59248 47 0 0 20 0 3 0 5681978 458625024 93915 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 93915 2998 3035 0 99210 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=3696 CPUtime=592.7 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 308872 0 0 0 59228 42 0 0 20 0 3 0 5681995 458625024 93915 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=374688 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 93915 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 592.95 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 375660 KiB
[startup+598.4 s]
/proc/loadavg: 2.17 2.74 2.55 3/247 36761
/proc/meminfo: memFree=124725828/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=376052 CPUtime=596.15 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324852 0 0 0 59568 47 0 0 20 0 3 0 5681978 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 94013 2998 3035 0 99978 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=5472 CPUtime=595.9 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 309011 0 0 0 59547 43 0 0 20 0 3 0 5681995 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=1940 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 596.15 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 376052 KiB
[startup+599.2 s]
/proc/loadavg: 2.17 2.74 2.55 3/247 36761
/proc/meminfo: memFree=124725800/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=376052 CPUtime=596.94 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324869 0 0 0 59647 47 0 0 20 0 3 0 5681978 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 94013 2998 3035 0 99978 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=7340 CPUtime=596.69 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 309028 0 0 0 59626 43 0 0 20 0 3 0 5681995 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=376052 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 94013 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 596.94 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 376052 KiB
[startup+600 s]*
/proc/loadavg: 2.17 2.74 2.55 3/247 36761
/proc/meminfo: memFree=124725492/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=376212 CPUtime=597.75 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324950 0 0 0 59728 47 0 0 20 0 3 0 5681978 458625024 94053 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 94053 2998 3035 0 100053 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=-7666933632230055807 CPUtime=597.5 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 309109 0 0 0 59707 43 0 0 20 0 3 0 5681995 458625024 94053 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=7366837439808183828 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 94053 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 597.75 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 376212 KiB
[startup+600.2 s]
/proc/loadavg: 2.17 2.74 2.55 3/247 36761
/proc/meminfo: memFree=124725492/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=376460 CPUtime=597.94 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 324980 0 0 0 59747 47 0 0 20 0 3 0 5681978 458625024 94115 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 94115 2998 3035 0 100079 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=115076 CPUtime=597.69 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 309139 0 0 0 59726 43 0 0 20 0 3 0 5681995 458625024 94115 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=115666 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 94115 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 597.94 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 376460 KiB
[startup+600.3 s]
/proc/loadavg: 2.17 2.74 2.55 3/247 36761
/proc/meminfo: memFree=124725492/131524600 swapFree=131071216/131071996
[pid=35936] ppid=35933 vsize=447876 memory=376480 CPUtime=598.04 cores=1,3
/proc/35936/stat : 35936 (fscip) S 35933 35936 35895 0 -1 1077936128 325241 0 0 0 59757 47 0 0 20 0 3 0 5681978 458625024 94120 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
/proc/35936/statm: 111969 94120 2998 3035 0 100079 0
[pid=35936/tid=35948] ppid=35933 vsize=447876 memory=372840 CPUtime=597.79 cores=1,3
/proc/35936/task/35948/stat : 35948 (fscip) R 35933 35936 35895 0 -1 4194368 309444 0 0 0 59736 43 0 0 20 0 3 0 5681995 458625024 94120 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
[pid=35936/tid=35949] ppid=35933 vsize=447876 memory=374688 CPUtime=0 cores=1,3
/proc/35936/task/35949/stat : 35949 (fscip) S 35933 35936 35895 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5681997 458625024 94120 134679101440 4194304 16623229 140728269085616 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46571520 140728269091862 140728269091978 140728269091978 140728269098992 0
Current children cumulated CPU time: 598.04 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 376480 KiB
Child status: 0
Real time (s): 600.366
CPU time (s): 598.119
CPU user time (s): 597.636
CPU system time (s): 0.482454
CPU usage (%): 99.6258
Max. virtual memory (cumulated for all children) (KiB): 447876
Max. memory (cumulated for all children) (KiB): 376480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 597.636
system time used= 0.482454
maximum resident set size= 376480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326528
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= 2973
involuntary context switches= 1493
# summary of solver processes directly reported to runsolver:
# pid: 35936
# total CPU time (s): 598.119
# total CPU user time (s): 597.636
# total CPU system time (s): 0.482454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21186 second user time and 3.00183 second system time
The end
Begin job on nodeC017 at 2024-07-31 03:54:10
IDJOB=4464716
IDBENCH=178614
IDSOLVER=3092
FILE ID=nodeC017/4464716-1722390850
RUNJOBID= nodeC017-1722390850-35907
SLURM_JOB_ID= 8249882
Free space on /tmp= 890076 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.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-4464716-1722390850/watcher-4464716-1722390850 -o /tmp/evaluation-result-4464716-1722390850/solver-4464716-1722390850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722390850-35907 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464716-1722390850.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=2790053
nodeC017.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 : 3620.757
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.82
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 : 3589.133
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.29
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 : 3435.443
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.82
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 : 3625.691
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.29
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 : 3615.079
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.82
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 : 3610.086
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.29
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 : 3432.233
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.82
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 : 3604.681
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128515300 kB
MemAvailable: 129807728 kB
Buffers: 111184 kB
Cached: 2013980 kB
SwapCached: 52 kB
Active: 281148 kB
Inactive: 2250436 kB
Active(anon): 1400 kB
Inactive(anon): 426240 kB
Active(file): 279748 kB
Inactive(file): 1824196 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 76068 kB
Writeback: 0 kB
AnonPages: 405976 kB
Mapped: 87628 kB
Shmem: 21136 kB
KReclaimable: 56612 kB
Slab: 137892 kB
SReclaimable: 56612 kB
SUnreclaim: 81280 kB
KernelStack: 3952 kB
PageTables: 9652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 750996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 284672 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC017 at 2024-07-31 04:04:10