24.53/24.66 c initialize IPBHS solver
24.53/24.66 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
24.53/24.66 c optimizer = "scip"
24.53/24.66 c pbsolver = "roundingsat"
24.53/24.66 c load symmetries from file ""
24.53/24.66 c set time limit for symmetry computation to 100 seconds.
24.53/24.66 c set interchangeable summation variable limit to 3
24.53/24.66 c set abs symmetric core budget per WCE-iteration to 100
24.53/24.66 c set rel symmetric core budget per WCE-iteration to 0
24.53/24.66 c set lit symmetric core budget per WCE-iteration to 0
24.53/24.66 c set sym generation to 's'
24.53/24.66 c set abstraction set creation to 10 iterations without LB change
24.53/24.66 c set abstraction set inputs to 0
24.53/24.66 c set abstraction set cluster min size to 2
24.53/24.66 c set abstraction set cluster max size to 100000000
24.53/24.66 c set abstraction set cluster activation limit to 2
24.53/24.66 c enable abstraction set require equal cost
24.53/24.66 c set abstraction set assumptions to 0
24.53/24.66 c set abstraction set constraint type to 0
24.53/24.66 c set abstract core extraction strategy to b
24.53/24.66 c set core extraction strategy to 2
24.53/24.66 c set core extraction shuffles 10
24.53/24.66 c set cores per iteration to 5
24.53/24.66 c set optimizer bound usage strategy to 2
24.53/24.66 c set optimizer max non-optimal iterations to 1000
24.53/24.66 c set small core cardinality limit to 2
24.53/24.66 c set max coef in cores to 1000000000
24.53/24.66 c set SIS iterations to 5
24.53/24.66 c set SIS budget abs to 1000
24.53/24.66 c set SIS budget rel to 0.05
24.53/24.66 c limit for coefficient in constraints and objective to 9223372036854775807
24.53/24.66 c will solve HOME/instance-4432026-1721119246.opb
24.53/24.66 c [0.07] solve iteration 1, LB=-109612, UB=60997
365.12/366.09 c [338.56] solve iteration 2, LB=-10615, UB=-9876
786.69/788.66 c [745.07] solve iteration 3, LB=-10597, UB=-9954
1068.12/1070.70 c [1040.34] solve iteration 4, LB=-10594, UB=-9999
1417.47/1420.99 c [1384.14] solve iteration 5, LB=-10574, UB=-9999
2067.42/2072.56 c [2031.74] solve iteration 6, LB=-10568, UB=-9999
2554.71/2561.28 c [2520.45] solve iteration 7, LB=-10564, UB=-9999
2925.76/2933.34 c [2890.9] solve iteration 8, LB=-10561, UB=-10116
3278.56/3287.17 c [3239.38] solve iteration 9, LB=-10558, UB=-10116
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: 64059 MiB (61856 MiB free)
memory of node 1: 64510 MiB (62476 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432026-1721119246/watcher-4432026-1721119246 -o /tmp/evaluation-result-4432026-1721119246/solver-4432026-1721119246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432026-1721119246.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
Current StackSize limit: 8192 KiB
solver pid=838992, runsolver pid=838989
[startup+0.100103 s]*
/proc/loadavg: 4.34 4.19 4.17 5/245 838993
/proc/meminfo: memFree=127300616/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=45340 memory=29192 CPUtime=0.1 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 4835 0 0 0 7 3 0 0 20 0 1 0 164081288 46428160 7298 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 11335 7298 2399 2900 0 7849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45340 KiB
Current children cumulated memory: 29192 KiB
[startup+0.212963 s]*
/proc/loadavg: 4.34 4.19 4.17 6/245 838993
/proc/meminfo: memFree=127272912/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=74648 memory=58972 CPUtime=0.21 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 12388 0 0 0 13 8 0 0 20 0 1 0 164081288 76439552 14743 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 18662 14743 2575 2900 0 15176 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74648 KiB
Current children cumulated memory: 58972 KiB
[startup+0.312847 s]*
/proc/loadavg: 4.31 4.19 4.17 5/245 838993
/proc/meminfo: memFree=127247880/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=95484 memory=79072 CPUtime=0.31 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 17356 0 0 0 22 9 0 0 20 0 1 0 164081288 97775616 19768 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 23871 19768 2655 2900 0 20385 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95484 KiB
Current children cumulated memory: 79072 KiB
[startup+0.700333 s]
/proc/loadavg: 4.31 4.19 4.17 5/245 838993
/proc/meminfo: memFree=127207732/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=192196 memory=163904 CPUtime=0.69 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 34579 0 0 0 56 13 0 0 20 0 1 0 164081288 196808704 40976 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 48049 40976 2799 2900 0 44563 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192196 KiB
Current children cumulated memory: 163904 KiB
[startup+1.50032 s]
/proc/loadavg: 4.31 4.19 4.17 6/245 838993
/proc/meminfo: memFree=127160492/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=196848 memory=167868 CPUtime=1.49 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 35512 0 0 0 136 13 0 0 20 0 1 0 164081288 201572352 41967 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 49212 41967 2879 2900 0 45726 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 196848 KiB
Current children cumulated memory: 167868 KiB
[startup+3.11278 s]
/proc/loadavg: 4.31 4.19 4.17 6/245 838993
/proc/meminfo: memFree=127158220/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=197820 memory=169316 CPUtime=3.09 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 35991 0 0 0 296 13 0 0 20 0 1 0 164081288 202567680 42329 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 49455 42329 2879 2900 0 45969 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197820 KiB
Current children cumulated memory: 169316 KiB
[startup+6.30031 s]
/proc/loadavg: 4.29 4.18 4.17 6/245 838995
/proc/meminfo: memFree=127156300/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=200012 memory=171332 CPUtime=6.27 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 36552 0 0 0 614 13 0 0 20 0 1 0 164081288 204812288 42833 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 50003 42833 2879 2900 0 46517 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 200012 KiB
Current children cumulated memory: 171332 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.18 4.17 6/245 838995
/proc/meminfo: memFree=127134768/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=317120 memory=278252 CPUtime=12.66 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 58117 0 0 0 1249 17 0 0 20 0 1 0 164081288 324730880 69563 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 79280 69563 2895 2900 0 75794 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 317120 KiB
Current children cumulated memory: 278252 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.17 4.17 6/245 838996
/proc/meminfo: memFree=127015080/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=353284 memory=312100 CPUtime=25.42 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 68175 0 0 0 2524 18 0 0 20 0 1 0 164081288 361762816 78025 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 88321 78025 2911 2900 0 84835 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 353284 KiB
Current children cumulated memory: 312100 KiB
[startup+51.1128 s]
/proc/loadavg: 4.19 4.17 4.17 6/245 839001
/proc/meminfo: memFree=127012368/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=353284 memory=312100 CPUtime=50.98 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 68181 0 0 0 5079 19 0 0 20 0 1 0 164081288 361762816 78025 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 88321 78025 2911 2900 0 84835 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 353284 KiB
Current children cumulated memory: 312100 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.17 6/245 839011
/proc/meminfo: memFree=126999140/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=353284 memory=312336 CPUtime=102.05 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 68250 0 0 0 10186 19 0 0 20 0 1 0 164081288 361762816 78084 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 88321 78084 2911 2900 0 84835 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 353284 KiB
Current children cumulated memory: 312336 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.17 6/245 839021
/proc/meminfo: memFree=126976340/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=373264 memory=331048 CPUtime=161.91 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 78909 0 0 0 16170 21 0 0 20 0 1 0 164081288 382222336 82762 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 93316 82762 2911 2900 0 89830 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 373264 KiB
Current children cumulated memory: 331048 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.16 6/244 839031
/proc/meminfo: memFree=126956596/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=389992 memory=348204 CPUtime=221.77 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 83247 0 0 0 22156 21 0 0 20 0 1 0 164081288 399351808 87051 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 97498 87051 2911 2900 0 94012 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 389992 KiB
Current children cumulated memory: 348204 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.15 6/242 839042
/proc/meminfo: memFree=126914880/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=419548 memory=377500 CPUtime=281.62 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 97936 0 0 0 28138 24 0 0 20 0 1 0 164081288 429617152 94375 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 104887 94375 2911 2900 0 101401 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 419548 KiB
Current children cumulated memory: 377500 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.15 6/242 839053
/proc/meminfo: memFree=126902548/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=430472 memory=387572 CPUtime=341.47 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 99960 0 0 0 34120 27 0 0 20 0 1 0 164081288 440803328 96893 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 107618 96893 2943 2900 0 104132 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 430472 KiB
Current children cumulated memory: 387572 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.15 6/242 839063
/proc/meminfo: memFree=126855272/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=472292 memory=430232 CPUtime=401.31 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 107603 0 0 0 40102 29 0 0 20 0 1 0 164081288 483627008 107558 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 118073 107558 2943 2900 0 114587 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 472292 KiB
Current children cumulated memory: 430232 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.14 4.15 6/242 839073
/proc/meminfo: memFree=126859308/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=466764 memory=425988 CPUtime=461.15 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 110509 0 0 0 46086 29 0 0 20 0 1 0 164081288 477966336 106497 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 116691 106497 2943 2900 0 113205 0
################
# More data... #
################
Current children cumulated memory: 603088 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/245 840817
/proc/meminfo: memFree=126631476/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603088 CPUtime=2854.97 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 170473 0 0 0 285447 50 0 0 20 0 1 0 164081288 647970816 150772 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150772 2943 2900 0 154710 0
Current children cumulated CPU time: 2854.97 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603088 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/245 840828
/proc/meminfo: memFree=126628784/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=2914.79 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 170972 0 0 0 291426 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/248 840897
/proc/meminfo: memFree=126627944/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=2974.62 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 171150 0 0 0 297409 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/248 840907
/proc/meminfo: memFree=126627440/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=3034.45 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 171391 0 0 0 303392 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/248 840918
/proc/meminfo: memFree=126627180/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=3094.29 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 171686 0 0 0 309376 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/246 840928
/proc/meminfo: memFree=126624220/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=3154.12 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 171936 0 0 0 315359 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/246 840938
/proc/meminfo: memFree=126616064/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=632784 memory=603512 CPUtime=3213.94 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 172236 0 0 0 321341 53 0 0 20 0 1 0 164081288 647970816 150878 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 158196 150878 2943 2900 0 154710 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 632784 KiB
Current children cumulated memory: 603512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/246 840951
/proc/meminfo: memFree=126557680/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=652916 memory=613148 CPUtime=3273.77 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 173954 0 0 0 327322 55 0 0 20 0 1 0 164081288 668585984 153287 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 163229 153287 2943 2900 0 159743 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 652916 KiB
Current children cumulated memory: 613148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/243 840962
/proc/meminfo: memFree=126542000/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=666832 memory=627988 CPUtime=3333.6 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 177854 0 0 0 333304 56 0 0 20 0 1 0 164081288 682835968 156997 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 166708 156997 2943 2900 0 163222 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 666832 KiB
Current children cumulated memory: 627988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 840972
/proc/meminfo: memFree=126494208/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=693128 memory=655040 CPUtime=3393.45 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 184893 0 0 0 339288 57 0 0 20 0 1 0 164081288 709763072 163760 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 173282 163760 2943 2900 0 169796 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 693128 KiB
Current children cumulated memory: 655040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/243 840982
/proc/meminfo: memFree=126482060/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=694684 memory=655932 CPUtime=3453.31 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 185256 0 0 0 345274 57 0 0 20 0 1 0 164081288 711356416 163983 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 173671 163983 2943 2900 0 170185 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 694684 KiB
Current children cumulated memory: 655932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 840993
/proc/meminfo: memFree=126444568/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=738076 memory=699608 CPUtime=3513.18 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 196419 0 0 0 351259 59 0 0 20 0 1 0 164081288 755789824 174902 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 184519 174902 2943 2900 0 181033 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 738076 KiB
Current children cumulated memory: 699608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/245 841007
/proc/meminfo: memFree=126443000/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=738076 memory=700180 CPUtime=3573.04 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 196769 0 0 0 357245 59 0 0 20 0 1 0 164081288 755789824 175045 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 184519 175045 2943 2900 0 181033 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 738076 KiB
Current children cumulated memory: 700180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.20 4.14 4.10 5/245 841013
/proc/meminfo: memFree=126448236/131655788 swapFree=131071996/131071996
[pid=838992] ppid=838989 vsize=738076 memory=700180 CPUtime=3600.08 cores=4,6
/proc/838992/stat : 838992 (ipbhs_static_sc) R 838989 838992 833747 0 -1 4194304 196873 0 0 0 359949 59 0 0 20 0 1 0 164081288 755789824 175045 134679101440 4194304 16068861 140733743842656 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39903232 140733743846438 140733743846525 140733743846525 140733743853540 0
/proc/838992/statm: 184519 175045 2943 2900 0 181033 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 738076 KiB
Current children cumulated memory: 700180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 838992 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.49 s, system=0.602623 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.41
CPU time (s): 3600.1
CPU user time (s): 3599.49
CPU system time (s): 0.602623
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 738076
Max. memory (cumulated for all children) (KiB): 700180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.602623
maximum resident set size= 700180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196873
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= 66
involuntary context switches= 2266
# summary of solver processes directly reported to runsolver:
# pid: 838992
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.49
# total CPU system time (s): 0.602623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4154 second user time and 33.4531 second system time
The end
Begin job on nodeC007 at 2024-07-16 10:40:59
IDJOB=4432026
IDBENCH=155343
IDSOLVER=3057
FILE ID=nodeC007/4432026-1721119246
RUNJOBID= nodeC007-1721113771-833758
SLURM_JOB_ID= 7505647
Free space on /tmp= 723604 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432026-1721119246/watcher-4432026-1721119246 -o /tmp/evaluation-result-4432026-1721119246/solver-4432026-1721119246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432026-1721119246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=485959611
nodeC007.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 : 0xb00001f
cpu MHz : 3654.886
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3656.483
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.301
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.330
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 3668.586
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3663.304
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.135
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.344
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127317712 kB
MemAvailable: 128741356 kB
Buffers: 404252 kB
Cached: 1848420 kB
SwapCached: 0 kB
Active: 732264 kB
Inactive: 3049852 kB
Active(anon): 1460 kB
Inactive(anon): 1565728 kB
Active(file): 730804 kB
Inactive(file): 1484124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54792 kB
Writeback: 0 kB
AnonPages: 1526332 kB
Mapped: 136444 kB
Shmem: 37704 kB
KReclaimable: 97492 kB
Slab: 194748 kB
SReclaimable: 97492 kB
SUnreclaim: 97256 kB
KernelStack: 3936 kB
PageTables: 12232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1838928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1380352 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723560 MiB
End job on nodeC007 at 2024-07-16 11:41:08