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)
2.28/2.37 c Default LC presolving (default).
2.28/2.37 c ** Before presolving: virtualMemUsedAtLc = 2034686214, getVmSize() = 1317027840, SCIPgetMemUsed() = 1223762210, SCIPgetMemTotal() = 1247601570, SCIPgetMemExternEstim() = 787084644
2.28/2.37 c ** set memory limit for presolving in LC to 8.79548e+12 for SCIP **
835.82/838.32 c ** Estimated virtualMemUsedAtSolver = 2347515586, getVmSize() = 2895491072, SCIPgetMemUsed() = 1993620287, SCIPgetMemTotal() = 2734188735, SCIPgetMemExternEstim() = 787084644
835.82/838.32 c ** set memory limit for solvers to 4.39798e+12 for each SCIP **
835.82/838.32 c Original Problem :
835.82/838.32 c Problem name : instance-4464892-1722389777
835.82/838.32 c Variables : 319936 (319936 binary, 0 integer, 0 implicit integer, 0 continuous)
835.82/838.32 c Constraints : 523631
835.82/838.32 c Objective sense : minimize
835.82/838.32 c Presolved Problem :
835.82/838.32 c Variables : 529928 (319751 binary, 0 integer, 210177 implicit integer, 0 continuous)
835.82/838.32 c Constraints : 516321
835.82/838.32 c Constraints : Number
835.82/838.32 c knapsack : 5687
835.82/838.32 c setppc : 58018
835.82/838.32 c and : 3494
835.82/838.32 c linear : 210177
835.82/838.32 c logicor : 28768
835.82/838.32 c indicator : 210177
835.82/838.32 c ** Instance transfer method used: 0
837.42/839.94 c ** ParaScipInstance copy increased the number of variables. **
839.00/841.59 c LC is working with racing ramp-up and with rebuilding tree after racing.
839.00/841.59 c Nodes Active
839.00/841.59 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3587.35/3598.74 c 3599 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3590.13/3601.59 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.13/3601.59 c Total Time : 3601.6000
3590.13/3601.59 c solving : 3601.6000
3590.13/3601.59 c presolving : 835.9554 (included in solving)
3590.13/3601.59 c B&B Tree :
3590.13/3601.59 c nodes (total) : 1
3590.13/3601.59 c Solution :
3590.13/3601.59 c Solutions found : 0
3590.13/3601.59 c Primal Bound : -
3590.13/3601.59 c Dual Bound : -
3590.13/3601.59 c Gap : -
3591.93/3603.34 s UNKNOWN
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 (59973 MiB free)
memory of node 1: 64473 MiB (61086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464892-1722389777/watcher-4464892-1722389777 -o /tmp/evaluation-result-4464892-1722389777/solver-4464892-1722389777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464892-1722389777.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=36593, runsolver pid=36590
[startup+0.100705 s]*
/proc/loadavg: 3.05 2.69 3.39 5/261 36594
/proc/meminfo: memFree=123902716/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=83460 memory=71596 CPUtime=0.09 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 15767 0 0 0 7 2 0 0 20 0 1 0 5576757 85463040 17899 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 20865 17899 2347 3035 0 17261 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83460 KiB
Current children cumulated memory: 71596 KiB
[startup+0.205518 s]*
/proc/loadavg: 3.05 2.69 3.39 5/261 36594
/proc/meminfo: memFree=123850340/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=138052 memory=126316 CPUtime=0.19 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 29488 0 0 0 15 4 0 0 20 0 1 0 5576757 141365248 31579 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 34513 31579 2347 3035 0 30909 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138052 KiB
Current children cumulated memory: 126316 KiB
[startup+0.305556 s]*
/proc/loadavg: 3.05 2.69 3.39 5/261 36594
/proc/meminfo: memFree=123796456/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=189884 memory=178252 CPUtime=0.29 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 42469 0 0 0 23 6 0 0 20 0 1 0 5576757 194441216 44563 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 47471 44563 2347 3035 0 43867 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 189884 KiB
Current children cumulated memory: 178252 KiB
[startup+0.700226 s]
/proc/loadavg: 3.05 2.69 3.39 5/261 36595
/proc/meminfo: memFree=123697620/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=384152 memory=372132 CPUtime=0.69 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 90412 0 0 0 57 12 0 0 20 0 1 0 5576757 393371648 93033 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 96038 93033 2347 3035 0 92434 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 384152 KiB
Current children cumulated memory: 372132 KiB
[startup+1.50023 s]
/proc/loadavg: 3.05 2.69 3.39 5/261 36595
/proc/meminfo: memFree=123453272/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=928048 memory=914372 CPUtime=1.48 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 224796 0 0 0 120 28 0 0 20 0 1 0 5576757 950321152 228593 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 232012 228593 2555 3035 0 228408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 928048 KiB
Current children cumulated memory: 914372 KiB
[startup+3.1055 s]
/proc/loadavg: 3.05 2.69 3.39 5/261 36595
/proc/meminfo: memFree=122394468/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=1652880 memory=1627808 CPUtime=3.08 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 395492 0 0 0 256 52 0 0 20 0 1 0 5576757 1692549120 406952 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 413220 406952 2598 3035 0 409616 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1652880 KiB
Current children cumulated memory: 1627808 KiB
[startup+6.30022 s]
/proc/loadavg: 3.12 2.71 3.39 5/261 36595
/proc/meminfo: memFree=121810248/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2223296 memory=2176504 CPUtime=6.26 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 514339 0 0 0 556 70 0 0 20 0 1 0 5576757 2276655104 544126 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 555824 544126 2662 3035 0 552220 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2223296 KiB
Current children cumulated memory: 2176504 KiB
[startup+12.7002 s]
/proc/loadavg: 3.20 2.73 3.39 5/261 36597
/proc/meminfo: memFree=121727248/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2309708 memory=2238736 CPUtime=12.63 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 522171 0 0 0 1190 73 0 0 20 0 1 0 5576757 2365140992 559684 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 577427 559684 2678 3035 0 573823 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2309708 KiB
Current children cumulated memory: 2238736 KiB
[startup+25.5002 s]
/proc/loadavg: 3.45 2.81 3.41 5/261 36598
/proc/meminfo: memFree=121724344/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2309708 memory=2238736 CPUtime=25.39 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 522183 0 0 0 2464 75 0 0 20 0 1 0 5576757 2365140992 559684 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 577427 559684 2678 3035 0 573823 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2309708 KiB
Current children cumulated memory: 2238736 KiB
[startup+51.1059 s]
/proc/loadavg: 3.64 2.91 3.43 5/263 36605
/proc/meminfo: memFree=121363960/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2309708 memory=2238736 CPUtime=50.92 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 522197 0 0 0 5016 76 0 0 20 0 1 0 5576757 2365140992 559684 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 577427 559684 2678 3035 0 573823 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2309708 KiB
Current children cumulated memory: 2238736 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 3.09 3.46 5/263 36663
/proc/meminfo: memFree=121564376/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2309708 memory=2238736 CPUtime=101.98 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 522212 0 0 0 10120 78 0 0 20 0 1 0 5576757 2365140992 559684 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 577427 559684 2678 3035 0 573823 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2309708 KiB
Current children cumulated memory: 2238736 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.29 3.51 5/262 36673
/proc/meminfo: memFree=121361912/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260612 CPUtime=161.81 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525694 0 0 0 16101 80 0 0 20 0 1 0 5576757 2376097792 565153 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565153 2678 3035 0 576498 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2320408 KiB
Current children cumulated memory: 2260612 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.45 3.55 5/262 36683
/proc/meminfo: memFree=121290964/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260672 CPUtime=221.65 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525737 0 0 0 22084 81 0 0 20 0 1 0 5576757 2376097792 565168 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565168 2678 3035 0 576498 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2320408 KiB
Current children cumulated memory: 2260672 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.57 3.59 5/263 36700
/proc/meminfo: memFree=121270596/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260672 CPUtime=281.48 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525779 0 0 0 28066 82 0 0 20 0 1 0 5576757 2376097792 565168 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565168 2678 3035 0 576498 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2320408 KiB
Current children cumulated memory: 2260672 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.68 3.63 5/263 36710
/proc/meminfo: memFree=121243852/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260672 CPUtime=341.3 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525817 0 0 0 34048 82 0 0 20 0 1 0 5576757 2376097792 565168 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565168 2678 3035 0 576498 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2320408 KiB
Current children cumulated memory: 2260672 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.76 3.66 5/263 36720
/proc/meminfo: memFree=121219376/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260672 CPUtime=401.12 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525849 0 0 0 40029 83 0 0 20 0 1 0 5576757 2376097792 565168 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565168 2678 3035 0 576498 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2320408 KiB
Current children cumulated memory: 2260672 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.83 3.69 5/263 36730
/proc/meminfo: memFree=121119592/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=2320408 memory=2260672 CPUtime=460.95 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 525892 0 0 0 46011 84 0 0 20 0 1 0 5576757 2376097792 565168 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 580102 565168 2678 3035 0 576498 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 8883935 0 0 0 332525 650 0 0 20 0 3 0 5576757 7569391616 1730309 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1730309 2774 3035 0 1821350 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=6919684 CPUtime=2494.24 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8082136 0 0 0 248924 500 0 0 20 0 3 0 5660589 7569391616 1730309 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=6921236 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 570 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1730309 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6921236 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.12 3.16 4/259 38484
/proc/meminfo: memFree=115780584/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6924308 CPUtime=3391.56 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9032212 0 0 0 338499 657 0 0 20 0 3 0 5576757 7569391616 1731077 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1731077 2774 3035 0 1822086 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=6924284 CPUtime=2554.05 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8230401 0 0 0 254897 508 0 0 20 0 3 0 5660589 7569391616 1731077 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=11524 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 582 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1731077 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6924308 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.11 3.15 4/258 38494
/proc/meminfo: memFree=115775388/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6929104 CPUtime=3451.37 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9179256 0 0 0 344471 666 0 0 20 0 3 0 5576757 7569391616 1732276 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1732276 2774 3035 0 1823254 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=6926992 CPUtime=2613.87 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8377435 0 0 0 260870 517 0 0 20 0 3 0 5660589 7569391616 1732276 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=6928072 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 592 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1732276 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6929104 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.12 3.15 4/258 38505
/proc/meminfo: memFree=115770992/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6933208 CPUtime=3511.18 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9323643 0 0 0 350446 672 0 0 20 0 3 0 5576757 7569391616 1733302 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1733302 2774 3035 0 1824246 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=6925336 CPUtime=2673.68 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8521813 0 0 0 266845 523 0 0 20 0 3 0 5660589 7569391616 1733302 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=11524 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 601 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1733302 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6933208 KiB
[startup+3582.3 s]
/proc/loadavg: 2.27 2.90 3.07 2/236 38578
/proc/meminfo: memFree=120519772/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6940392 CPUtime=3570.99 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9402025 0 0 0 356421 678 0 0 20 0 3 0 5576757 7569391616 1735098 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1735098 2774 3035 0 1826168 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=12768 CPUtime=2733.48 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8600183 0 0 0 272819 529 0 0 20 0 3 0 5660589 7569391616 1735098 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=6940368 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 613 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1735098 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6940392 KiB
[startup+3603.43 s]
# the end of solver process 36593 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.74 s, system=7.3351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.27 2.90 3.07 2/236 38578
/proc/meminfo: memFree=120519800/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6940396 CPUtime=3572.7 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9404086 0 0 0 356591 679 0 0 20 0 3 0 5576757 7569391616 1735099 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1735099 2774 3035 0 1826168 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=-5155635673887566725 CPUtime=2735.18 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8602244 0 0 0 272989 529 0 0 20 0 3 0 5660589 7569391616 1735099 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=-5155633680935826750 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 613 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1735099 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6940396 KiB
[startup+3596.8 s]
/proc/loadavg: 1.99 2.81 3.04 2/236 38580
/proc/meminfo: memFree=120519796/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6940424 CPUtime=3585.45 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9469662 0 0 0 357863 682 0 0 20 0 3 0 5576757 7569391616 1735106 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1735106 2774 3035 0 1826168 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=12692 CPUtime=2747.93 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 8667820 0 0 0 274261 532 0 0 20 0 3 0 5660589 7569391616 1735106 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=6940416 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 613 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1735106 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6940424 KiB
[startup+3600 s]*
/proc/loadavg: 1.99 2.80 3.03 2/236 38580
/proc/meminfo: memFree=120519796/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=7391984 memory=6940852 CPUtime=3588.64 cores=5,7
/proc/36593/stat : 36593 (fscip) S 36590 36593 36412 0 -1 1077936128 9818253 0 0 0 358165 699 0 0 20 0 3 0 5576757 7569391616 1735213 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1847996 1735213 2822 3035 0 1826168 0
[pid=36593/tid=36828] ppid=36590 vsize=7391984 memory=-7306645662040417911 CPUtime=2751.13 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 9016398 0 0 0 274563 550 0 0 20 0 3 0 5660589 7569391616 1735213 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=7391984 memory=-5155633680935826750 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 616 0 0 0 1 2 0 0 20 0 3 0 5660920 7569391616 1735213 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3588.64 s
Current children cumulated vsize: 7391984 KiB
Current children cumulated memory: 6940852 KiB
[startup+3601.6 s]
/proc/loadavg: 1.99 2.80 3.03 2/236 38581
/proc/meminfo: memFree=120519796/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=6867696 memory=6418840 CPUtime=3590.24 cores=5,7
/proc/36593/stat : 36593 (fscip) D 36590 36593 36412 0 -1 4194304 10078218 0 0 0 358310 714 0 0 20 0 3 0 5576757 7032520704 1604710 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1716924 1604710 2822 3035 0 1704813 0
[pid=36593/tid=36828] ppid=36590 vsize=6867696 memory=6940852 CPUtime=2752.72 cores=5,7
/proc/36593/task/36828/stat : 36828 (fscip) R 36590 36593 36412 0 -1 4194368 9276346 0 0 0 274708 564 0 0 20 0 3 0 5660589 7032520704 1604710 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
[pid=36593/tid=36831] ppid=36590 vsize=6867696 memory=2292 CPUtime=0.03 cores=5,7
/proc/36593/task/36831/stat : 36831 (fscip) S 36590 36593 36412 0 -1 1077936192 616 0 0 0 1 2 0 0 20 0 3 0 5660920 7032520704 1604710 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
Current children cumulated CPU time: 3590.24 s
Current children cumulated vsize: 6867696 KiB
Current children cumulated memory: 6418840 KiB
[startup+3602.4 s]
/proc/loadavg: 1.99 2.80 3.03 2/234 38581
/proc/meminfo: memFree=121330616/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=6535476 memory=6127420 CPUtime=3591.03 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 10082530 0 0 0 358388 715 0 0 20 0 1 0 5576757 6692327424 1531855 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1633869 1531855 2822 3035 0 1622117 0
Current children cumulated CPU time: 3591.03 s
Current children cumulated vsize: 6535476 KiB
Current children cumulated memory: 6127420 KiB
[startup+3603.2 s]
/proc/loadavg: 1.99 2.80 3.03 2/234 38581
/proc/meminfo: memFree=121357784/131524600 swapFree=131071728/131071996
[pid=36593] ppid=36590 vsize=6398472 memory=5991656 CPUtime=3591.83 cores=5,7
/proc/36593/stat : 36593 (fscip) R 36590 36593 36412 0 -1 4194304 10168564 0 0 0 358462 721 0 0 20 0 1 0 5576757 6552035328 1497914 134679101440 4194304 16623229 140726591713680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48103424 140726591718420 140726591718536 140726591718536 140726591725552 0
/proc/36593/statm: 1599618 1497914 2822 3035 0 1587866 0
Current children cumulated CPU time: 3591.83 s
Current children cumulated vsize: 6398472 KiB
Current children cumulated memory: 5991656 KiB
[startup+3603.4 s]*
/proc/loadavg: 1.99 2.80 3.03 2/234 38581
/proc/meminfo: memFree=126311692/131524600 swapFree=131071728/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3603.43
CPU time (s): 3592.07
CPU user time (s): 3584.74
CPU system time (s): 7.3351
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 7391984
Max. memory (cumulated for all children) (KiB): 6940852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.74
system time used= 7.3351
maximum resident set size= 6940852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10210199
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= 2827
involuntary context switches= 2642
# summary of solver processes directly reported to runsolver:
# pid: 36593
# total CPU time (s): 3592.07
# total CPU user time (s): 3584.74
# total CPU system time (s): 7.3351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64733 second user time and 16.937 second system time
The end
Begin job on nodeC024 at 2024-07-31 03:36:18
IDJOB=4464892
IDBENCH=143431
IDSOLVER=3093
FILE ID=nodeC024/4464892-1722389777
RUNJOBID= nodeC024-1722389719-36425
SLURM_JOB_ID= 8249863
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464892-1722389777/watcher-4464892-1722389777 -o /tmp/evaluation-result-4464892-1722389777/solver-4464892-1722389777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464892-1722389777.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ab53751f0d079b369ec7d5616a78bc
RANDOM SEED=198186764
nodeC024.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.131
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.90
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 : 3677.391
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.73
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 : 3668.878
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.90
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.037
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.73
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 : 3668.872
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.90
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 : 3679.341
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.73
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 : 3599.965
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.90
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 : 3667.313
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123965640 kB
MemAvailable: 126422364 kB
Buffers: 103820 kB
Cached: 3169592 kB
SwapCached: 36 kB
Active: 279048 kB
Inactive: 6759412 kB
Active(anon): 1564 kB
Inactive(anon): 3784772 kB
Active(file): 277484 kB
Inactive(file): 2974640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 40960 kB
Writeback: 44 kB
AnonPages: 3762348 kB
Mapped: 122088 kB
Shmem: 21292 kB
KReclaimable: 88848 kB
Slab: 173768 kB
SReclaimable: 88848 kB
SUnreclaim: 84920 kB
KernelStack: 4128 kB
PageTables: 16668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2497324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 432128 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC024 at 2024-07-31 04:36:21