0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
11.07/11.17 c Default LC presolving (default).
11.16/11.21 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336382, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
11.16/11.21 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
91.56/91.85 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844316, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
91.56/91.85 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
91.56/91.85 c Original Problem :
91.56/91.85 c Problem name : instance-4464230-1722382682
91.56/91.85 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
91.56/91.85 c Constraints : 2000307
91.56/91.85 c Objective sense : minimize
91.56/91.85 c Presolved Problem :
91.56/91.85 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
91.56/91.85 c Constraints : 500454
91.56/91.85 c Constraints : Number
91.56/91.85 c knapsack : 5250
91.56/91.85 c setppc : 101
91.56/91.85 c and : 490050
91.56/91.85 c linear : 3
91.56/91.85 c logicor : 5050
91.56/91.85 c ** Instance transfer method used: 0
93.36/93.68 c ** ParaScipInstance copy does not increase the number of variables. **
94.84/95.15 c LC is working with racing ramp-up and with rebuilding tree after racing.
94.84/95.15 c Nodes Active
94.84/95.15 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3590.40/3599.55 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3595.70/3604.83 c SCIP Status : c solving was interrupted [hard time limit reached]
3595.70/3604.83 c Total Time : 3604.8300
3595.70/3604.83 c solving : 3604.8300
3595.70/3604.83 c presolving : 80.6423 (included in solving)
3595.70/3604.83 c B&B Tree :
3595.70/3604.83 c nodes (total) : 1
3595.70/3604.83 c Solution :
3595.70/3604.84 c Solutions found : 0
3595.70/3604.84 c Primal Bound : -
3595.70/3604.84 c Dual Bound : -
3595.70/3604.84 c Gap : -
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 (54577 MiB free)
memory of node 1: 64473 MiB (62266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464230-1722382682/watcher-4464230-1722382682 -o /tmp/evaluation-result-4464230-1722382682/solver-4464230-1722382682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464230-1722382682.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=32499, runsolver pid=32496
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.20 4.13 4.08 5/262 32502
/proc/meminfo: memFree=119589628/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=83616 memory=70564 CPUtime=0.09 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 15545 0 0 0 7 2 0 0 20 0 1 0 4872929 85622784 17641 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 20904 17641 2347 3035 0 17300 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83616 KiB
Current children cumulated memory: 70564 KiB
[startup+0.205567 s]*
/proc/loadavg: 4.20 4.13 4.08 5/262 32502
/proc/meminfo: memFree=119530744/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=141924 memory=129360 CPUtime=0.2 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 30249 0 0 0 16 4 0 0 20 0 1 0 4872929 145330176 32340 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 35481 32340 2347 3035 0 31877 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141924 KiB
Current children cumulated memory: 129360 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.20 4.13 4.08 5/262 32502
/proc/meminfo: memFree=119476508/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=195096 memory=182180 CPUtime=0.3 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 43471 0 0 0 24 6 0 0 20 0 1 0 4872929 199778304 45545 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 48774 45545 2347 3035 0 45170 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 195096 KiB
Current children cumulated memory: 182180 KiB
[startup+0.700225 s]
/proc/loadavg: 4.19 4.13 4.08 5/262 32502
/proc/meminfo: memFree=119371680/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=394640 memory=381128 CPUtime=0.69 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 92164 0 0 0 55 14 0 0 20 0 1 0 4872929 404111360 95282 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 98660 95282 2347 3035 0 95056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 394640 KiB
Current children cumulated memory: 381128 KiB
[startup+1.50023 s]
/proc/loadavg: 4.19 4.13 4.08 5/262 32502
/proc/meminfo: memFree=119118580/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=799308 memory=785180 CPUtime=1.48 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 189589 0 0 0 120 28 0 0 20 0 1 0 4872929 818491392 196295 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 199827 196295 2347 3035 0 196223 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 799308 KiB
Current children cumulated memory: 785180 KiB
[startup+3.1058 s]
/proc/loadavg: 4.19 4.13 4.08 5/262 32502
/proc/meminfo: memFree=118145408/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=1545472 memory=1532024 CPUtime=3.09 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 367925 0 0 0 255 54 0 0 20 0 1 0 4872929 1582563328 383006 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 386368 383006 2347 3035 0 382764 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1545472 KiB
Current children cumulated memory: 1532024 KiB
[startup+6.30022 s]
/proc/loadavg: 4.17 4.13 4.08 5/262 32502
/proc/meminfo: memFree=117450704/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=2506880 memory=2492000 CPUtime=6.28 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 606680 0 0 0 540 88 0 0 20 0 1 0 4872929 2567045120 623000 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 626864 623000 2555 3035 0 623260 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2506880 KiB
Current children cumulated memory: 2492000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.14 4.08 5/262 32503
/proc/meminfo: memFree=114733252/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=5035108 memory=4982380 CPUtime=12.66 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 1115059 0 0 0 1103 163 0 0 20 0 1 0 4872929 5155950592 1245595 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 1258777 1245595 2630 3035 0 1255173 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 5035108 KiB
Current children cumulated memory: 4982380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.08 5/262 32505
/proc/meminfo: memFree=114000696/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=5717292 memory=5643952 CPUtime=25.43 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 1193600 0 0 0 2308 235 0 0 20 0 1 0 4872929 5854507008 1410988 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 1429323 1410988 2726 3035 0 1425719 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 5717292 KiB
Current children cumulated memory: 5643952 KiB
[startup+51.1055 s]
/proc/loadavg: 4.33 4.17 4.09 5/262 32509
/proc/meminfo: memFree=111853080/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=7846584 memory=7771096 CPUtime=50.97 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 1543886 0 0 0 4799 298 0 0 20 0 1 0 4872929 8034902016 1942774 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 1961646 1942774 2758 3035 0 1958042 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7771096 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.09 5/264 32520
/proc/meminfo: memFree=108410256/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=11646580 memory=11172776 CPUtime=102.01 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 2381672 0 0 0 9771 430 0 0 20 0 3 0 4872929 11926097920 2793194 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 2911645 2793194 2806 3035 0 2883692 0
[pid=32499/tid=32517] ppid=32496 vsize=11646580 memory=-5155629076834839429 CPUtime=8.55 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 685482 0 0 0 758 97 0 0 20 0 3 0 4882115 11926097920 2793194 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=11646580 memory=8779752 CPUtime=0 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4882447 11926097920 2793194 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 11646580 KiB
Current children cumulated memory: 11172776 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/266 32535
/proc/meminfo: memFree=106369572/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13679264 memory=13204436 CPUtime=161.87 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 3103663 0 0 0 15667 520 0 0 20 0 3 0 4872929 14007566336 3301109 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3419816 3301109 2854 3035 0 3389433 0
[pid=32499/tid=32517] ppid=32496 vsize=13679264 memory=11404832 CPUtime=68.42 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 1407465 0 0 0 6655 187 0 0 20 0 3 0 4882115 14007566336 3301109 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13679264 memory=13204436 CPUtime=0 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4882447 14007566336 3301109 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13204436 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/266 32546
/proc/meminfo: memFree=106366628/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13679264 memory=13204464 CPUtime=221.72 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 3402076 0 0 0 21636 536 0 0 20 0 3 0 4872929 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3419816 3301116 2854 3035 0 3389433 0
[pid=32499/tid=32517] ppid=32496 vsize=13679264 memory=13204464 CPUtime=128.27 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 1705868 0 0 0 12624 203 0 0 20 0 3 0 4882115 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13679264 memory=11592 CPUtime=0 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4882447 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13204464 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.18 4.10 5/266 32556
/proc/meminfo: memFree=106358460/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13679264 memory=13204464 CPUtime=281.58 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 3705609 0 0 0 27605 553 0 0 20 0 3 0 4872929 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3419816 3301116 2854 3035 0 3389433 0
[pid=32499/tid=32517] ppid=32496 vsize=13679264 memory=13204464 CPUtime=188.13 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 2009381 0 0 0 18593 220 0 0 20 0 3 0 4882115 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13679264 memory=13204464 CPUtime=0 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4882447 14007566336 3301116 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13204464 KiB
[startup+342.3 s]
/proc/loadavg: 4.41 4.25 4.13 5/266 32566
/proc/meminfo: memFree=106323144/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13679264 memory=13223392 CPUtime=341.44 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 4085456 0 0 0 33573 571 0 0 20 0 3 0 4872929 14007566336 3305848 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3419816 3305848 2854 3035 0 3394154 0
[pid=32499/tid=32517] ppid=32496 vsize=13679264 memory=13204464 CPUtime=247.98 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 2389211 0 0 0 24560 238 0 0 20 0 3 0 4882115 14007566336 3305848 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13679264 memory=11592 CPUtime=0 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4882447 14007566336 3305848 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
################
# More data... #
################
/proc/loadavg: 4.13 4.16 4.13 5/268 34191
/proc/meminfo: memFree=105643784/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13389392 CPUtime=3094.46 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11176965 0 0 0 308245 1201 0 0 20 0 3 0 4872929 14208892928 3347348 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3347348 2854 3035 0 3434014 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13387456 CPUtime=3000.97 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 9479735 0 0 0 299231 866 0 0 20 0 3 0 4882115 14208892928 3347348 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13388364 CPUtime=0.03 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1040 0 0 0 1 2 0 0 20 0 3 0 4882447 14208892928 3347348 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13389392 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/269 34643
/proc/meminfo: memFree=106372620/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13392496 CPUtime=3154.31 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11298901 0 0 0 314218 1213 0 0 20 0 3 0 4872929 14208892928 3348124 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3348124 2854 3035 0 3434638 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13387456 CPUtime=3060.82 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 9601648 0 0 0 305204 878 0 0 20 0 3 0 4882115 14208892928 3348124 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13391592 CPUtime=0.03 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1063 0 0 0 1 2 0 0 20 0 3 0 4882447 14208892928 3348124 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13392496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/266 34936
/proc/meminfo: memFree=107309920/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13397564 CPUtime=3214.16 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11413647 0 0 0 320190 1226 0 0 20 0 3 0 4872929 14208892928 3349391 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3349391 2854 3035 0 3435182 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13387456 CPUtime=3120.67 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 9716370 0 0 0 311176 891 0 0 20 0 3 0 4882115 14208892928 3349391 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13394844 CPUtime=0.03 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1087 0 0 0 1 2 0 0 20 0 3 0 4882447 14208892928 3349391 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13397564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/266 34946
/proc/meminfo: memFree=107219832/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13403672 CPUtime=3274.01 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11544994 0 0 0 326163 1238 0 0 20 0 3 0 4872929 14208892928 3350918 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3350918 2854 3035 0 3436062 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=12852 CPUtime=3180.52 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 9847701 0 0 0 317149 903 0 0 20 0 3 0 4882115 14208892928 3350918 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13403672 CPUtime=0.03 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1103 0 0 0 1 2 0 0 20 0 3 0 4882447 14208892928 3350918 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13403672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/265 34956
/proc/meminfo: memFree=107177592/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13406200 CPUtime=3333.86 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11677320 0 0 0 332133 1253 0 0 20 0 3 0 4872929 14208892928 3351550 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3351550 2854 3035 0 3436686 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13402056 CPUtime=3240.37 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 9980003 0 0 0 323119 918 0 0 20 0 3 0 4882115 14208892928 3351550 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=11592 CPUtime=0.03 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1127 0 0 0 1 2 0 0 20 0 3 0 4882447 14208892928 3351550 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13406200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/265 34968
/proc/meminfo: memFree=107133140/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13409752 CPUtime=3393.72 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11790111 0 0 0 338107 1265 0 0 20 0 3 0 4872929 14208892928 3352438 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3352438 2854 3035 0 3437566 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13408144 CPUtime=3300.23 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 10092771 0 0 0 329093 930 0 0 20 0 3 0 4882115 14208892928 3352438 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13409172 CPUtime=0.04 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1150 0 0 0 2 2 0 0 20 0 3 0 4882447 14208892928 3352438 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13409752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/261 34978
/proc/meminfo: memFree=107090776/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13412284 CPUtime=3453.56 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 11928192 0 0 0 344079 1277 0 0 20 0 3 0 4872929 14208892928 3353071 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3353071 2854 3035 0 3438190 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13408144 CPUtime=3360.06 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 10230829 0 0 0 335064 942 0 0 20 0 3 0 4882115 14208892928 3353071 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=11592 CPUtime=0.04 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1173 0 0 0 2 2 0 0 20 0 3 0 4882447 14208892928 3353071 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13412284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/261 34989
/proc/meminfo: memFree=107045512/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13416164 CPUtime=3513.41 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 12068933 0 0 0 350050 1291 0 0 20 0 3 0 4872929 14208892928 3354041 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3354041 2854 3035 0 3439151 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13414220 CPUtime=3419.91 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 10371553 0 0 0 341035 956 0 0 20 0 3 0 4882115 14208892928 3354041 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13416164 CPUtime=0.04 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1190 0 0 0 2 2 0 0 20 0 3 0 4882447 14208892928 3354041 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13416164 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/262 35001
/proc/meminfo: memFree=106928560/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=13875872 memory=13419724 CPUtime=3573.26 cores=5,7
/proc/32499/stat : 32499 (fscip) S 32496 32499 30060 0 -1 1077936128 12191322 0 0 0 356023 1303 0 0 20 0 3 0 4872929 14208892928 3354931 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 3468968 3354931 2854 3035 0 3440031 0
[pid=32499/tid=32517] ppid=32496 vsize=13875872 memory=13328 CPUtime=3479.75 cores=5,7
/proc/32499/task/32517/stat : 32517 (fscip) R 32496 32499 30060 0 -1 4194368 10493918 0 0 0 347008 967 0 0 20 0 3 0 4882115 14208892928 3354931 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
[pid=32499/tid=32518] ppid=32496 vsize=13875872 memory=13328 CPUtime=0.04 cores=5,7
/proc/32499/task/32518/stat : 32518 (fscip) S 32496 32499 30060 0 -1 1077936192 1214 0 0 0 2 2 0 0 20 0 3 0 4882447 14208892928 3354931 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13419724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.15 4.13 4.11 5/260 35004
/proc/meminfo: memFree=110529064/131524600 swapFree=131071996/131071996
[pid=32499] ppid=32496 vsize=10006204 memory=9609520 CPUtime=3600.08 cores=5,7
/proc/32499/stat : 32499 (fscip) R 32496 32499 30060 0 -1 4194304 13797772 0 0 0 358605 1403 0 0 20 0 1 0 4872929 10246352896 2402380 134679101440 4194304 16623229 140737120236016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27852800 140737120240662 140737120240778 140737120240778 140737120247792 0
/proc/32499/statm: 2501551 2402380 2902 3035 0 2474960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 10006204 KiB
Current children cumulated memory: 9609520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.34 s]
# the end of solver process 32499 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3586.05 s, system=14.168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]*
/proc/loadavg: 4.15 4.13 4.11 5/260 35004
/proc/meminfo: memFree=118522820/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.34
CPU time (s): 3600.22
CPU user time (s): 3586.05
CPU system time (s): 14.168
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13473148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.05
system time used= 14.168
maximum resident set size= 13473148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13797772
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= 3889
involuntary context switches= 3427
# summary of solver processes directly reported to runsolver:
# pid: 32499
# total CPU time (s): 3600.22
# total CPU user time (s): 3586.05
# total CPU system time (s): 14.168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34372 second user time and 17.3648 second system time
The end
Begin job on nodeC035 at 2024-07-31 01:38:03
IDJOB=4464230
IDBENCH=155755
IDSOLVER=3092
FILE ID=nodeC035/4464230-1722382682
RUNJOBID= nodeC035-1722378597-30073
SLURM_JOB_ID= 8249858
Free space on /tmp= 889888 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_ic.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-4464230-1722382682/watcher-4464230-1722382682 -o /tmp/evaluation-result-4464230-1722382682/solver-4464230-1722382682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464230-1722382682.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ccba1baa4116ac35f164630a81450a8f
RANDOM SEED=2000602468
nodeC035.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 : 3677.898
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 : 7000.79
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 : 3688.434
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 : 7006.92
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 : 3600.557
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 : 7000.79
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.600
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 : 7006.92
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 : 3677.891
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 : 7000.79
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 : 3663.084
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 : 7006.92
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 : 3600.583
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 : 7000.79
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 : 3689.688
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119648492 kB
MemAvailable: 127772708 kB
Buffers: 91412 kB
Cached: 8826388 kB
SwapCached: 0 kB
Active: 269204 kB
Inactive: 11037040 kB
Active(anon): 1560 kB
Inactive(anon): 2407952 kB
Active(file): 267644 kB
Inactive(file): 8629088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 127876 kB
Writeback: 0 kB
AnonPages: 2384064 kB
Mapped: 124968 kB
Shmem: 21336 kB
KReclaimable: 134612 kB
Slab: 224900 kB
SReclaimable: 134612 kB
SUnreclaim: 90288 kB
KernelStack: 4240 kB
PageTables: 14008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1632560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 600064 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889868 MiB
End job on nodeC035 at 2024-07-31 02:38:13