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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 29253632, getVmSize() = 29253632, SCIPgetMemUsed() = 5010968, SCIPgetMemTotal() = 7415832, SCIPgetMemExternEstim() = 3499019
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.40/0.48 c ** Estimated virtualMemUsedAtSolver = 26299050, getVmSize() = 49643520, SCIPgetMemUsed() = 18199866, SCIPgetMemTotal() = 26355626, SCIPgetMemExternEstim() = 3499019
0.40/0.48 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.40/0.48 c Original Problem :
0.40/0.48 c Problem name : instance-4426854-1720909011
0.40/0.48 c Variables : 1415 (1415 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.48 c Constraints : 2408
0.40/0.48 c Objective sense : minimize
0.40/0.48 c Presolved Problem :
0.40/0.48 c Variables : 1415 (1415 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.48 c Constraints : 1233
0.40/0.48 c Constraints : Number
0.40/0.48 c knapsack : 1
0.40/0.48 c setppc : 47
0.40/0.48 c linear : 1180
0.40/0.48 c indicator : 5
0.40/0.48 c ** Instance transfer method used: 0
0.40/0.49 c ** ParaScipInstance copy does not increase the number of variables. **
0.40/0.49 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.40/0.49 c Nodes Active
0.40/0.49 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.50/0.57 c * 1 0 1 1 236.0000 - -
0.50/0.58 c * 1 0 1 1 116.0000 - -
0.50/0.59 c * 1 0 1 1 97.0000 - -
0.59/0.63 c * 1 0 1 1 91.0000 - -
0.59/0.68 c * 1 0 1 1 64.0000 - -
0.78/0.83 c * 1 0 1 1 59.0000 - -
0.78/0.90 c * 1 0 1 1 52.0000 - -
0.98/1.04 c * 1 0 1 1 42.0000 - -
1.09/1.11 c * 1 0 1 1 40.0000 - -
1.09/1.15 c * 1 0 1 1 39.0000 - -
1.09/1.15 c * 1 0 1 1 37.0000 - -
2.16/2.23 c * 2 2 1 1 2.0000 0.0000 -
2.26/2.39 c * 2 12 11 1 1.0000 0.0000 -
5.65/5.74 c 6 890 1 1 1.0000 0.0000 -
10.73/10.82 c 11 3905 35 1 1.0000 0.0000 -
15.71/15.89 c 16 6271 56 1 1.0000 0.0000 -
20.80/20.94 c 21 10652 77 1 1.0000 0.0000 -
25.78/25.99 c 26 16514 117 1 1.0000 0.0000 -
30.86/31.04 c 31 22639 93 1 1.0000 0.0000 -
35.95/36.12 c 36 29076 140 1 1.0000 0.0000 -
40.93/41.18 c 41 34791 140 1 1.0000 0.0000 -
46.01/46.25 c 46 39838 156 1 1.0000 0.0000 -
51.09/51.32 c 51 44577 219 1 1.0000 0.0000 -
56.07/56.37 c 56 50400 183 1 1.0000 0.0000 -
61.15/61.44 c 61 55270 181 1 1.0000 0.0000 -
66.14/66.49 c 66 60669 210 1 1.0000 0.0000 -
71.22/71.54 c 72 66319 220 1 1.0000 0.0000 -
76.20/76.59 c 77 72388 229 1 1.0000 0.0000 -
81.28/81.65 c 82 78096 238 1 1.0000 0.0000 -
86.36/86.70 c 87 84534 241 1 1.0000 0.0000 -
91.34/91.75 c 92 90593 226 1 1.0000 0.0000 -
96.43/96.80 c 97 96672 246 1 1.0000 0.0000 -
101.41/101.85 c 102 103011 299 1 1.0000 0.0000 -
106.49/106.90 c 107 108521 383 1 1.0000 0.0000 -
111.48/111.95 c 112 114551 462 1 1.0000 0.0000 -
116.57/117.00 c 117 120576 500 1 1.0000 0.0000 -
121.55/122.06 c 122 126554 642 1 1.0000 0.0000 -
126.52/127.10 c 127 132812 627 1 1.0000 0.0000 -
131.61/132.14 c 132 138404 608 1 1.0000 0.0000 -
136.59/137.19 c 137 144279 662 1 1.0000 0.0000 -
141.67/142.24 c 142 150493 645 1 1.0000 0.0000 -
146.65/147.29 c 147 156110 690 1 1.0000 0.0000 -
151.73/152.34 c 152 162261 679 1 1.0000 0.0000 -
156.71/157.39 c 157 167620 651 1 1.0000 0.0000 -
161.80/162.49 c 162 172992 666 1 1.0000 0.0000 -
166.88/167.54 c 168 178441 618 1 1.0000 0.0000 -
171.86/172.59 c 173 184324 651 1 1.0000 0.0000 -
176.95/177.64 c 178 190275 635 1 1.0000 0.0000 -
182.04/182.72 c 183 195606 639 1 1.0000 0.0000 -
187.02/187.76 c 188 200593 629 1 1.0000 0.0000 -
192.10/192.81 c 193 206254 615 1 1.0000 0.0000 -
197.08/197.86 c 198 211818 597 1 1.0000 0.0000 -
202.16/202.91 c 203 217293 615 1 1.0000 0.0000 -
207.16/207.97 c 208 222865 611 1 1.0000 0.0000 -
212.24/213.03 c 213 228043 603 1 1.0000 0.0000 -
217.22/218.08 c 218 233764 601 1 1.0000 0.0000 -
222.31/223.13 c 223 239387 594 1 1.0000 0.0000 -
227.29/228.18 c 228 244769 579 1 1.0000 0.0000 -
232.37/233.23 c 233 250219 621 1 1.0000 0.0000 -
237.35/238.28 c 238 255916 621 1 1.0000 0.0000 -
242.44/243.33 c 243 261988 636 1 1.0000 0.0000 -
247.42/248.38 c 248 267542 614 1 1.0000 0.0000 -
252.50/253.43 c 253 272963 585 1 1.0000 0.0000 -
257.49/258.47 c 258 278980 610 1 1.0000 0.0000 -
262.57/263.52 c 264 284640 582 1 1.0000 0.0000 -
267.55/268.57 c 269 290521 578 1 1.0000 0.0000 -
272.64/273.62 c 274 296251 561 1 1.0000 0.0000 -
277.62/278.67 c 279 302006 568 1 1.0000 0.0000 -
282.70/283.72 c 284 307293 577 1 1.0000 0.0000 -
287.68/288.77 c 289 312883 591 1 1.0000 0.0000 -
292.77/293.82 c 294 318328 580 1 1.0000 0.0000 -
297.75/298.87 c 299 323946 586 1 1.0000 0.0000 -
302.84/303.92 c 304 329571 577 1 1.0000 0.0000 -
307.82/308.97 c 309 335335 592 1 1.0000 0.0000 -
312.91/314.02 c 314 340763 590 1 1.0000 0.0000 -
317.89/319.07 c 319 346192 669 1 1.0000 0.0000 -
322.97/324.12 c 324 352006 647 1 1.0000 0.0000 -
327.96/329.17 c 329 357714 652 1 1.0000 0.0000 -
333.04/334.22 c 334 363592 653 1 1.0000 0.0000 -
338.02/339.27 c 339 369369 690 1 1.0000 0.0000 -
343.10/344.32 c 344 375291 682 1 1.0000 0.0000 -
348.09/349.37 c 349 380651 758 1 1.0000 0.0000 -
353.17/354.42 c 354 385895 1061 1 1.0000 0.0000 -
358.15/359.48 c 359 391292 1061 1 1.0000 0.0000 -
363.23/364.52 c 365 396713 1081 1 1.0000 0.0000 -
368.22/369.57 c 370 402560 1091 1 1.0000 0.0000 -
373.30/374.62 c 375 408291 1099 1 1.0000 0.0000 -
378.29/379.67 c 380 414415 994 1 1.0000 0.0000 -
383.37/384.72 c 385 420118 996 1 1.0000 0.0000 -
388.35/389.77 c 390 425875 947 1 1.0000 0.0000 -
393.43/394.82 c 395 431751 886 1 1.0000 0.0000 -
398.42/399.87 c 400 437779 807 1 1.0000 0.0000 -
403.51/404.92 c 405 443580 747 1 1.0000 0.0000 -
408.49/409.97 c 410 449216 720 1 1.0000 0.0000 -
413.58/415.02 c 415 455025 720 1 1.0000 0.0000 -
418.56/420.07 c 420 460769 703 1 1.0000 0.0000 -
423.64/425.12 c 425 466616 686 1 1.0000 0.0000 -
428.62/430.17 c 430 472496 691 1 1.0000 0.0000 -
433.70/435.23 c 435 478224 645 1 1.0000 0.0000 -
438.69/440.28 c 440 484143 617 1 1.0000 0.0000 -
443.78/445.33 c 445 490066 606 1 1.0000 0.0000 -
448.76/450.38 c 450 495993 569 1 1.0000 0.0000 -
453.84/455.44 c 455 501534 514 1 1.0000 0.0000 -
458.82/460.48 c 460 507168 503 1 1.0000 0.0000 -
463.91/465.53 c 466 513079 494 1 1.0000 0.0000 -
468.89/470.58 c 471 518809 500 1 1.0000 0.0000 -
473.98/475.63 c 476 524659 492 1 1.0000 0.0000 -
478.96/480.68 c 481 530307 498 1 1.0000 0.0000 -
484.04/485.73 c 486 536001 519 1 1.0000 0.0000 -
489.03/490.78 c 491 541703 579 1 1.0000 0.0000 -
494.11/495.83 c 496 547304 518 1 1.0000 0.0000 -
499.09/500.88 c 501 553256 528 1 1.0000 0.0000 -
504.18/505.93 c 506 559403 545 1 1.0000 0.0000 -
509.16/510.99 c 511 565280 530 1 1.0000 0.0000 -
514.24/516.04 c 516 571229 538 1 1.0000 0.0000 -
519.23/521.09 c 521 577100 548 1 1.0000 0.0000 -
524.31/526.14 c 526 582978 492 1 1.0000 0.0000 -
529.30/531.19 c 531 588541 481 1 1.0000 0.0000 -
534.38/536.24 c 536 593938 475 1 1.0000 0.0000 -
539.36/541.29 c 541 599807 482 1 1.0000 0.0000 -
544.44/546.34 c 546 605759 478 1 1.0000 0.0000 -
549.43/551.39 c 551 611452 533 1 1.0000 0.0000 -
554.50/556.44 c 556 617244 464 1 1.0000 0.0000 -
559.50/561.49 c 562 622777 426 1 1.0000 0.0000 -
564.58/566.54 c 567 628472 402 1 1.0000 0.0000 -
569.56/571.59 c 572 634284 415 1 1.0000 0.0000 -
574.64/576.64 c 577 639742 408 1 1.0000 0.0000 -
579.62/581.69 c 582 644975 416 1 1.0000 0.0000 -
584.71/586.74 c 587 650594 417 1 1.0000 0.0000 -
589.69/591.79 c 592 656351 432 1 1.0000 0.0000 -
594.77/596.84 c 597 662083 431 1 1.0000 0.0000 -
599.76/601.89 c 602 667758 431 1 1.0000 0.0000 -
604.84/606.94 c 607 673585 405 1 1.0000 0.0000 -
609.82/611.99 c 612 679681 388 1 1.0000 0.0000 -
614.92/617.04 c 617 685122 381 1 1.0000 0.0000 -
619.89/622.09 c 622 690561 380 1 1.0000 0.0000 -
624.98/627.14 c 627 696033 384 1 1.0000 0.0000 -
629.96/632.19 c 632 701769 361 1 1.0000 0.0000 -
635.05/637.24 c 637 707500 354 1 1.0000 0.0000 -
640.02/642.29 c 642 713136 345 1 1.0000 0.0000 -
645.11/647.34 c 647 718786 319 1 1.0000 0.0000 -
650.09/652.39 c 652 724480 274 1 1.0000 0.0000 -
655.17/657.44 c 657 730395 277 1 1.0000 0.0000 -
660.16/662.49 c 662 736127 235 1 1.0000 0.0000 -
665.23/667.54 c 668 741962 165 1 1.0000 0.0000 -
670.22/672.59 c 673 747538 37 1 1.0000 0.0000 -
671.52/673.82 c 674 748479 0 0 1.0000 1.0000 0.00%
671.52/673.84 c 674 748479 0 0 1.0000 1.0000 -
671.52/673.84 c SCIP Status : c problem is solved
671.52/673.84 c Total Time : 673.8400
671.52/673.84 c solving : 673.8400
671.52/673.84 c presolving : 0.4760 (included in solving)
671.52/673.84 c B&B Tree :
671.52/673.84 c nodes (total) : 748479
671.52/673.84 c Solution :
671.52/673.84 c Solutions found : 13
671.52/673.84 c Primal Bound : +1.00000000000000e+00
671.52/673.84 c Dual Bound : +1.00000000000000e+00
671.52/673.84 c Gap : 0.00000 %
671.52/673.85 o 1
671.52/673.85 s OPTIMUM FOUND
671.52/673.85 v -x235 -x234 -x233 -x232 x231 -x230 x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214
671.52/673.85 v x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 x192
671.52/673.85 v -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 -x172 -x171
671.52/673.85 v -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149
671.52/673.85 v -x148 x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127
671.52/673.85 v -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
671.52/673.85 v -x105 -x104 -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 x81
671.52/673.85 v -x80 -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
671.52/673.85 v -x54 -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
671.52/673.85 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 -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 (56256 MiB free)
memory of node 1: 64473 MiB (60532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426854-1720909011/watcher-4426854-1720909011 -o /tmp/evaluation-result-4426854-1720909011/solver-4426854-1720909011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720905420-725735 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426854-1720909011.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=729953, runsolver pid=729950
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.11 4.16 4.15 5/259 729954
/proc/meminfo: memFree=119577300/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=35364 memory=24396 CPUtime=0.1 cores=4,6
/proc/729953/stat : 729953 (fscip) R 729950 729953 723461 0 -1 4194304 3741 0 0 0 10 0 0 0 20 0 1 0 143070085 36212736 6099 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 8841 6099 2654 3032 0 5241 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35364 KiB
Current children cumulated memory: 24396 KiB
[startup+0.205882 s]*
/proc/loadavg: 4.11 4.16 4.15 5/259 729954
/proc/meminfo: memFree=119576508/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=35876 memory=24924 CPUtime=0.2 cores=4,6
/proc/729953/stat : 729953 (fscip) R 729950 729953 723461 0 -1 4194304 3869 0 0 0 20 0 0 0 20 0 1 0 143070085 36737024 6231 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 8969 6231 2654 3032 0 5369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35876 KiB
Current children cumulated memory: 24924 KiB
[startup+0.305593 s]*
/proc/loadavg: 4.10 4.15 4.15 5/259 729954
/proc/meminfo: memFree=119576384/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=35876 memory=24924 CPUtime=0.3 cores=4,6
/proc/729953/stat : 729953 (fscip) R 729950 729953 723461 0 -1 4194304 3869 0 0 0 30 0 0 0 20 0 1 0 143070085 36737024 6231 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 8969 6231 2654 3032 0 5369 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35876 KiB
Current children cumulated memory: 24924 KiB
[startup+0.700732 s]
/proc/loadavg: 4.10 4.15 4.15 5/261 729956
/proc/meminfo: memFree=119556924/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=136316 memory=56336 CPUtime=0.68 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 11957 0 0 0 67 1 0 0 20 0 3 0 143070085 139587584 14084 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 34079 14084 2910 3032 0 18715 0
[pid=729953/tid=729955] ppid=729950 vsize=136316 memory=25944 CPUtime=0.19 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 5147 0 0 0 19 0 0 0 20 0 3 0 143070133 139587584 14084 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=136316 memory=257 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 143070134 139587584 14084 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136316 KiB
Current children cumulated memory: 56336 KiB
[startup+1.50074 s]
/proc/loadavg: 4.10 4.15 4.15 5/261 729956
/proc/meminfo: memFree=119536456/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=139152 memory=85872 CPUtime=1.47 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 19740 0 0 0 145 2 0 0 20 0 3 0 143070085 142491648 21468 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 34788 21468 2942 3032 0 27089 0
[pid=729953/tid=729955] ppid=729950 vsize=139152 memory=257 CPUtime=0.99 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 12929 0 0 0 97 2 0 0 20 0 3 0 143070133 142491648 21468 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=139152 memory=0 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 143070134 142491648 21468 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 139152 KiB
Current children cumulated memory: 85872 KiB
[startup+3.1057 s]
/proc/loadavg: 4.10 4.15 4.15 5/261 729956
/proc/meminfo: memFree=119504168/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=139152 memory=98124 CPUtime=3.07 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 30896 0 0 0 303 4 0 0 20 0 3 0 143070085 142491648 24531 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 34788 24531 2990 3032 0 30020 0
[pid=729953/tid=729955] ppid=729950 vsize=139152 memory=0 CPUtime=2.57 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 23811 0 0 0 254 3 0 0 20 0 3 0 143070133 142491648 24531 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=139152 memory=0 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 143070134 142491648 24531 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 139152 KiB
Current children cumulated memory: 98124 KiB
[startup+6.30026 s]
/proc/loadavg: 4.09 4.15 4.15 5/261 729958
/proc/meminfo: memFree=119501500/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=139152 memory=100760 CPUtime=6.25 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 43284 0 0 0 620 5 0 0 20 0 3 0 143070085 142491648 25190 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 34788 25190 2990 3032 0 30020 0
[pid=729953/tid=729955] ppid=729950 vsize=139152 memory=98144 CPUtime=5.75 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 36170 0 0 0 571 4 0 0 20 0 3 0 143070133 142491648 25190 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=139152 memory=85988 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 143070134 142491648 25190 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 139152 KiB
Current children cumulated memory: 100760 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.15 4.15 5/261 729958
/proc/meminfo: memFree=119490600/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=208760 memory=112608 CPUtime=12.63 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 72397 0 0 0 1253 10 0 0 20 0 3 0 143070085 213770240 28152 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 52190 28152 2990 3032 0 32916 0
[pid=729953/tid=729955] ppid=729950 vsize=208760 memory=100292 CPUtime=12.13 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 65233 0 0 0 1204 9 0 0 20 0 3 0 143070133 213770240 28152 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=208760 memory=12088 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 143070134 213770240 28152 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 208760 KiB
Current children cumulated memory: 112608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.14 4.15 5/259 730006
/proc/meminfo: memFree=125597004/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=215792 memory=123236 CPUtime=25.38 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 116743 0 0 0 2521 17 0 0 20 0 3 0 143070085 220971008 30809 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 53948 30809 2990 3032 0 35707 0
[pid=729953/tid=729955] ppid=729950 vsize=215792 memory=12512 CPUtime=24.88 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 109495 0 0 0 2472 16 0 0 20 0 3 0 143070133 220971008 30809 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=215792 memory=12088 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 143070134 220971008 30809 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 215792 KiB
Current children cumulated memory: 123236 KiB
[startup+51.106 s]
/proc/loadavg: 4.17 4.16 4.15 5/259 730011
/proc/meminfo: memFree=119245116/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=222688 memory=128684 CPUtime=50.89 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 160271 0 0 0 5064 25 0 0 20 0 3 0 143070085 228032512 32171 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 55672 32171 2990 3032 0 37431 0
[pid=729953/tid=729955] ppid=729950 vsize=222688 memory=12512 CPUtime=50.4 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 152928 0 0 0 5016 24 0 0 20 0 3 0 143070133 228032512 32171 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=222688 memory=126668 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 143070134 228032512 32171 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 222688 KiB
Current children cumulated memory: 128684 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.19 4.17 5/262 730025
/proc/meminfo: memFree=107252664/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=230616 memory=137380 CPUtime=101.91 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 210650 0 0 0 10152 39 0 0 20 0 3 0 143070085 236150784 34345 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 57654 34345 2990 3032 0 39413 0
[pid=729953/tid=729955] ppid=729950 vsize=230616 memory=12088 CPUtime=101.41 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 203202 0 0 0 10103 38 0 0 20 0 3 0 143070133 236150784 34345 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=230616 memory=7954035758722215010 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 143070134 236150784 34345 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 230616 KiB
Current children cumulated memory: 137380 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.16 5/262 730035
/proc/meminfo: memFree=101596616/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=235792 memory=145756 CPUtime=161.7 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 247746 0 0 0 16115 55 0 0 20 0 3 0 143070085 241451008 36439 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 58948 36439 2990 3032 0 41365 0
[pid=729953/tid=729955] ppid=729950 vsize=235792 memory=142320 CPUtime=161.19 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 240225 0 0 0 16065 54 0 0 20 0 3 0 143070133 241451008 36439 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=235792 memory=144360 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 143070134 241451008 36439 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 145756 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/262 730046
/proc/meminfo: memFree=101460616/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=242016 memory=152620 CPUtime=221.51 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 283591 0 0 0 22081 70 0 0 20 0 3 0 143070085 247824384 38155 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 60504 38155 2990 3032 0 43504 0
[pid=729953/tid=729955] ppid=729950 vsize=242016 memory=152356 CPUtime=220.99 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 276004 0 0 0 22031 68 0 0 20 0 3 0 143070133 247824384 38155 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=242016 memory=152356 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143070134 247824384 38155 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 221.51 s
################
# More data... #
################
/proc/729953/statm: 62370 39373 2990 3032 0 45625 0
[pid=729953/tid=729955] ppid=729950 vsize=249480 memory=156580 CPUtime=460.19 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 364336 0 0 0 45894 125 0 0 20 0 3 0 143070133 255467520 39373 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=249480 memory=32872 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 143070134 255467520 39373 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 460.72 s
Current children cumulated vsize: 249480 KiB
Current children cumulated memory: 157492 KiB
[startup+522.3 s]
/proc/loadavg: 4.20 4.15 4.15 5/262 730106
/proc/meminfo: memFree=101440216/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=249480 memory=158668 CPUtime=520.52 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 393517 0 0 0 51913 139 0 0 20 0 3 0 143070085 255467520 39667 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 62370 39667 2990 3032 0 45625 0
[pid=729953/tid=729955] ppid=729950 vsize=249480 memory=158644 CPUtime=519.99 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 385767 0 0 0 51862 137 0 0 20 0 3 0 143070133 255467520 39667 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=249480 memory=12088 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 143070134 255467520 39667 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 520.52 s
Current children cumulated vsize: 249480 KiB
Current children cumulated memory: 158668 KiB
[startup+582.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/262 730500
/proc/meminfo: memFree=101436056/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=249480 memory=160948 CPUtime=580.32 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 415752 0 0 0 57878 154 0 0 20 0 3 0 143070085 255467520 40237 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 62370 40237 2990 3032 0 45625 0
[pid=729953/tid=729955] ppid=729950 vsize=249480 memory=158644 CPUtime=579.78 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 407970 0 0 0 57826 152 0 0 20 0 3 0 143070133 255467520 40237 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=249480 memory=160564 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 143070134 255467520 40237 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 580.32 s
Current children cumulated vsize: 249480 KiB
Current children cumulated memory: 160948 KiB
[startup+642.3 s]
/proc/loadavg: 4.37 4.23 4.18 5/263 730512
/proc/meminfo: memFree=101433384/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=161780 CPUtime=640.12 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 437838 0 0 0 63843 169 0 0 20 0 3 0 143070085 258449408 40445 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40445 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=158644 CPUtime=639.58 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 430022 0 0 0 63791 167 0 0 20 0 3 0 143070133 258449408 40445 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=12088 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40445 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 640.12 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 161780 KiB
[startup+673.857 s]
# the end of solver process 729953 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=669.779 s, system=1.80303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.23 4.20 4.17 4/256 730544
/proc/meminfo: memFree=102472864/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=650.59 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 437945 0 0 0 64888 171 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=161156 CPUtime=650.05 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 430129 0 0 0 64836 169 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=161600 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 650.59 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+665.6 s]
/proc/loadavg: 4.12 4.18 4.16 4/256 730546
/proc/meminfo: memFree=102470792/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=663.35 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455089 0 0 0 66159 176 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=161600 CPUtime=662.8 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447240 0 0 0 66107 173 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=162028 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 663.35 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+668.8 s]
/proc/loadavg: 4.11 4.17 4.16 4/256 730547
/proc/meminfo: memFree=102470704/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=666.53 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455133 0 0 0 66476 177 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=162028 CPUtime=665.98 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447284 0 0 0 66424 174 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=2268 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 666.53 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+672 s]*
/proc/loadavg: 4.02 4.15 4.16 4/256 730547
/proc/meminfo: memFree=102470708/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=669.73 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455387 0 0 0 66795 178 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=33588 CPUtime=669.19 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447538 0 0 0 66743 176 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=34784 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 669.73 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+672.8 s]
/proc/loadavg: 4.02 4.15 4.16 4/256 730547
/proc/meminfo: memFree=102470708/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=670.52 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455443 0 0 0 66873 179 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=15786 CPUtime=669.97 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447594 0 0 0 66821 176 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=4575 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 670.52 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+673.6 s]
/proc/loadavg: 4.02 4.15 4.16 4/256 730547
/proc/meminfo: memFree=102470708/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=671.32 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455600 0 0 0 66953 179 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=32872 CPUtime=670.78 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447751 0 0 0 66901 177 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=12088 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 671.32 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
[startup+673.8 s]
/proc/loadavg: 4.02 4.15 4.16 4/256 730547
/proc/meminfo: memFree=102470708/131524600 swapFree=131071996/131071996
[pid=729953] ppid=729950 vsize=252392 memory=162028 CPUtime=671.52 cores=4,6
/proc/729953/stat : 729953 (fscip) S 729950 729953 723461 0 -1 1077936128 455633 0 0 0 66973 179 0 0 20 0 3 0 143070085 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
/proc/729953/statm: 63098 40507 2990 3032 0 46353 0
[pid=729953/tid=729955] ppid=729950 vsize=252392 memory=12512 CPUtime=670.98 cores=4,6
/proc/729953/task/729955/stat : 729955 (fscip) R 729950 729953 723461 0 -1 4194368 447784 0 0 0 66921 177 0 0 20 0 3 0 143070133 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
[pid=729953/tid=729956] ppid=729950 vsize=252392 memory=5500 CPUtime=0 cores=4,6
/proc/729953/task/729956/stat : 729956 (fscip) S 729950 729953 723461 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 143070134 258449408 40507 134679101440 4194304 16613245 140726390517920 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 30171136 140726390526945 140726390527061 140726390527061 140726390534128 0
Current children cumulated CPU time: 671.52 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 162028 KiB
Child status: 0
Real time (s): 673.857
CPU time (s): 671.582
CPU user time (s): 669.779
CPU system time (s): 1.80303
CPU usage (%): 99.6624
Max. virtual memory (cumulated for all children) (KiB): 252392
Max. memory (cumulated for all children) (KiB): 162028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.779
system time used= 1.80303
maximum resident set size= 162028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462682
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= 2075
involuntary context switches= 619
# summary of solver processes directly reported to runsolver:
# pid: 729953
# total CPU time (s): 671.582
# total CPU user time (s): 669.779
# total CPU system time (s): 1.80303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5053 second user time and 3.38395 second system time
The end
Begin job on nodeC032 at 2024-07-14 00:17:04
IDJOB=4426854
IDBENCH=144126
IDSOLVER=3044
FILE ID=nodeC032/4426854-1720909011
RUNJOBID= nodeC032-1720905420-725735
SLURM_JOB_ID= 7486091
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-myciel5g-5_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426854-1720909011/watcher-4426854-1720909011 -o /tmp/evaluation-result-4426854-1720909011/solver-4426854-1720909011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720905420-725735 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426854-1720909011.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3494b890a231ad778a05b94b9d7caa9e
RANDOM SEED=834016700
nodeC032.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 : 3669.142
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.33
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 : 3678.622
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.911
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.33
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 : 3599.874
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.03
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 : 3670.791
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.33
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 : 3678.601
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.03
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 : 3622.739
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.33
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 : 3599.713
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119591548 kB
MemAvailable: 120673164 kB
Buffers: 335524 kB
Cached: 1577692 kB
SwapCached: 0 kB
Active: 545640 kB
Inactive: 10774932 kB
Active(anon): 1556 kB
Inactive(anon): 9443524 kB
Active(file): 544084 kB
Inactive(file): 1331408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28484 kB
Writeback: 0 kB
AnonPages: 9407392 kB
Mapped: 135608 kB
Shmem: 37720 kB
KReclaimable: 91896 kB
Slab: 194244 kB
SReclaimable: 91896 kB
SUnreclaim: 102348 kB
KernelStack: 4192 kB
PageTables: 28788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6299272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5158912 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: 201428 kB
DirectMap2M: 14252032 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC032 at 2024-07-14 00:28:18