0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 35733504, getVmSize() = 35733504, SCIPgetMemUsed() = 10377853, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.59/1.69 c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79155200, SCIPgetMemUsed() = 39418256, SCIPgetMemTotal() = 55110048, SCIPgetMemExternEstim() = 7879036
1.59/1.69 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.59/1.69 c Original Problem :
1.59/1.69 c Problem name : instance-4456127-1721718414
1.59/1.69 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.69 c Constraints : 5415
1.59/1.69 c Objective sense : minimize
1.59/1.69 c Presolved Problem :
1.59/1.69 c Variables : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.59/1.69 c Constraints : 2742
1.59/1.69 c Constraints : Number
1.59/1.69 c setppc : 3
1.59/1.69 c linear : 2707
1.59/1.69 c indicator : 32
1.59/1.69 c ** Instance transfer method used: 0
1.68/1.70 c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.71 c Nodes Active
1.68/1.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.68/1.72 c * 2 0 1 1 136556.0000 - -
1.68/1.76 c * 2 0 1 1 90167.0000 - -
1.68/1.76 c * 2 0 1 1 1138.0000 - -
3.27/3.34 c * 3 0 1 1 238.0000 - -
5.86/5.98 c 6 12 11 1 238.0000 0.0000 -
6.26/6.33 c * 6 12 11 1 209.0000 0.0000 -
7.96/8.07 c * 8 26 25 1 95.0000 0.0000 -
7.96/8.09 c * 8 26 25 1 88.0000 0.0000 -
9.76/9.81 c * 10 29 22 1 67.0000 0.0000 -
10.45/10.55 c * 11 36 23 1 58.0000 0.0000 -
11.35/11.48 c 11 47 27 1 58.0000 0.0000 -
12.05/12.16 c * 12 47 27 1 40.0000 0.0000 -
12.05/12.16 c * 12 47 27 1 35.0000 0.0000 -
13.85/13.94 c * 14 65 24 1 33.0000 0.0000 -
16.04/16.15 c * 16 99 24 1 30.0000 0.0000 -
17.14/17.24 c 17 125 27 1 30.0000 0.0000 -
18.14/18.29 c * 18 186 42 1 26.0000 0.0000 -
18.23/18.31 c * 18 186 42 1 24.0000 0.0000 -
18.23/18.33 c * 18 186 42 1 23.0000 0.0000 -
22.62/22.78 c 23 286 69 1 23.0000 0.0000 -
26.31/26.49 c * 26 618 169 1 12.0000 0.0000 -
27.91/28.01 c 28 946 182 1 12.0000 0.0000 -
33.09/33.29 c 33 1374 241 1 12.0000 0.0000 -
37.47/37.69 c * 38 1574 266 1 9.0000 0.0000 -
38.27/38.47 c 38 1715 261 1 9.0000 0.0000 -
43.55/43.76 c 44 2291 176 1 9.0000 0.0000 -
49.03/49.20 c 49 3461 288 1 9.0000 0.0000 -
54.61/54.83 c 55 4787 458 1 9.0000 0.0000 -
59.60/59.88 c 60 6314 777 1 9.0000 0.0000 -
64.79/65.02 c 65 7512 973 1 9.0000 0.0000 -
69.96/70.24 c 70 8861 1152 1 9.0000 0.0000 -
75.15/75.44 c 75 10218 1412 1 9.0000 0.0000 -
80.23/80.52 c 81 11844 1640 1 9.0000 0.0000 -
85.32/85.61 c 86 13809 1896 1 9.0000 0.0000 -
90.30/90.68 c 91 15533 2081 1 9.0000 0.0000 -
95.89/96.24 c 96 16991 2347 1 9.0000 0.0000 -
97.49/97.80 c * 98 17393 2384 1 7.0000 0.0000 -
100.97/101.35 c 101 18693 2256 1 7.0000 0.0000 -
106.35/106.73 c 107 20739 2481 1 7.0000 0.0000 -
111.44/111.84 c 112 22583 2629 1 7.0000 0.0000 -
116.63/117.05 c 117 24009 2730 1 7.0000 0.0000 -
121.61/122.10 c 122 25768 2883 1 7.0000 0.0000 -
126.79/127.20 c 127 27463 3170 1 7.0000 0.0000 -
132.18/132.63 c 133 28800 3387 1 7.0000 0.0000 -
137.26/137.75 c 138 31540 3667 1 7.0000 0.0000 -
142.34/142.89 c 143 33647 3887 1 7.0000 0.0000 -
147.53/148.01 c 148 35493 4057 1 7.0000 0.0000 -
152.52/153.10 c 153 37087 4167 1 7.0000 0.0000 -
157.60/158.16 c 158 38426 4234 1 7.0000 0.0000 -
162.69/163.24 c 163 40030 4361 1 7.0000 0.0000 -
167.77/168.35 c 168 41406 4523 1 7.0000 0.0000 -
172.85/173.49 c 174 43083 4645 1 7.0000 0.0000 -
177.94/178.58 c 179 44568 4809 1 7.0000 0.0000 -
183.13/183.75 c 184 46486 5002 1 7.0000 0.0000 -
188.21/188.89 c 189 48373 5220 1 7.0000 0.0000 -
193.40/194.08 c 194 50156 5366 1 7.0000 0.0000 -
198.49/199.15 c 199 51777 5489 1 7.0000 0.0000 -
203.67/204.33 c 204 53434 5584 1 7.0000 0.0000 -
210.05/210.73 c 211 54399 5653 1 7.0000 0.0000 -
215.14/215.85 c 216 55767 5746 1 7.0000 0.0000 -
220.33/221.05 c 221 57106 5862 1 7.0000 0.0000 -
225.41/226.15 c 226 58552 6079 1 7.0000 0.0000 -
230.60/231.32 c 231 60161 6201 1 7.0000 0.0000 -
235.29/236.01 c * 236 61181 6296 1 6.0000 0.0000 -
235.78/236.53 c 237 61734 5844 1 6.0000 0.0000 -
240.86/241.60 c 242 63152 6021 1 6.0000 0.0000 -
246.05/246.81 c 247 64588 6215 1 6.0000 0.0000 -
251.13/251.91 c 252 66115 6290 1 6.0000 0.0000 -
256.22/257.01 c 257 68754 6457 1 6.0000 0.0000 -
261.30/262.12 c 262 70790 6634 1 6.0000 0.0000 -
266.38/267.25 c 267 72398 6811 1 6.0000 0.0000 -
271.57/272.41 c 272 74124 6967 1 6.0000 0.0000 -
276.65/277.56 c 278 76277 7107 1 6.0000 0.0000 -
281.74/282.62 c 283 78005 7248 1 6.0000 0.0000 -
286.14/287.01 c * 287 79218 7344 1 2.0000 0.0000 -
286.93/287.88 c 288 79678 3902 1 2.0000 0.0000 -
292.00/292.93 c 293 82646 3917 1 2.0000 0.0000 -
297.10/298.03 c 298 84705 3951 1 2.0000 0.0000 -
302.18/303.12 c 303 86563 3931 1 2.0000 0.0000 -
307.26/308.22 c 308 88533 3935 1 2.0000 0.0000 -
312.25/313.26 c 313 92429 3985 1 2.0000 0.0000 -
317.34/318.34 c 318 95123 3995 1 2.0000 0.0000 -
322.42/323.43 c 323 97395 3998 1 2.0000 0.0000 -
327.61/328.60 c 329 99987 4035 1 2.0000 0.0000 -
332.59/333.65 c 334 101752 4058 1 2.0000 0.0000 -
337.68/338.76 c 339 104427 4070 1 2.0000 0.0000 -
342.86/343.96 c 344 105602 4058 1 2.0000 0.0000 -
347.95/349.00 c 349 107442 4085 1 2.0000 0.0000 -
353.04/354.16 c 354 109506 4072 1 2.0000 0.0000 -
358.12/359.24 c 359 111480 4085 1 2.0000 0.0000 -
363.21/364.30 c 364 113572 4130 1 2.0000 0.0000 -
368.19/369.36 c 369 116269 4105 1 2.0000 0.0000 -
373.27/374.42 c 374 119076 4126 1 2.0000 0.0000 -
378.36/379.56 c 380 122046 4168 1 2.0000 0.0000 -
383.45/384.66 c 385 124710 4205 1 2.0000 0.0000 -
388.53/389.71 c 390 126779 4215 1 2.0000 0.0000 -
393.50/394.76 c 395 128602 4212 1 2.0000 0.0000 -
398.58/399.85 c 400 130406 4204 1 2.0000 0.0000 -
403.64/404.93 c 405 132847 4224 1 2.0000 0.0000 -
408.72/410.03 c 410 134854 4249 1 2.0000 0.0000 -
413.80/415.14 c 415 136821 4247 1 2.0000 0.0000 -
418.86/420.23 c 420 139095 4217 1 2.0000 0.0000 -
423.94/425.31 c 425 141000 4187 1 2.0000 0.0000 -
428.91/430.37 c 430 143245 4134 1 2.0000 0.0000 -
433.98/435.44 c 435 145487 4141 1 2.0000 0.0000 -
439.16/440.66 c 441 148626 4188 1 2.0000 0.0000 -
444.24/445.71 c 446 151973 4209 1 2.0000 0.0000 -
449.32/450.84 c 451 153985 4244 1 2.0000 0.0000 -
454.39/455.96 c 456 155780 4282 1 2.0000 0.0000 -
459.47/461.06 c 461 158105 4257 1 2.0000 0.0000 -
464.56/466.14 c 466 160268 4248 1 2.0000 0.0000 -
469.63/471.21 c 471 163358 4182 1 2.0000 0.0000 -
474.62/476.28 c 476 166830 4200 1 2.0000 0.0000 -
479.80/481.42 c 481 169445 4174 1 2.0000 0.0000 -
484.89/486.52 c 487 171657 4263 1 2.0000 0.0000 -
489.88/491.59 c 492 174621 4505 1 2.0000 0.0000 -
494.96/496.64 c 497 177544 4576 1 2.0000 0.0000 -
500.04/501.71 c 502 180395 4652 1 2.0000 0.0000 -
503.53/505.20 c * 505 181837 4700 1 1.0000 0.0000 -
505.03/506.76 c 507 183123 1099 1 1.0000 0.0000 -
510.11/511.88 c 512 185931 1142 1 1.0000 0.0000 -
515.19/516.94 c 517 188236 1168 1 1.0000 0.0000 -
520.18/521.99 c 522 191437 1168 1 1.0000 0.0000 -
525.27/527.04 c 527 195068 1215 1 1.0000 0.0000 -
530.25/532.09 c 532 198135 1203 1 1.0000 0.0000 -
535.43/537.29 c 537 200475 1185 1 1.0000 0.0000 -
540.62/542.41 c 542 203008 1127 1 1.0000 0.0000 -
545.60/547.48 c 547 205366 1110 1 1.0000 0.0000 -
550.69/552.54 c 553 207593 1070 1 1.0000 0.0000 -
556.17/558.00 c 558 208542 1048 1 1.0000 0.0000 -
561.16/563.05 c 563 211145 991 1 1.0000 0.0000 -
566.24/568.12 c 568 213445 978 1 1.0000 0.0000 -
571.22/573.17 c 573 216667 980 1 1.0000 0.0000 -
576.31/578.22 c 578 219826 918 1 1.0000 0.0000 -
581.29/583.27 c 583 223569 874 1 1.0000 0.0000 -
586.37/588.33 c 588 226320 787 1 1.0000 0.0000 -
591.44/593.40 c 593 229482 775 1 1.0000 0.0000 -
596.43/598.45 c 598 232822 710 1 1.0000 0.0000 -
601.50/603.52 c 604 236209 644 1 1.0000 0.0000 -
606.49/608.57 c 609 239484 721 1 1.0000 0.0000 -
611.57/613.62 c 614 243016 750 1 1.0000 0.0000 -
616.65/618.72 c 619 246080 718 1 1.0000 0.0000 -
621.63/623.77 c 624 249495 686 1 1.0000 0.0000 -
626.72/628.82 c 629 252759 616 1 1.0000 0.0000 -
631.79/633.90 c 634 255717 555 1 1.0000 0.0000 -
636.88/639.01 c 639 258766 499 1 1.0000 0.0000 -
641.86/644.06 c 644 262150 561 1 1.0000 0.0000 -
646.95/649.11 c 649 265666 484 1 1.0000 0.0000 -
652.02/654.21 c 654 267951 445 1 1.0000 0.0000 -
657.00/659.29 c 659 270491 401 1 1.0000 0.0000 -
662.08/664.34 c 664 273404 402 1 1.0000 0.0000 -
667.06/669.39 c 669 276564 402 1 1.0000 0.0000 -
672.15/674.45 c 674 279636 328 1 1.0000 0.0000 -
677.22/679.51 c 680 282776 288 1 1.0000 0.0000 -
682.20/684.59 c 685 286066 247 1 1.0000 0.0000 -
687.28/689.69 c 690 288961 225 1 1.0000 0.0000 -
692.36/694.74 c 695 291357 208 1 1.0000 0.0000 -
697.35/699.79 c 700 294510 235 1 1.0000 0.0000 -
702.42/704.84 c 705 297875 200 1 1.0000 0.0000 -
707.51/709.90 c 710 300636 151 1 1.0000 0.0000 -
712.49/714.95 c 715 304059 173 1 1.0000 0.0000 -
717.47/720.00 c 720 307672 221 1 1.0000 0.0000 -
722.55/725.07 c 725 311151 193 1 1.0000 0.0000 -
727.64/730.11 c 730 314378 142 1 1.0000 0.0000 -
732.62/735.18 c 735 316897 66 1 1.0000 0.0000 -
737.69/740.28 c 740 319568 83 1 1.0000 0.0000 -
742.77/745.33 c 745 322154 101 1 1.0000 0.0000 -
747.76/750.38 c 750 325161 156 1 1.0000 0.0000 -
752.83/755.43 c 755 328351 68 1 1.0000 0.0000 -
757.92/760.55 c 761 330783 30 1 1.0000 0.0000 -
763.00/765.61 c 766 333939 79 1 1.0000 0.0000 -
768.08/770.72 c 771 337109 65 1 1.0000 0.0000 -
773.06/775.78 c 776 339851 29 1 1.0000 0.0000 -
778.14/780.83 c 781 343092 23 1 1.0000 0.0000 -
783.13/785.88 c 786 346068 57 1 1.0000 0.0000 -
788.20/790.93 c 791 348961 38 1 1.0000 0.0000 -
789.79/792.53 c 793 350097 0 0 1.0000 1.0000 0.00%
789.79/792.56 c 793 350097 0 0 1.0000 1.0000 -
789.79/792.56 c SCIP Status : c problem is solved
789.79/792.56 c Total Time : 792.5600
789.79/792.56 c solving : 792.5600
789.79/792.56 c presolving : 1.6763 (included in solving)
789.79/792.56 c B&B Tree :
789.79/792.56 c nodes (total) : 350097
789.79/792.56 c Solution :
789.79/792.56 c Solutions found : 23
789.79/792.56 c Primal Bound : +1.00000000000000e+00
789.79/792.56 c Dual Bound : +1.00000000000000e+00
789.79/792.56 c Gap : 0.00000 %
789.79/792.57 o 1
789.79/792.57 s OPTIMUM FOUND
789.79/792.57 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210
789.79/792.57 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
789.79/792.57 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
789.79/792.57 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
789.79/792.57 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
789.79/792.57 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
789.79/792.57 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
789.79/792.57 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 x54
789.79/792.57 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29
789.79/792.57 v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
789.79/792.57 v -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (49195 MiB free)
memory of node 1: 64473 MiB (53176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456127-1721718414/watcher-4456127-1721718414 -o /tmp/evaluation-result-4456127-1721718414/solver-4456127-1721718414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86212 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456127-1721718414.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=86273, runsolver pid=86258
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104713660/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=50316 memory=39012 CPUtime=0.1 cores=1,3
/proc/86273/stat : 86273 (fscip) R 86258 86273 86200 0 -1 4194304 7375 0 0 0 9 1 0 0 20 0 1 0 8369684 51523584 9753 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 12579 9753 2622 3032 0 8979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39012 KiB
[startup+0.206662 s]*
/proc/loadavg: 1.48 1.86 2.00 7/259 86277
/proc/meminfo: memFree=104711556/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=50812 memory=39276 CPUtime=0.2 cores=1,3
/proc/86273/stat : 86273 (fscip) R 86258 86273 86200 0 -1 4194304 7471 0 0 0 19 1 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB
[startup+0.306028 s]*
/proc/loadavg: 1.48 1.86 2.00 6/259 86277
/proc/meminfo: memFree=104710996/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=50812 memory=39276 CPUtime=0.3 cores=1,3
/proc/86273/stat : 86273 (fscip) R 86258 86273 86200 0 -1 4194304 7471 0 0 0 29 1 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB
[startup+0.700213 s]
/proc/loadavg: 1.48 1.86 2.00 6/259 86277
/proc/meminfo: memFree=104708488/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=52356 memory=40860 CPUtime=0.69 cores=1,3
/proc/86273/stat : 86273 (fscip) R 86258 86273 86200 0 -1 4194304 7855 0 0 0 68 1 0 0 20 0 1 0 8369684 53612544 10215 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 13089 10215 2622 3032 0 9489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40860 KiB
[startup+1.5002 s]
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104703244/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=53384 memory=41916 CPUtime=1.49 cores=1,3
/proc/86273/stat : 86273 (fscip) R 86258 86273 86200 0 -1 4194304 8116 0 0 0 148 1 0 0 20 0 1 0 8369684 54665216 10479 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 13346 10479 2622 3032 0 9746 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41916 KiB
[startup+3.10625 s]
/proc/loadavg: 1.48 1.86 2.00 8/267 86287
/proc/meminfo: memFree=104463124/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=166780 memory=105836 CPUtime=3.08 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 29771 0 0 0 304 4 0 0 20 0 3 0 8369684 170782720 26459 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 41695 26459 2830 3032 0 33139 0
[pid=86273/tid=86278] ppid=86258 vsize=166780 memory=0 CPUtime=1.38 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 16287 0 0 0 136 2 0 0 20 0 3 0 8369853 170782720 26459 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=166780 memory=99664 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 8369855 170782720 26459 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 166780 KiB
Current children cumulated memory: 105836 KiB
[startup+6.30019 s]
/proc/loadavg: 1.84 1.93 2.02 8/267 86287
/proc/meminfo: memFree=104342100/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=166780 memory=120160 CPUtime=6.26 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 36373 0 0 0 621 5 0 0 20 0 3 0 8369684 170782720 30040 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 41695 30040 2974 3032 0 36831 0
[pid=86273/tid=86278] ppid=86258 vsize=166780 memory=97024 CPUtime=4.56 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 22380 0 0 0 453 3 0 0 20 0 3 0 8369853 170782720 30040 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=166780 memory=119864 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 8369855 170782720 30040 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 166780 KiB
Current children cumulated memory: 120160 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 1.96 2.03 8/267 86288
/proc/meminfo: memFree=104180624/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=232316 memory=175700 CPUtime=12.65 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 83401 0 0 0 1255 10 0 0 20 0 3 0 8369684 237891584 43925 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 58079 43925 2990 3032 0 50939 0
[pid=86273/tid=86278] ppid=86258 vsize=232316 memory=174972 CPUtime=10.94 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 68110 0 0 0 1087 7 0 0 20 0 3 0 8369853 237891584 43925 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=232316 memory=174344 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8369855 237891584 43925 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232316 KiB
Current children cumulated memory: 175700 KiB
[startup+25.5003 s]
/proc/loadavg: 2.53 2.08 2.07 8/267 86290
/proc/meminfo: memFree=104174940/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=232316 memory=178440 CPUtime=25.41 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 121629 0 0 0 2529 12 0 0 20 0 3 0 8369684 237891584 44610 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 58079 44610 3310 3032 0 50939 0
[pid=86273/tid=86278] ppid=86258 vsize=232316 memory=178436 CPUtime=23.7 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 105368 0 0 0 2360 10 0 0 20 0 3 0 8369853 237891584 44610 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=232316 memory=177128 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 8369855 237891584 44610 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232316 KiB
Current children cumulated memory: 178440 KiB
[startup+51.1067 s]
/proc/loadavg: 3.03 2.24 2.12 8/267 86293
/proc/meminfo: memFree=103999248/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=297852 memory=213464 CPUtime=50.93 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 190194 0 0 0 5075 18 0 0 20 0 3 0 8369684 305000448 53366 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 74463 53366 3310 3032 0 59476 0
[pid=86273/tid=86278] ppid=86258 vsize=297852 memory=-7522812946596060795 CPUtime=49.22 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 173213 0 0 0 4906 16 0 0 20 0 3 0 8369853 305000448 53366 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=297852 memory=213084 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 8369855 305000448 53366 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 297852 KiB
Current children cumulated memory: 213464 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 8/267 86303
/proc/meminfo: memFree=103869212/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=372132 memory=273920 CPUtime=101.97 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 242515 0 0 0 10170 27 0 0 20 0 3 0 8369684 381063168 68480 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 93033 68480 3310 3032 0 74599 0
[pid=86273/tid=86278] ppid=86258 vsize=372132 memory=-7522812946596060795 CPUtime=100.25 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 225173 0 0 0 10000 25 0 0 20 0 3 0 8369853 381063168 68480 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=372132 memory=273796 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8369855 381063168 68480 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 372132 KiB
Current children cumulated memory: 273920 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.83 2.35 8/267 86314
/proc/meminfo: memFree=103741456/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=400892 memory=310120 CPUtime=161.79 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 266869 0 0 0 16145 34 0 0 20 0 3 0 8369684 410513408 77530 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 100223 77530 3310 3032 0 82104 0
[pid=86273/tid=86278] ppid=86258 vsize=400892 memory=304788 CPUtime=160.06 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 249514 0 0 0 15975 31 0 0 20 0 3 0 8369853 410513408 77530 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=400892 memory=-7522812946596060795 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 8369855 410513408 77530 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 400892 KiB
Current children cumulated memory: 310120 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.04 2.46 8/264 86324
/proc/meminfo: memFree=103639952/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=427884 memory=350672 CPUtime=221.61 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 283837 0 0 0 22124 37 0 0 20 0 3 0 8369684 438153216 87668 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 106971 87668 3310 3032 0 89812 0
[pid=86273/tid=86278] ppid=86258 vsize=427884 memory=11548 CPUtime=219.89 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 266475 0 0 0 21954 35 0 0 20 0 3 0 8369853 438153216 87668 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=427884 memory=5684 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 8369855 438153216 87668 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 427884 KiB
Current children cumulated memory: 350672 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.25 2.57 7/266 86388
/proc/meminfo: memFree=103683220/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=445820 memory=366488 CPUtime=281.44 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 302799 0 0 0 28103 41 0 0 20 0 3 0 8369684 456519680 91622 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
################
# More data... #
################
/proc/86273/statm: 130969 116640 3310 3032 0 123107 0
[pid=86273/tid=86278] ppid=86258 vsize=523876 memory=441624 CPUtime=638.41 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 478736 0 0 0 63755 86 0 0 20 0 3 0 8369853 536449024 116640 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=523876 memory=466560 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 8369855 536449024 116640 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 640.17 s
Current children cumulated vsize: 523876 KiB
Current children cumulated memory: 466560 KiB
[startup+702.3 s]
/proc/loadavg: 4.15 4.01 3.19 6/261 86557
/proc/meminfo: memFree=100297608/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=523876 memory=470860 CPUtime=699.94 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 532795 0 0 0 69895 99 0 0 20 0 3 0 8369684 536449024 117715 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 130969 117715 3310 3032 0 123107 0
[pid=86273/tid=86278] ppid=86258 vsize=523876 memory=441624 CPUtime=698.18 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 515355 0 0 0 69723 95 0 0 20 0 3 0 8369853 536449024 117715 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=523876 memory=5684 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 8369855 536449024 117715 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 699.94 s
Current children cumulated vsize: 523876 KiB
Current children cumulated memory: 470860 KiB
[startup+762.3 s]
/proc/loadavg: 4.16 4.04 3.26 6/261 86568
/proc/meminfo: memFree=100252888/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=523876 memory=476772 CPUtime=759.71 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 569239 0 0 0 75863 108 0 0 20 0 3 0 8369684 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 130969 119193 3310 3032 0 123107 0
[pid=86273/tid=86278] ppid=86258 vsize=523876 memory=473804 CPUtime=757.95 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 551789 0 0 0 75691 104 0 0 20 0 3 0 8369853 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=523876 memory=75423 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8369855 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 759.71 s
Current children cumulated vsize: 523876 KiB
Current children cumulated memory: 476772 KiB
[startup+792.576 s]
# the end of solver process 86273 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=788.744 s, system=1.13614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.15 4.04 3.26 6/261 86568
/proc/meminfo: memFree=100252676/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=523876 memory=476772 CPUtime=765.39 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 569243 0 0 0 76430 109 0 0 20 0 3 0 8369684 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 130969 119193 3310 3032 0 123107 0
[pid=86273/tid=86278] ppid=86258 vsize=523876 memory=-5155632405417453189 CPUtime=763.64 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 551793 0 0 0 76258 106 0 0 20 0 3 0 8369853 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=523876 memory=4354869382473215645 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8369855 536449024 119193 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 765.39 s
Current children cumulated vsize: 523876 KiB
Current children cumulated memory: 476772 KiB
[startup+780.8 s]
/proc/loadavg: 4.12 4.04 3.27 6/261 86570
/proc/meminfo: memFree=100248188/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=523876 memory=479632 CPUtime=778.14 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 569979 0 0 0 77703 111 0 0 20 0 3 0 8369684 536449024 119908 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 130969 119908 3310 3032 0 123107 0
[pid=86273/tid=86278] ppid=86258 vsize=523876 memory=476772 CPUtime=776.37 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552526 0 0 0 77530 107 0 0 20 0 3 0 8369853 536449024 119908 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=523876 memory=479632 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 536449024 119908 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 778.14 s
Current children cumulated vsize: 523876 KiB
Current children cumulated memory: 479632 KiB
[startup+787.2 s]
/proc/loadavg: 4.10 4.04 3.28 6/261 86572
/proc/meminfo: memFree=100246308/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479848 CPUtime=784.52 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570021 0 0 0 78340 112 0 0 20 0 3 0 8369684 547139584 119962 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119962 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=476772 CPUtime=782.75 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552568 0 0 0 78167 108 0 0 20 0 3 0 8369853 547139584 119962 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=479632 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119962 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 784.52 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479848 KiB
[startup+790.4 s]
/proc/loadavg: 4.10 4.04 3.28 6/261 86572
/proc/meminfo: memFree=100246260/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479900 CPUtime=787.7 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570262 0 0 0 78658 112 0 0 20 0 3 0 8369684 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119975 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=13136 CPUtime=785.94 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552809 0 0 0 78486 108 0 0 20 0 3 0 8369853 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=479632 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 787.7 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479900 KiB
[startup+791.2 s]
/proc/loadavg: 4.10 4.04 3.28 6/261 86572
/proc/meminfo: memFree=100246276/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479900 CPUtime=788.5 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570262 0 0 0 78738 112 0 0 20 0 3 0 8369684 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119975 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=479632 CPUtime=786.73 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552809 0 0 0 78565 108 0 0 20 0 3 0 8369853 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=479632 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 788.5 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479900 KiB
[startup+792 s]*
/proc/loadavg: 4.10 4.04 3.28 6/261 86574
/proc/meminfo: memFree=100246256/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479900 CPUtime=789.3 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570262 0 0 0 78818 112 0 0 20 0 3 0 8369684 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119975 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=-5155632405417453189 CPUtime=787.54 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552809 0 0 0 78646 108 0 0 20 0 3 0 8369853 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=4354869382473215645 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 789.3 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479900 KiB
[startup+792.4 s]
/proc/loadavg: 4.10 4.04 3.28 6/261 86574
/proc/meminfo: memFree=100246256/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479900 CPUtime=789.69 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570262 0 0 0 78857 112 0 0 20 0 3 0 8369684 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119975 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=-7522812946596060795 CPUtime=787.93 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552809 0 0 0 78685 108 0 0 20 0 3 0 8369853 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=19804 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 789.69 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479900 KiB
[startup+792.5 s]
/proc/loadavg: 4.10 4.04 3.28 6/261 86574
/proc/meminfo: memFree=100246256/131524600 swapFree=131071996/131071996
[pid=86273] ppid=86258 vsize=534316 memory=479900 CPUtime=789.79 cores=1,3
/proc/86273/stat : 86273 (fscip) S 86258 86273 86200 0 -1 1077936128 570263 0 0 0 78867 112 0 0 20 0 3 0 8369684 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
/proc/86273/statm: 133579 119975 3310 3032 0 125717 0
[pid=86273/tid=86278] ppid=86258 vsize=534316 memory=13136 CPUtime=788.03 cores=1,3
/proc/86273/task/86278/stat : 86278 (fscip) R 86258 86273 86200 0 -1 4194368 552810 0 0 0 78695 108 0 0 20 0 3 0 8369853 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
[pid=86273/tid=86280] ppid=86258 vsize=534316 memory=11548 CPUtime=0 cores=1,3
/proc/86273/task/86280/stat : 86280 (fscip) S 86258 86273 86200 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8369855 547139584 119975 134679101440 4194304 16613245 140730237040176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 56328192 140730237043736 140730237043852 140730237043852 140730237050864 0
Current children cumulated CPU time: 789.79 s
Current children cumulated vsize: 534316 KiB
Current children cumulated memory: 479900 KiB
Child status: 0
Real time (s): 792.576
CPU time (s): 789.88
CPU user time (s): 788.744
CPU system time (s): 1.13614
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 534316
Max. memory (cumulated for all children) (KiB): 479900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.744
system time used= 1.13614
maximum resident set size= 479900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570911
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= 2433
involuntary context switches= 608
# summary of solver processes directly reported to runsolver:
# pid: 86273
# total CPU time (s): 789.88
# total CPU user time (s): 788.744
# total CPU system time (s): 1.13614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60472 second user time and 4.23446 second system time
The end
Begin job on nodeC018 at 2024-07-23 09:06:54
IDJOB=4456127
IDBENCH=143221
IDSOLVER=3044
FILE ID=nodeC018/4456127-1721718414
RUNJOBID= nodeC018-1721718414-86212
SLURM_JOB_ID= 7770409
Free space on /tmp= 890072 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456127-1721718414/watcher-4456127-1721718414 -o /tmp/evaluation-result-4456127-1721718414/solver-4456127-1721718414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86212 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456127-1721718414.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 36362ea9910434cf11826d6f0f3d2816
RANDOM SEED=170537521
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3632.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3388.564
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3502.437
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3564.502
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3562.548
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3291.420
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 104830700 kB
MemAvailable: 129773096 kB
Buffers: 140784 kB
Cached: 25530080 kB
SwapCached: 0 kB
Active: 913936 kB
Inactive: 25020692 kB
Active(anon): 1432 kB
Inactive(anon): 300140 kB
Active(file): 912504 kB
Inactive(file): 24720552 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113000 kB
Writeback: 8 kB
AnonPages: 261844 kB
Mapped: 99624 kB
Shmem: 37712 kB
KReclaimable: 298328 kB
Slab: 405460 kB
SReclaimable: 298328 kB
SUnreclaim: 107132 kB
KernelStack: 3888 kB
PageTables: 9352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 617084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 143360 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 24657920 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC018 at 2024-07-23 09:20:07