1.49/1.54 c initialize IPBHS solver
1.49/1.54 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
1.49/1.54 c optimizer = "scip"
1.49/1.54 c pbsolver = "roundingsat"
1.49/1.54 c load symmetries from file ""
1.49/1.54 c set time limit for symmetry computation to 100 seconds.
1.49/1.54 c set interchangeable summation variable limit to 3
1.49/1.54 c set abs symmetric core budget per WCE-iteration to 100
1.49/1.54 c set rel symmetric core budget per WCE-iteration to 0
1.49/1.54 c set lit symmetric core budget per WCE-iteration to 0
1.49/1.54 c set sym generation to 's'
1.49/1.54 c set abstraction set creation to 10 iterations without LB change
1.49/1.54 c set abstraction set inputs to 0
1.49/1.54 c set abstraction set cluster min size to 2
1.49/1.54 c set abstraction set cluster max size to 100000000
1.49/1.54 c set abstraction set cluster activation limit to 2
1.49/1.54 c enable abstraction set require equal cost
1.49/1.54 c set abstraction set assumptions to 0
1.49/1.54 c set abstraction set constraint type to 0
1.49/1.54 c set abstract core extraction strategy to b
1.49/1.54 c set core extraction strategy to 2
1.49/1.54 c set core extraction shuffles 10
1.49/1.54 c set cores per iteration to 5
1.49/1.54 c set optimizer bound usage strategy to 2
1.49/1.54 c set optimizer max non-optimal iterations to 1000
1.49/1.54 c set small core cardinality limit to 2
1.49/1.54 c set max coef in cores to 1000000000
1.49/1.54 c set SIS iterations to 5
1.49/1.54 c set SIS budget abs to 1000
1.49/1.54 c set SIS budget rel to 0.05
1.49/1.54 c limit for coefficient in constraints and objective to 9223372036854775807
1.49/1.54 c will solve HOME/instance-4432115-1721158938.opb
1.49/1.54 c [0.02] solve iteration 1, LB=0, UB=212
1.49/1.54 c [1.29] solve iteration 2, LB=0, UB=79
809.57/812.00 c [20.25] solve iteration 3, LB=12, UB=79
809.57/812.00 c [34.78] solve iteration 4, LB=12, UB=79
809.57/812.00 c [75.3] solve iteration 5, LB=12, UB=79
809.57/812.00 c [92.54] solve iteration 6, LB=12, UB=74
809.57/812.00 c [220.81] solve iteration 7, LB=12, UB=74
809.57/812.00 c [229.92] solve iteration 8, LB=12, UB=74
809.57/812.00 c [443.04] solve iteration 9, LB=22, UB=74
809.57/812.00 c [470.67] solve iteration 10, LB=22, UB=74
809.57/812.00 c [531.48] solve iteration 11, LB=22, UB=74
809.57/812.00 c [561.77] solve iteration 12, LB=22, UB=74
809.57/812.00 c [776.03] solve iteration 13, LB=22, UB=74
809.57/812.00 c [799.05] solve iteration 14, LB=22, UB=72
1013.97/1016.99 c [1001.12] solve iteration 15, LB=24, UB=72
1111.90/1115.13 c [1097.78] solve iteration 16, LB=24, UB=72
1467.67/1471.94 c [1450.28] solve iteration 17, LB=24, UB=72
2768.98/2777.09 c [1643.34] solve iteration 18, LB=24, UB=72
2768.98/2777.09 c [1753.98] solve iteration 19, LB=24, UB=72
2768.98/2777.09 c [2232.9] solve iteration 20, LB=24, UB=71
2768.98/2777.09 c [2566.18] solve iteration 21, LB=24, UB=71
2768.98/2777.09 c [2738.7] solve iteration 22, LB=24, UB=71
3088.05/3097.00 c [3055.2] solve iteration 23, LB=24, UB=71
3388.88/3398.75 c [3353.63] solve iteration 24, LB=24, UB=71
3544.12/3554.42 c [3507.67] solve iteration 25, LB=24, UB=62
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: 63931 MiB (61092 MiB free)
memory of node 1: 64510 MiB (60978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432115-1721158938/watcher-4432115-1721158938 -o /tmp/evaluation-result-4432115-1721158938/solver-4432115-1721158938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866987 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432115-1721158938.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=867164, runsolver pid=867161
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 3.76 2.25 2.46 5/259 867165
/proc/meminfo: memFree=124966540/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=54460 memory=38188 CPUtime=0.1 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 6992 0 0 0 8 2 0 0 20 0 1 0 168057959 55767040 9547 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 13615 9547 2559 2900 0 10129 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54460 KiB
Current children cumulated memory: 38188 KiB
[startup+0.205617 s]*
/proc/loadavg: 3.76 2.25 2.46 5/259 867165
/proc/meminfo: memFree=124930484/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=77364 memory=58408 CPUtime=0.2 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 11977 0 0 0 17 3 0 0 20 0 1 0 168057959 79220736 14602 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 19341 14602 2671 2900 0 15855 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 58408 KiB
[startup+0.305604 s]*
/proc/loadavg: 3.76 2.25 2.46 5/259 867165
/proc/meminfo: memFree=124909856/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=77364 memory=58792 CPUtime=0.3 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 12005 0 0 0 27 3 0 0 20 0 1 0 168057959 79220736 14698 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 19341 14698 2703 2900 0 15855 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 58792 KiB
[startup+0.70018 s]
/proc/loadavg: 3.76 2.25 2.46 5/259 867167
/proc/meminfo: memFree=124713016/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=78856 memory=60376 CPUtime=0.68 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 12392 0 0 0 64 4 0 0 20 0 1 0 168057959 80748544 15094 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 19714 15094 2703 2900 0 16228 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78856 KiB
Current children cumulated memory: 60376 KiB
[startup+1.50022 s]
/proc/loadavg: 3.76 2.25 2.46 5/259 867167
/proc/meminfo: memFree=124670632/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=79876 memory=61696 CPUtime=1.49 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 12762 0 0 0 133 16 0 0 20 0 1 0 168057959 81793024 15424 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 19969 15424 2703 2900 0 16483 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79876 KiB
Current children cumulated memory: 61696 KiB
[startup+3.10506 s]
/proc/loadavg: 3.78 2.28 2.47 5/259 867167
/proc/meminfo: memFree=124643192/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=82936 memory=65100 CPUtime=3.09 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 16536 0 0 0 289 20 0 0 20 0 1 0 168057959 84926464 16275 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 20734 16275 2911 2900 0 17248 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 82936 KiB
Current children cumulated memory: 65100 KiB
[startup+6.30021 s]
/proc/loadavg: 3.78 2.28 2.47 6/259 867167
/proc/meminfo: memFree=124579260/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=83332 memory=65888 CPUtime=6.28 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 16771 0 0 0 602 26 0 0 20 0 1 0 168057959 85331968 16472 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 20833 16472 2911 2900 0 17347 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 83332 KiB
Current children cumulated memory: 65888 KiB
[startup+12.7002 s]
/proc/loadavg: 3.82 2.33 2.48 5/259 867168
/proc/meminfo: memFree=124450684/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=83728 memory=66936 CPUtime=12.67 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 17025 0 0 0 1229 38 0 0 20 0 1 0 168057959 85737472 16734 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 20932 16734 2911 2900 0 17446 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 83728 KiB
Current children cumulated memory: 66936 KiB
[startup+25.5002 s]
/proc/loadavg: 3.85 2.39 2.50 5/259 867170
/proc/meminfo: memFree=124132400/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=90016 memory=72388 CPUtime=25.42 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 18360 0 0 0 2479 63 0 0 20 0 1 0 168057959 92176384 18097 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 22504 18097 2911 2900 0 19018 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 90016 KiB
Current children cumulated memory: 72388 KiB
[startup+51.1052 s]
/proc/loadavg: 3.98 2.54 2.55 5/259 867174
/proc/meminfo: memFree=123322112/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=98184 memory=78584 CPUtime=50.97 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 19915 0 0 0 4978 119 0 0 20 0 1 0 168057959 100540416 19646 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 24546 19646 2927 2900 0 21060 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 98184 KiB
Current children cumulated memory: 78584 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 2.80 2.64 5/259 867184
/proc/meminfo: memFree=122603132/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=106404 memory=91700 CPUtime=102.01 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 22658 0 0 0 9989 212 0 0 20 0 1 0 168057959 108957696 22925 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 26601 22925 2927 2900 0 23115 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 106404 KiB
Current children cumulated memory: 91700 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.04 2.73 6/257 867194
/proc/meminfo: memFree=121884036/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=117548 memory=96580 CPUtime=161.84 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 23941 0 0 0 15884 300 0 0 20 0 1 0 168057959 120369152 24145 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 29387 24145 2927 2900 0 25901 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 96580 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.23 2.82 5/254 867205
/proc/meminfo: memFree=121448920/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=118232 memory=100732 CPUtime=221.67 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 24411 0 0 0 21800 367 0 0 20 0 1 0 168057959 121069568 25183 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 29558 25183 2927 2900 0 26072 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 118232 KiB
Current children cumulated memory: 100732 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.39 2.90 5/254 867215
/proc/meminfo: memFree=120641972/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=127080 memory=109312 CPUtime=281.5 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 26839 0 0 0 27695 455 0 0 20 0 1 0 168057959 130129920 27328 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 31770 27328 2943 2900 0 28284 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 127080 KiB
Current children cumulated memory: 109312 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.52 2.98 5/254 867225
/proc/meminfo: memFree=120250904/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=127400 memory=111624 CPUtime=341.33 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 26923 0 0 0 33608 525 0 0 20 0 1 0 168057959 130457600 27906 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 31850 27906 2943 2900 0 28364 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 111624 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.64 3.05 5/254 867236
/proc/meminfo: memFree=119905380/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=127968 memory=112664 CPUtime=401.16 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 27180 0 0 0 39533 583 0 0 20 0 1 0 168057959 131039232 28166 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 31992 28166 2943 2900 0 28506 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 127968 KiB
Current children cumulated memory: 112664 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.71 3.12 5/254 867246
/proc/meminfo: memFree=119759140/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=144240 memory=118200 CPUtime=460.98 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 28530 0 0 0 45447 651 0 0 20 0 1 0 168057959 147701760 29550 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 36060 29550 2943 2900 0 32574 0
################
# More data... #
################
Current children cumulated memory: 229368 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/255 868863
/proc/meminfo: memFree=113608716/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=245436 memory=229660 CPUtime=2913.86 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 55743 0 0 0 288244 3142 0 0 20 0 1 0 168057959 251326464 57415 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61359 57415 2943 2900 0 57873 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 245436 KiB
Current children cumulated memory: 229660 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/255 868873
/proc/meminfo: memFree=113294820/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=245948 memory=229960 CPUtime=2973.69 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 57316 0 0 0 294183 3186 0 0 20 0 1 0 168057959 251850752 57490 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61487 57490 2943 2900 0 58001 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 245948 KiB
Current children cumulated memory: 229960 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/255 868883
/proc/meminfo: memFree=112519588/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=245948 memory=230048 CPUtime=3033.5 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 58826 0 0 0 300120 3230 0 0 20 0 1 0 168057959 251850752 57512 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61487 57512 2943 2900 0 58001 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 245948 KiB
Current children cumulated memory: 230048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.12 4.08 5/255 868895
/proc/meminfo: memFree=112417168/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=246972 memory=231072 CPUtime=3093.33 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 61173 0 0 0 306050 3283 0 0 20 0 1 0 168057959 252899328 57768 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61743 57768 2943 2900 0 58257 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 246972 KiB
Current children cumulated memory: 231072 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 868905
/proc/meminfo: memFree=112221724/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=246972 memory=231080 CPUtime=3153.16 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 62518 0 0 0 311987 3329 0 0 20 0 1 0 168057959 252899328 57770 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61743 57770 2943 2900 0 58257 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 246972 KiB
Current children cumulated memory: 231080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 868915
/proc/meminfo: memFree=112212400/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=246972 memory=231104 CPUtime=3212.99 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 64034 0 0 0 317921 3378 0 0 20 0 1 0 168057959 252899328 57776 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61743 57776 2943 2900 0 58257 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 246972 KiB
Current children cumulated memory: 231104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/254 868925
/proc/meminfo: memFree=112200400/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=247996 memory=231812 CPUtime=3272.81 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 65711 0 0 0 323852 3429 0 0 20 0 1 0 168057959 253947904 57953 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 61999 57953 2943 2900 0 58513 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 247996 KiB
Current children cumulated memory: 231812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 868936
/proc/meminfo: memFree=112135788/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=248764 memory=232292 CPUtime=3332.64 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 67339 0 0 0 329786 3478 0 0 20 0 1 0 168057959 254734336 58073 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 62191 58073 2943 2900 0 58705 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 248764 KiB
Current children cumulated memory: 232292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 868946
/proc/meminfo: memFree=112134244/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=251324 memory=233500 CPUtime=3392.46 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 69182 0 0 0 335723 3523 0 0 20 0 1 0 168057959 257355776 58375 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 62831 58375 2943 2900 0 59345 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 251324 KiB
Current children cumulated memory: 233500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 868960
/proc/meminfo: memFree=112132832/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=251580 memory=234456 CPUtime=3452.29 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 70745 0 0 0 341666 3563 0 0 20 0 1 0 168057959 257617920 58614 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 62895 58614 2943 2900 0 59409 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 251580 KiB
Current children cumulated memory: 234456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.17 4.11 5/256 869523
/proc/meminfo: memFree=122999964/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=251580 memory=234456 CPUtime=3512.12 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 72261 0 0 0 347602 3610 0 0 20 0 1 0 168057959 257617920 58614 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 62895 58614 2943 2900 0 59409 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 251580 KiB
Current children cumulated memory: 234456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.38 4.21 4.13 5/256 869533
/proc/meminfo: memFree=122886360/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=254652 memory=236620 CPUtime=3571.95 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 74026 0 0 0 353534 3661 0 0 20 0 1 0 168057959 260763648 59155 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 63663 59155 2943 2900 0 60177 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 254652 KiB
Current children cumulated memory: 236620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 869628
/proc/meminfo: memFree=126302964/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=255420 memory=237024 CPUtime=3600.06 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 74909 0 0 0 356327 3679 0 0 20 0 1 0 168057959 261550080 59256 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 63855 59256 2943 2900 0 60369 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 255420 KiB
Current children cumulated memory: 237024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 867164 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3563.27 s, system=36.8076 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 869628
/proc/meminfo: memFree=126302964/131524600 swapFree=131071996/131071996
[pid=867164] ppid=867161 vsize=255420 memory=237024 CPUtime=3600.06 cores=4,6
/proc/867164/stat : 867164 (ipbhs_static_sc) R 867161 867164 866976 0 -1 4194304 74909 0 0 0 356327 3679 0 0 20 0 1 0 168057959 261550080 59256 134679101440 4194304 16068861 140733664986880 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55943168 140733664990246 140733664990333 140733664990333 140733664997348 0
/proc/867164/statm: 63855 59256 2943 2900 0 60369 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 255420 KiB
Current children cumulated memory: 237024 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.51
CPU time (s): 3600.08
CPU user time (s): 3563.27
CPU system time (s): 36.8076
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 255752
Max. memory (cumulated for all children) (KiB): 237972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.27
system time used= 36.8076
maximum resident set size= 240048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74909
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= 2
involuntary context switches= 2201
# summary of solver processes directly reported to runsolver:
# pid: 867164
# total CPU time (s): 3600.08
# total CPU user time (s): 3563.27
# total CPU system time (s): 36.8076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3203 second user time and 12.3064 second system time
The end
Begin job on nodeC022 at 2024-07-16 21:42:30
IDJOB=4432115
IDBENCH=158384
IDSOLVER=3057
FILE ID=nodeC022/4432115-1721158938
RUNJOBID= nodeC022-1721158828-866987
SLURM_JOB_ID= 7505771
Free space on /tmp= 889864 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep6.5.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432115-1721158938/watcher-4432115-1721158938 -o /tmp/evaluation-result-4432115-1721158938/solver-4432115-1721158938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866987 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432115-1721158938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb1eb546b1769ca27e4515a55d388d8e
RANDOM SEED=1258517295
nodeC022.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 : 3681.130
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.66
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.850
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.96
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 : 3631.266
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.858
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.856
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.66
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.852
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.96
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 : 3674.290
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.66
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.198
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125003456 kB
MemAvailable: 127680048 kB
Buffers: 410612 kB
Cached: 3077396 kB
SwapCached: 0 kB
Active: 798780 kB
Inactive: 5070664 kB
Active(anon): 1572 kB
Inactive(anon): 2417252 kB
Active(file): 797208 kB
Inactive(file): 2653412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 134992 kB
Writeback: 0 kB
AnonPages: 2380488 kB
Mapped: 132152 kB
Shmem: 37720 kB
KReclaimable: 131240 kB
Slab: 241976 kB
SReclaimable: 131240 kB
SUnreclaim: 110736 kB
KernelStack: 4224 kB
PageTables: 13508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2780880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 495616 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: 240340 kB
DirectMap2M: 26796032 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 889864 MiB
End job on nodeC022 at 2024-07-16 22:42:41