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.48/2.51 c Default LC presolving (default).
2.48/2.51 c ** Before presolving: virtualMemUsedAtLc = 2162614887, getVmSize() = 1599922176, SCIPgetMemUsed() = 1544880235, SCIPgetMemTotal() = 1558543739, SCIPgetMemExternEstim() = 604071148
2.48/2.51 c ** set memory limit for presolving in LC to 8.79544e+12 for SCIP **
2542.49/2553.74 c ** Estimated virtualMemUsedAtSolver = 3095621075, getVmSize() = 4285308928, SCIPgetMemUsed() = 2994592161, SCIPgetMemTotal() = 4039360465, SCIPgetMemExternEstim() = 604071148
2542.49/2553.74 c ** set memory limit for solvers to 4.39795e+12 for each SCIP **
2542.49/2553.74 c Original Problem :
2542.49/2553.74 c Problem name : instance-4464532-1722385955
2542.49/2553.74 c Variables : 635136 (635136 binary, 0 integer, 0 implicit integer, 0 continuous)
2542.49/2553.74 c Constraints : 5474
2542.49/2553.74 c Objective sense : minimize
2542.49/2553.74 c Presolved Problem :
2542.49/2553.74 c Variables : 633183 (633183 binary, 0 integer, 0 implicit integer, 0 continuous)
2542.49/2553.74 c Constraints : 3075
2542.49/2553.74 c Constraints : Number
2542.49/2553.74 c knapsack : 512
2542.49/2553.74 c setppc : 2480
2542.49/2553.74 c orbitope : 83
2542.49/2553.74 c ** Instance transfer method used: 0
2543.49/2554.70 c ** ParaScipInstance copy increased the number of variables. **
2544.48/2555.73 c LC is working with racing ramp-up and with rebuilding tree after racing.
2544.48/2555.73 c Nodes Active
2544.48/2555.73 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3581.07/3598.28 c 3598 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3583.75/3600.90 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.75/3600.90 c Total Time : 3600.9000
3583.75/3600.90 c solving : 3600.9000
3583.75/3600.90 c presolving : 2551.2335 (included in solving)
3583.75/3600.90 c B&B Tree :
3583.75/3600.90 c nodes (total) : 1
3583.75/3600.90 c Solution :
3583.75/3600.90 c Solutions found : 0
3583.75/3600.90 c Primal Bound : -
3583.75/3600.90 c Dual Bound : -
3583.75/3600.90 c Gap : -
3585.54/3602.71 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 (56141 MiB free)
memory of node 1: 64473 MiB (62579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464532-1722385955/watcher-4464532-1722385955 -o /tmp/evaluation-result-4464532-1722385955/solver-4464532-1722385955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35199 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464532-1722385955.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39977, runsolver pid=39974
[startup+0.100088 s]*
/proc/loadavg: 4.13 4.17 4.13 5/262 39978
/proc/meminfo: memFree=121466628/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=124484 memory=111692 CPUtime=0.09 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 25788 0 0 0 6 3 0 0 20 0 1 0 5197467 127471616 27923 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 31121 27923 2347 3035 0 27517 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124484 KiB
Current children cumulated memory: 111692 KiB
[startup+0.20576 s]*
/proc/loadavg: 4.13 4.17 4.13 5/262 39978
/proc/meminfo: memFree=121371108/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=224696 memory=212012 CPUtime=0.19 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 50904 0 0 0 13 6 0 0 20 0 1 0 5197467 230088704 53003 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 56174 53003 2347 3035 0 52570 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 224696 KiB
Current children cumulated memory: 212012 KiB
[startup+0.305818 s]*
/proc/loadavg: 4.13 4.17 4.13 5/262 39978
/proc/meminfo: memFree=121279536/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=316352 memory=303176 CPUtime=0.3 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 73203 0 0 0 21 9 0 0 20 0 1 0 5197467 323944448 75794 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 79088 75794 2347 3035 0 75484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 316352 KiB
Current children cumulated memory: 303176 KiB
[startup+0.700237 s]
/proc/loadavg: 4.13 4.17 4.13 5/262 39978
/proc/meminfo: memFree=121095684/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=649444 memory=635664 CPUtime=0.69 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 154277 0 0 0 46 23 0 0 20 0 1 0 5197467 665030656 158916 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 162361 158916 2347 3035 0 158757 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 649444 KiB
Current children cumulated memory: 635664 KiB
[startup+1.50021 s]
/proc/loadavg: 4.20 4.18 4.13 5/262 39978
/proc/meminfo: memFree=120922256/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=906196 memory=890624 CPUtime=1.48 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 220340 0 0 0 116 32 0 0 20 0 1 0 5197467 927944704 222656 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 226549 222656 2539 3035 0 222945 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 906196 KiB
Current children cumulated memory: 890624 KiB
[startup+3.10568 s]
/proc/loadavg: 4.20 4.18 4.13 5/262 39979
/proc/meminfo: memFree=119943156/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=1672140 memory=1642064 CPUtime=3.08 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 396855 0 0 0 250 58 0 0 20 0 1 0 5197467 1712271360 410516 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 418035 410516 2614 3035 0 414431 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1672140 KiB
Current children cumulated memory: 1642064 KiB
[startup+6.30023 s]
/proc/loadavg: 4.18 4.18 4.13 5/262 39979
/proc/meminfo: memFree=119432808/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=2198660 memory=2149356 CPUtime=6.26 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 442658 0 0 0 549 77 0 0 20 0 1 0 5197467 2251427840 537339 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 549665 537339 2710 3035 0 546061 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2198660 KiB
Current children cumulated memory: 2149356 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.18 4.13 5/262 39981
/proc/meminfo: memFree=119419756/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=2198660 memory=2149448 CPUtime=12.64 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 442772 0 0 0 1186 78 0 0 20 0 1 0 5197467 2251427840 537362 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 549665 537362 2710 3035 0 546061 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2198660 KiB
Current children cumulated memory: 2149448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.17 4.13 5/262 39982
/proc/meminfo: memFree=119427488/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=2676968 memory=2640200 CPUtime=25.39 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 618396 0 0 0 2434 105 0 0 20 0 1 0 5197467 2741215232 660050 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 669242 660050 2742 3035 0 665638 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2676968 KiB
Current children cumulated memory: 2640200 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.17 4.13 5/261 39985
/proc/meminfo: memFree=117740348/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251332 memory=3799748 CPUtime=50.89 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 745743 0 0 0 4951 138 0 0 20 0 1 0 5197467 4353363968 949937 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062833 949937 2774 3035 0 1059229 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 4251332 KiB
Current children cumulated memory: 3799748 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/261 39996
/proc/meminfo: memFree=117674692/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251332 memory=3834748 CPUtime=101.86 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 745821 0 0 0 10045 141 0 0 20 0 1 0 5197467 4353363968 958687 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062833 958687 2774 3035 0 1059229 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 4251332 KiB
Current children cumulated memory: 3834748 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/260 40006
/proc/meminfo: memFree=117619196/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251336 memory=3855232 CPUtime=161.63 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 745933 0 0 0 16020 143 0 0 20 0 1 0 5197467 4353368064 963808 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062834 963808 2774 3035 0 1059230 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 4251336 KiB
Current children cumulated memory: 3855232 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/258 40016
/proc/meminfo: memFree=117579440/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251340 memory=3855324 CPUtime=221.41 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 745998 0 0 0 21996 145 0 0 20 0 1 0 5197467 4353372160 963831 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062835 963831 2774 3035 0 1059231 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 4251340 KiB
Current children cumulated memory: 3855324 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/257 40027
/proc/meminfo: memFree=117541212/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251340 memory=3855328 CPUtime=281.16 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 746064 0 0 0 27969 147 0 0 20 0 1 0 5197467 4353372160 963832 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062835 963832 2774 3035 0 1059231 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 4251340 KiB
Current children cumulated memory: 3855328 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/257 40038
/proc/meminfo: memFree=117500328/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251340 memory=3855328 CPUtime=340.88 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 746134 0 0 0 33939 149 0 0 20 0 1 0 5197467 4353372160 963832 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062835 963832 2774 3035 0 1059231 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 4251340 KiB
Current children cumulated memory: 3855328 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/257 40048
/proc/meminfo: memFree=117383980/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251344 memory=3855328 CPUtime=400.66 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 746213 0 0 0 39915 151 0 0 20 0 1 0 5197467 4353376256 963832 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062836 963832 2774 3035 0 1059232 0
Current children cumulated CPU time: 400.66 s
Current children cumulated vsize: 4251344 KiB
Current children cumulated memory: 3855328 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/260 40063
/proc/meminfo: memFree=117344380/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=4251344 memory=3855332 CPUtime=460.43 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 746279 0 0 0 45889 154 0 0 20 0 1 0 5197467 4353376256 963833 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1062836 963833 2774 3035 0 1059232 0
################
# More data... #
################
[pid=39977] ppid=39974 vsize=8432972 memory=7867508 CPUtime=3386.56 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4579988 0 0 0 338131 525 0 0 20 0 3 0 5197467 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1966877 2934 3035 0 2082176 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=11596 CPUtime=843.04 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 3707116 0 0 0 84012 292 0 0 20 0 3 0 5452841 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7867508 CPUtime=0 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 201 0 0 0 0 0 0 0 20 0 3 0 5453045 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3386.56 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7867508 KiB
[startup+3462.3 s]
/proc/loadavg: 3.77 4.13 4.11 3/248 41945
/proc/meminfo: memFree=121007580/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7867508 CPUtime=3446.17 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4754770 0 0 0 344082 535 0 0 20 0 3 0 5197467 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1966877 2934 3035 0 2082176 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=11596 CPUtime=902.65 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 3881883 0 0 0 89963 302 0 0 20 0 3 0 5452841 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=11596 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 216 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3446.17 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7867508 KiB
[startup+3522.3 s]
/proc/loadavg: 2.77 3.77 3.99 3/247 41956
/proc/meminfo: memFree=121007632/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7867508 CPUtime=3505.74 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4822046 0 0 0 350033 541 0 0 20 0 3 0 5197467 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1966877 2934 3035 0 2082176 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=13120 CPUtime=962.22 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 3949144 0 0 0 95914 308 0 0 20 0 3 0 5452841 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7867508 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 231 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1966877 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3505.74 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7867508 KiB
[startup+3582.3 s]
/proc/loadavg: 2.35 3.46 3.86 3/247 41967
/proc/meminfo: memFree=121004224/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7870452 CPUtime=3565.29 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4917262 0 0 0 355979 550 0 0 20 0 3 0 5197467 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1967613 2934 3035 0 2082912 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=7868532 CPUtime=1021.77 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 4044348 0 0 0 101860 317 0 0 20 0 3 0 5452841 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=12272 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 243 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3565.29 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7870452 KiB
[startup+3602.81 s]
# the end of solver process 39977 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.52 s, system=6.13149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.35 3.46 3.86 3/247 41967
/proc/meminfo: memFree=121004224/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7870452 CPUtime=3566.98 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4919664 0 0 0 356148 550 0 0 20 0 3 0 5197467 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1967613 2934 3035 0 2082912 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=7686721470247706567 CPUtime=1023.46 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 4046749 0 0 0 102029 317 0 0 20 0 3 0 5452841 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7686721470264483783 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 244 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3566.98 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7870452 KiB
[startup+3590.4 s]
/proc/loadavg: 2.32 3.44 3.85 3/247 41967
/proc/meminfo: memFree=121004196/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7870452 CPUtime=3573.32 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4920964 0 0 0 356782 550 0 0 20 0 3 0 5197467 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1967613 2934 3035 0 2082912 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=-5155631284363684741 CPUtime=1029.81 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 4048045 0 0 0 102663 318 0 0 20 0 3 0 5452841 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7870452 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 248 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1967613 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7870452 KiB
[startup+3596.8 s]
/proc/loadavg: 2.29 3.42 3.84 3/247 41969
/proc/meminfo: memFree=121003776/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7871032 CPUtime=3579.67 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 4922624 0 0 0 357416 551 0 0 20 0 3 0 5197467 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1967758 2934 3035 0 2083057 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=11596 CPUtime=1036.16 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 4049704 0 0 0 103297 319 0 0 20 0 3 0 5452841 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7870452 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 249 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3579.67 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7871032 KiB
[startup+3600 s]*
/proc/loadavg: 2.27 3.39 3.83 3/247 41969
/proc/meminfo: memFree=121003524/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=8432972 memory=7871032 CPUtime=3582.86 cores=0,2
/proc/39977/stat : 39977 (fscip) S 39974 39977 35189 0 -1 1077936128 5343246 0 0 0 357712 574 0 0 20 0 3 0 5197467 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 2108243 1967758 2934 3035 0 2083057 0
[pid=39977/tid=41104] ppid=39974 vsize=8432972 memory=7686721470247706567 CPUtime=1039.35 cores=0,2
/proc/39977/task/41104/stat : 41104 (fscip) R 39974 39977 35189 0 -1 4194368 4470435 0 0 0 103593 342 0 0 20 0 3 0 5452841 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
[pid=39977/tid=41105] ppid=39974 vsize=8432972 memory=7686721470264483783 CPUtime=0.01 cores=0,2
/proc/39977/task/41105/stat : 41105 (fscip) S 39974 39977 35189 0 -1 1077936192 249 0 0 0 0 1 0 0 20 0 3 0 5453045 8635363328 1967758 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
Current children cumulated CPU time: 3582.86 s
Current children cumulated vsize: 8432972 KiB
Current children cumulated memory: 7871032 KiB
[startup+3601.6 s]
/proc/loadavg: 2.27 3.39 3.83 3/245 41969
/proc/meminfo: memFree=122887212/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=6500864 memory=5991220 CPUtime=3584.45 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 5677769 0 0 0 357849 596 0 0 20 0 1 0 5197467 6656884736 1497805 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1625216 1497805 2982 3035 0 1599318 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 6500864 KiB
Current children cumulated memory: 5991220 KiB
[startup+3602.4 s]
/proc/loadavg: 2.25 3.37 3.82 3/245 41970
/proc/meminfo: memFree=122887368/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=6489968 memory=5981292 CPUtime=3585.24 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 5703614 0 0 0 357927 597 0 0 20 0 1 0 5197467 6645727232 1495323 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1622492 1495323 2982 3035 0 1596594 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 6489968 KiB
Current children cumulated memory: 5981292 KiB
[startup+3602.6 s]
/proc/loadavg: 2.25 3.37 3.82 3/245 41970
/proc/meminfo: memFree=122887368/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=6164868 memory=5656192 CPUtime=3585.44 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 5750510 0 0 0 357944 600 0 0 20 0 1 0 5197467 6312824832 1414048 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1541217 1414048 2982 3035 0 1515319 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 6164868 KiB
Current children cumulated memory: 5656192 KiB
[startup+3602.7 s]
/proc/loadavg: 2.25 3.37 3.82 3/245 41970
/proc/meminfo: memFree=122887368/131524600 swapFree=131071996/131071996
[pid=39977] ppid=39974 vsize=5909360 memory=5400684 CPUtime=3585.54 cores=0,2
/proc/39977/stat : 39977 (fscip) R 39974 39977 35189 0 -1 4194304 5782952 0 0 0 357951 603 0 0 20 0 1 0 5197467 6051184640 1350171 134679101440 4194304 16623229 140735073979616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 37609472 140735073985562 140735073985678 140735073985678 140735073992688 0
/proc/39977/statm: 1477340 1350171 2982 3035 0 1451442 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 5909360 KiB
Current children cumulated memory: 5400684 KiB
Child status: 0
Real time (s): 3602.81
CPU time (s): 3585.65
CPU user time (s): 3579.52
CPU system time (s): 6.13149
CPU usage (%): 99.5238
Max. virtual memory (cumulated for all children) (KiB): 8466944
Max. memory (cumulated for all children) (KiB): 7871032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.52
system time used= 6.13149
maximum resident set size= 7871032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5786567
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= 1116
involuntary context switches= 25452
# summary of solver processes directly reported to runsolver:
# pid: 39977
# total CPU time (s): 3585.65
# total CPU user time (s): 3579.52
# total CPU system time (s): 6.13149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21857 second user time and 17.5371 second system time
The end
Begin job on nodeC030 at 2024-07-31 02:32:36
IDJOB=4464532
IDBENCH=160479
IDSOLVER=3092
FILE ID=nodeC030/4464532-1722385955
RUNJOBID= nodeC030-1722378597-35199
SLURM_JOB_ID= 8249853
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm90p-dec.opb.negationfix.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-4464532-1722385955/watcher-4464532-1722385955 -o /tmp/evaluation-result-4464532-1722385955/solver-4464532-1722385955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35199 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464532-1722385955.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01718154630a65d8782d403c9002f363
RANDOM SEED=1154779215
nodeC030.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 : 3676.236
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.60
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.632
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.113
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.60
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.800
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.528
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.60
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 : 3688.636
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.736
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.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.383
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121569936 kB
MemAvailable: 121992940 kB
Buffers: 97544 kB
Cached: 1159052 kB
SwapCached: 0 kB
Active: 296780 kB
Inactive: 9158972 kB
Active(anon): 1552 kB
Inactive(anon): 8218960 kB
Active(file): 295228 kB
Inactive(file): 940012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57252 kB
Writeback: 4 kB
AnonPages: 8196908 kB
Mapped: 124948 kB
Shmem: 21328 kB
KReclaimable: 55172 kB
Slab: 137748 kB
SReclaimable: 55172 kB
SUnreclaim: 82576 kB
KernelStack: 4192 kB
PageTables: 25332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5110256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9408 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1966080 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC030 at 2024-07-31 03:32:39