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 = 30281728, getVmSize() = 30281728, SCIPgetMemUsed() = 6096930, SCIPgetMemTotal() = 8559442, SCIPgetMemExternEstim() = 4175707
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.17 c ** Estimated virtualMemUsedAtSolver = 26750976, getVmSize() = 49971200, SCIPgetMemUsed() = 14589419, SCIPgetMemTotal() = 26529299, SCIPgetMemExternEstim() = 4175707
0.09/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.17 c Original Problem :
0.09/0.17 c Problem name : instance-4451950-1721426620
0.09/0.17 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 3542
0.09/0.17 c Objective sense : minimize
0.09/0.17 c Presolved Problem :
0.09/0.17 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 3317
0.09/0.17 c Constraints : Number
0.09/0.17 c knapsack : 1
0.09/0.17 c setppc : 1425
0.09/0.17 c linear : 1
0.09/0.17 c logicor : 1890
0.09/0.17 c ** Instance transfer method used: 0
0.09/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.18 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.18 c Nodes Active
0.09/0.18 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.95/6.00 c 6 23 22 1 - 0.0000 -
11.14/11.28 c 11 505 58 1 - 0.0000 -
16.52/16.60 c 17 645 126 1 - 0.0000 -
21.81/21.98 c 22 832 199 1 - 0.0000 -
27.39/27.50 c 28 1053 1 1 - 0.0000 -
32.47/32.67 c 33 1428 21 1 - 0.0000 -
37.56/37.75 c 38 1811 21 1 - 0.0000 -
42.75/42.90 c 43 2190 22 1 - 0.0000 -
47.84/48.04 c 48 2464 29 1 - 0.0000 -
53.62/53.84 c 54 2646 44 1 - 0.0000 -
59.01/59.23 c 59 2906 53 1 - 0.0000 -
64.29/64.58 c 65 3101 92 1 - 0.0000 -
70.18/70.44 c 70 3312 98 1 - 0.0000 -
75.27/75.58 c 76 3611 114 1 - 0.0000 -
80.36/80.69 c 81 3915 111 1 - 0.0000 -
85.94/86.24 c 86 4303 109 1 - 0.0000 -
91.13/91.49 c 92 4545 127 1 - 0.0000 -
96.21/96.56 c 97 4903 121 1 - 0.0000 -
101.60/101.97 c 102 5170 125 1 - 0.0000 -
106.88/107.26 c 107 5478 145 1 - 0.0000 -
112.06/112.41 c 112 5734 168 1 - 0.0000 -
117.14/117.50 c 118 6118 168 1 - 0.0000 -
122.13/122.57 c 123 6484 167 1 - 0.0000 -
127.31/127.74 c 128 6729 185 1 - 0.0000 -
133.30/133.75 c 134 6893 197 1 - 0.0000 -
138.38/138.81 c 139 7153 213 1 - 0.0000 -
143.76/144.25 c 144 7419 229 1 - 0.0000 -
149.24/149.78 c 150 7636 238 1 - 0.0000 -
154.42/154.94 c 155 7967 246 1 - 0.0000 -
159.62/160.12 c 160 8230 267 1 - 0.0000 -
164.69/165.23 c 165 8558 271 1 - 0.0000 -
169.98/170.58 c 171 8831 284 1 - 0.0000 -
175.46/176.04 c 176 9132 287 1 - 0.0000 -
180.55/181.12 c 181 9488 292 1 - 0.0000 -
185.72/186.37 c 186 9754 294 1 - 0.0000 -
190.81/191.44 c 191 10073 296 1 - 0.0000 -
195.79/196.49 c 196 10419 292 1 - 0.0000 -
200.98/201.68 c 202 10690 298 1 - 0.0000 -
206.16/206.86 c 207 10981 317 1 - 0.0000 -
211.44/212.17 c 212 11303 308 1 - 0.0000 -
216.63/217.35 c 217 11609 309 1 - 0.0000 -
221.71/222.45 c 222 11911 319 1 - 0.0000 -
226.89/227.63 c 228 12226 325 1 - 0.0000 -
231.88/232.69 c 233 12565 330 1 - 0.0000 -
236.96/237.79 c 238 12921 324 1 - 0.0000 -
242.44/243.27 c 243 13247 308 1 - 0.0000 -
247.62/248.42 c 248 13443 330 1 - 0.0000 -
252.70/253.57 c 254 13746 333 1 - 0.0000 -
257.79/258.62 c 259 14082 327 1 - 0.0000 -
262.87/263.72 c 264 14439 324 1 - 0.0000 -
268.05/268.93 c 269 14781 323 1 - 0.0000 -
273.14/274.07 c 274 15071 320 1 - 0.0000 -
278.32/279.20 c 279 15365 325 1 - 0.0000 -
283.41/284.31 c 284 15634 336 1 - 0.0000 -
288.49/289.48 c 289 15964 341 1 - 0.0000 -
293.57/294.55 c 295 16308 336 1 - 0.0000 -
298.65/299.65 c 300 16675 325 1 - 0.0000 -
303.74/304.73 c 305 16997 312 1 - 0.0000 -
308.92/309.93 c 310 17351 302 1 - 0.0000 -
314.20/315.24 c 315 17629 311 1 - 0.0000 -
319.29/320.39 c 320 18027 301 1 - 0.0000 -
324.47/325.51 c 326 18309 311 1 - 0.0000 -
329.75/330.80 c 331 18581 317 1 - 0.0000 -
335.13/336.26 c 336 18856 318 1 - 0.0000 -
340.22/341.39 c 341 19191 301 1 - 0.0000 -
345.30/346.45 c 346 19497 291 1 - 0.0000 -
350.39/351.53 c 352 19840 286 1 - 0.0000 -
355.47/356.60 c 357 20111 303 1 - 0.0000 -
360.65/361.87 c 362 20391 296 1 - 0.0000 -
365.74/366.92 c 367 20709 294 1 - 0.0000 -
370.72/371.97 c 372 21039 284 1 - 0.0000 -
375.81/377.06 c 377 21364 284 1 - 0.0000 -
381.09/382.36 c 382 21698 278 1 - 0.0000 -
386.17/387.46 c 387 22035 285 1 - 0.0000 -
391.35/392.62 c 393 22331 278 1 - 0.0000 -
396.44/397.70 c 398 22689 279 1 - 0.0000 -
401.82/403.11 c 403 23013 283 1 - 0.0000 -
406.81/408.19 c 408 23394 270 1 - 0.0000 -
411.88/413.28 c 413 23700 273 1 - 0.0000 -
416.97/418.33 c 418 24008 274 1 - 0.0000 -
422.05/423.41 c 423 24336 263 1 - 0.0000 -
427.04/428.47 c 428 24692 263 1 - 0.0000 -
432.12/433.52 c 434 25074 261 1 - 0.0000 -
437.10/438.58 c 439 25444 245 1 - 0.0000 -
442.18/443.69 c 444 25820 239 1 - 0.0000 -
447.37/448.83 c 449 26103 242 1 - 0.0000 -
452.45/453.94 c 454 26432 241 1 - 0.0000 -
457.54/459.07 c 459 26724 234 1 - 0.0000 -
462.63/464.15 c 464 27066 224 1 - 0.0000 -
467.80/469.33 c 469 27376 228 1 - 0.0000 -
472.89/474.41 c 474 27735 223 1 - 0.0000 -
477.97/479.51 c 480 27995 217 1 - 0.0000 -
482.95/484.57 c 485 28377 210 1 - 0.0000 -
488.04/489.65 c 490 28760 202 1 - 0.0000 -
493.22/494.80 c 495 29077 207 1 - 0.0000 -
498.20/499.87 c 500 29472 190 1 - 0.0000 -
503.29/504.97 c 505 29807 187 1 - 0.0000 -
508.37/510.03 c 510 30185 184 1 - 0.0000 -
513.45/515.16 c 515 30505 186 1 - 0.0000 -
518.63/520.31 c 520 30835 183 1 - 0.0000 -
523.82/525.50 c 526 31200 182 1 - 0.0000 -
529.01/530.72 c 531 31526 179 1 - 0.0000 -
533.99/535.77 c 536 31913 170 1 - 0.0000 -
539.09/540.86 c 541 32250 170 1 - 0.0000 -
544.28/546.05 c 546 32626 160 1 - 0.0000 -
549.36/551.14 c 551 33020 151 1 - 0.0000 -
555.04/556.83 c 557 33403 140 1 - 0.0000 -
560.13/561.92 c 562 33671 135 1 - 0.0000 -
565.52/567.34 c 567 34008 120 1 - 0.0000 -
570.61/572.46 c 572 34341 105 1 - 0.0000 -
575.70/577.57 c 578 34658 102 1 - 0.0000 -
580.78/582.66 c 583 34997 106 1 - 0.0000 -
586.17/588.09 c 588 35366 91 1 - 0.0000 -
591.26/593.18 c 593 35705 89 1 - 0.0000 -
596.34/598.25 c 598 36086 81 1 - 0.0000 -
601.53/603.41 c 603 36423 76 1 - 0.0000 -
606.51/608.49 c 608 36804 69 1 - 0.0000 -
611.60/613.57 c 614 37135 64 1 - 0.0000 -
616.69/618.62 c 619 37493 58 1 - 0.0000 -
621.68/623.69 c 624 37818 50 1 - 0.0000 -
627.06/629.01 c 629 38208 51 1 - 0.0000 -
632.05/634.10 c 634 38547 44 1 - 0.0000 -
637.14/639.16 c 639 38872 44 1 - 0.0000 -
642.22/644.25 c 644 39217 36 1 - 0.0000 -
647.30/649.35 c 649 39594 32 1 - 0.0000 -
652.40/654.48 c 654 39954 29 1 - 0.0000 -
657.58/659.68 c 660 40327 27 1 - 0.0000 -
662.67/664.76 c 665 40713 19 1 - 0.0000 -
667.76/669.86 c 670 41106 17 1 - 0.0000 -
672.84/674.93 c 675 41484 15 1 - 0.0000 -
677.93/680.01 c 680 41887 10 1 - 0.0000 -
682.92/685.09 c 685 42257 1 1 - 0.0000 -
683.11/685.22 c 685 42272 0 0 - 0.0000 -
683.11/685.29 c 685 42272 0 0 - 0.0000 -
683.11/685.29 c SCIP Status : c problem is solved [infeasible]
683.11/685.29 c Total Time : 685.2900
683.11/685.29 c solving : 685.2900
683.11/685.29 c presolving : 0.1581 (included in solving)
683.11/685.29 c B&B Tree :
683.11/685.29 c nodes (total) : 42272
683.11/685.29 c Solution :
683.11/685.29 c Solutions found : 0
683.11/685.29 c Primal Bound : -
683.11/685.29 c Dual Bound : -
683.11/685.29 c Gap : -
683.11/685.29 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61969 MiB free)
memory of node 1: 64473 MiB (61633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451950-1721426620/watcher-4451950-1721426620 -o /tmp/evaluation-result-4451950-1721426620/solver-4451950-1721426620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451950-1721426620.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1031201, runsolver pid=1031198
[startup+0.100116 s]*
/proc/loadavg: 4.10 4.10 4.10 5/262 1031202
/proc/meminfo: memFree=126552820/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=37156 memory=27104 CPUtime=0.09 cores=4,6
/proc/1031201/stat : 1031201 (fscip) R 1031198 1031201 1028650 0 -1 4194304 4518 0 0 0 8 1 0 0 20 0 1 0 194826934 38047744 6776 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 9289 6776 2734 3032 0 5689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37156 KiB
Current children cumulated memory: 27104 KiB
[startup+0.206124 s]*
/proc/loadavg: 4.10 4.10 4.10 5/264 1031204
/proc/meminfo: memFree=126529524/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=134156 memory=50056 CPUtime=0.19 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 11024 0 0 0 18 1 0 0 20 0 3 0 194826934 137375744 12514 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 33539 12514 2782 3032 0 16625 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=134156 memory=6007641856751698051 CPUtime=0.02 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 3286 0 0 0 2 0 0 0 20 0 3 0 194826951 137375744 12514 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=134156 memory=1783847 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194826952 137375744 12514 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 134156 KiB
Current children cumulated memory: 50056 KiB
[startup+0.306124 s]*
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126517764/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=139416 memory=62244 CPUtime=0.29 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 14035 0 0 0 27 2 0 0 20 0 3 0 194826934 142761984 15561 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 34854 15561 2830 3032 0 19817 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=139416 memory=-7736474891295286655 CPUtime=0.11 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 6297 0 0 0 11 0 0 0 20 0 3 0 194826951 142761984 15561 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194826952 142761984 15561 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 62244 KiB
[startup+0.700224 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126516280/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=139416 memory=63580 CPUtime=0.67 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 14342 0 0 0 65 2 0 0 20 0 3 0 194826934 142761984 15895 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 34854 15895 2910 3032 0 20132 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=139416 memory=0 CPUtime=0.49 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 6604 0 0 0 49 0 0 0 20 0 3 0 194826951 142761984 15895 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194826952 142761984 15895 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 63580 KiB
[startup+1.50027 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126489160/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=139416 memory=97456 CPUtime=1.46 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 29535 0 0 0 143 3 0 0 20 0 3 0 194826934 142761984 24364 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 34854 24364 2926 3032 0 29215 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=139416 memory=0 CPUtime=1.29 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 21797 0 0 0 127 2 0 0 20 0 3 0 194826951 142761984 24364 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=139416 memory=0 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194826952 142761984 24364 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 139416 KiB
Current children cumulated memory: 97456 KiB
[startup+3.10554 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126423168/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=204952 memory=125000 CPUtime=3.06 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 38408 0 0 0 301 5 0 0 20 0 3 0 194826934 209870848 31250 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 51238 31250 2926 3032 0 38193 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=204952 memory=0 CPUtime=2.88 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 30646 0 0 0 285 3 0 0 20 0 3 0 194826951 209870848 31250 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=204952 memory=2209 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194826952 209870848 31250 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 125000 KiB
[startup+6.30025 s]
/proc/loadavg: 4.08 4.09 4.10 5/264 1031206
/proc/meminfo: memFree=126414488/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=204952 memory=126368 CPUtime=6.25 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 49966 0 0 0 619 6 0 0 20 0 3 0 194826934 209870848 31592 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 51238 31592 2926 3032 0 38246 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=204952 memory=125000 CPUtime=6.07 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 42176 0 0 0 603 4 0 0 20 0 3 0 194826951 209870848 31592 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=204952 memory=11648 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194826952 209870848 31592 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 126368 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.10 5/264 1031206
/proc/meminfo: memFree=126364444/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=204952 memory=136828 CPUtime=12.63 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 85809 0 0 0 1255 8 0 0 20 0 3 0 194826934 209870848 34207 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 51238 34207 2990 3032 0 39583 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=204952 memory=135140 CPUtime=12.46 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 77971 0 0 0 1239 7 0 0 20 0 3 0 194826951 209870848 34207 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=204952 memory=11648 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194826952 209870848 34207 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 136828 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.10 5/264 1031210
/proc/meminfo: memFree=126336300/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=204952 memory=154944 CPUtime=25.4 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 148081 0 0 0 2527 13 0 0 20 0 3 0 194826934 209870848 38736 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 51238 38736 2990 3032 0 44824 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=204952 memory=0 CPUtime=25.22 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 140164 0 0 0 2511 11 0 0 20 0 3 0 194826951 209870848 38736 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=204952 memory=154940 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 194826952 209870848 38736 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 204952 KiB
Current children cumulated memory: 154944 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.11 4.10 5/264 1031261
/proc/meminfo: memFree=126295792/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=270488 memory=189556 CPUtime=50.93 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 232375 0 0 0 5073 20 0 0 20 0 3 0 194826934 276979712 47389 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 67622 47389 2990 3032 0 52756 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=270488 memory=189556 CPUtime=50.76 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 224371 0 0 0 5057 19 0 0 20 0 3 0 194826951 276979712 47389 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=270488 memory=181396 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 194826952 276979712 47389 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 270488 KiB
Current children cumulated memory: 189556 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/263 1031268
/proc/meminfo: memFree=126188528/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=274560 memory=201996 CPUtime=102 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 300669 0 0 0 10173 27 0 0 20 0 3 0 194826934 281149440 50499 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 68640 50499 2990 3032 0 55785 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=274560 memory=46060 CPUtime=101.81 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 292565 0 0 0 10156 25 0 0 20 0 3 0 194826951 281149440 50499 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=274560 memory=201864 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 194826952 281149440 50499 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 274560 KiB
Current children cumulated memory: 201996 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/263 1031278
/proc/meminfo: memFree=126166884/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=277760 memory=209124 CPUtime=161.8 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 356253 0 0 0 16146 34 0 0 20 0 3 0 194826934 284426240 52281 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 69440 52281 2990 3032 0 58057 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=277760 memory=46060 CPUtime=161.61 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 348090 0 0 0 16129 32 0 0 20 0 3 0 194826951 284426240 52281 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=277760 memory=209104 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 194826952 284426240 52281 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 277760 KiB
Current children cumulated memory: 209124 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 1031305
################
# More data... #
################
/proc/1031201/statm: 73024 56813 2990 3032 0 63804 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=292096 memory=226412 CPUtime=460.62 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 499478 0 0 0 46004 58 0 0 20 0 3 0 194826951 299106304 56813 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=292096 memory=227104 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 194826952 299106304 56813 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 460.82 s
Current children cumulated vsize: 292096 KiB
Current children cumulated memory: 227252 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 1031872
/proc/meminfo: memFree=126082064/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=293504 memory=229628 CPUtime=520.63 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 531633 0 0 0 51998 65 0 0 20 0 3 0 194826934 300548096 57407 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 73376 57407 2990 3032 0 64156 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=293504 memory=229628 CPUtime=520.42 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 523254 0 0 0 51979 63 0 0 20 0 3 0 194826951 300548096 57407 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=293504 memory=229628 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 194826952 300548096 57407 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 520.63 s
Current children cumulated vsize: 293504 KiB
Current children cumulated memory: 229628 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 1031883
/proc/meminfo: memFree=126075560/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=296416 memory=231316 CPUtime=580.48 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 555268 0 0 0 57979 69 0 0 20 0 3 0 194826934 303529984 57829 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 74104 57829 2990 3032 0 64884 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=296416 memory=46060 CPUtime=580.27 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 546858 0 0 0 57961 66 0 0 20 0 3 0 194826951 303529984 57829 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=296416 memory=231148 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 194826952 303529984 57829 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 580.48 s
Current children cumulated vsize: 296416 KiB
Current children cumulated memory: 231316 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 1031894
/proc/meminfo: memFree=126064064/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=298096 memory=238776 CPUtime=640.32 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 579940 0 0 0 63960 72 0 0 20 0 3 0 194826934 305250304 59694 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 74524 59694 2990 3032 0 65304 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=298096 memory=234552 CPUtime=640.1 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 571506 0 0 0 63941 69 0 0 20 0 3 0 194826951 305250304 59694 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=298096 memory=46060 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 194826952 305250304 59694 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 640.32 s
Current children cumulated vsize: 298096 KiB
Current children cumulated memory: 238776 KiB
[startup+685.296 s]
# the end of solver process 1031201 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=682.455 s, system=0.765635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 1031900
/proc/meminfo: memFree=126061548/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=239304 CPUtime=663.56 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 591335 0 0 0 66282 74 0 0 20 0 3 0 194826934 308830208 59826 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 59826 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=230204 CPUtime=663.35 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 582879 0 0 0 66264 71 0 0 20 0 3 0 194826951 308830208 59826 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=234552 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 59826 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 663.56 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 239304 KiB
[startup+678.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 1031901
/proc/meminfo: memFree=126058016/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=241380 CPUtime=676.33 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598396 0 0 0 67558 75 0 0 20 0 3 0 194826934 308830208 60345 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60345 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=238776 CPUtime=676.11 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 589940 0 0 0 67539 72 0 0 20 0 3 0 194826951 308830208 60345 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=241380 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60345 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 676.33 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 241380 KiB
[startup+681.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1031901
/proc/meminfo: memFree=126055152/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=243448 CPUtime=679.52 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598436 0 0 0 67877 75 0 0 20 0 3 0 194826934 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60862 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=11648 CPUtime=679.3 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 589980 0 0 0 67858 72 0 0 20 0 3 0 194826951 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=241380 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 679.52 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 243448 KiB
[startup+683.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1031901
/proc/meminfo: memFree=126054900/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=243448 CPUtime=681.12 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598453 0 0 0 68037 75 0 0 20 0 3 0 194826934 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60862 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=5432 CPUtime=680.9 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 589997 0 0 0 68018 72 0 0 20 0 3 0 194826951 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=46060 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 681.12 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 243448 KiB
[startup+684 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 1031903
/proc/meminfo: memFree=126054892/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=243448 CPUtime=681.92 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598484 0 0 0 68117 75 0 0 20 0 3 0 194826934 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60862 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=-7241362438938006379 CPUtime=681.7 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 590028 0 0 0 68098 72 0 0 20 0 3 0 194826951 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=-9187040416277561027 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 681.92 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 243448 KiB
[startup+684.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1031903
/proc/meminfo: memFree=126054892/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=243448 CPUtime=682.71 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598485 0 0 0 68196 75 0 0 20 0 3 0 194826934 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60862 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=241380 CPUtime=682.49 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 590029 0 0 0 68177 72 0 0 20 0 3 0 194826951 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=243448 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 682.71 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 243448 KiB
[startup+685.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 1031903
/proc/meminfo: memFree=126054892/131524600 swapFree=131070704/131071996
[pid=1031201] ppid=1031198 vsize=301592 memory=243448 CPUtime=683.11 cores=4,6
/proc/1031201/stat : 1031201 (fscip) S 1031198 1031201 1028650 0 -1 1077936128 598489 0 0 0 68236 75 0 0 20 0 3 0 194826934 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
/proc/1031201/statm: 75398 60862 2990 3032 0 66178 0
[pid=1031201/tid=1031203] ppid=1031198 vsize=301592 memory=46060 CPUtime=682.89 cores=4,6
/proc/1031201/task/1031203/stat : 1031203 (fscip) R 1031198 1031201 1028650 0 -1 4194368 590033 0 0 0 68217 72 0 0 20 0 3 0 194826951 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
[pid=1031201/tid=1031204] ppid=1031198 vsize=301592 memory=12952 CPUtime=0 cores=4,6
/proc/1031201/task/1031204/stat : 1031204 (fscip) S 1031198 1031201 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194826952 308830208 60862 134679101440 4194304 16613245 140722089168048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40624128 140722089174035 140722089174151 140722089174151 140722089181168 0
Current children cumulated CPU time: 683.11 s
Current children cumulated vsize: 301592 KiB
Current children cumulated memory: 243448 KiB
Child status: 0
Real time (s): 685.296
CPU time (s): 683.221
CPU user time (s): 682.455
CPU system time (s): 0.765635
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 301592
Max. memory (cumulated for all children) (KiB): 243448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 682.455
system time used= 0.765635
maximum resident set size= 243448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602563
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= 2072
involuntary context switches= 543
# summary of solver processes directly reported to runsolver:
# pid: 1031201
# total CPU time (s): 683.221
# total CPU user time (s): 682.455
# total CPU system time (s): 0.765635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4109 second user time and 3.24008 second system time
The end
Begin job on nodeC023 at 2024-07-20 00:03:52
IDJOB=4451950
IDBENCH=162834
IDSOLVER=3064
FILE ID=nodeC023/4451950-1721426620
RUNJOBID= nodeC023-1721423005-1028661
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451950-1721426620/watcher-4451950-1721426620 -o /tmp/evaluation-result-4451950-1721426620/solver-4451950-1721426620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451950-1721426620.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 93c30ced4b5200d34eb31ee4d6abbd8b
RANDOM SEED=371883989
nodeC023.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 : 3600.199
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.61
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 : 3687.846
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.48
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 : 3669.447
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.61
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 : 3600.280
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.48
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 : 3673.083
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.61
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 : 3687.888
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.48
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 : 3664.623
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.61
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 : 3600.115
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126569968 kB
MemAvailable: 128767960 kB
Buffers: 562336 kB
Cached: 2471924 kB
SwapCached: 80 kB
Active: 1193316 kB
Inactive: 3191648 kB
Active(anon): 1580 kB
Inactive(anon): 1394832 kB
Active(file): 1191736 kB
Inactive(file): 1796816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 117460 kB
Writeback: 12 kB
AnonPages: 1350708 kB
Mapped: 141700 kB
Shmem: 45728 kB
KReclaimable: 98524 kB
Slab: 192272 kB
SReclaimable: 98524 kB
SUnreclaim: 93748 kB
KernelStack: 4176 kB
PageTables: 12164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1071720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 378880 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-20 00:15:18