46.49/46.61 c initialize IPBHS solver
46.49/46.61 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
46.49/46.61 c optimizer = "scip"
46.49/46.61 c pbsolver = "roundingsat"
46.49/46.61 c load symmetries from file ""
46.49/46.61 c set time limit for symmetry computation to 100 seconds.
46.49/46.61 c set interchangeable summation variable limit to 3
46.49/46.61 c set abs symmetric core budget per WCE-iteration to 100
46.49/46.61 c set rel symmetric core budget per WCE-iteration to 0
46.49/46.61 c set lit symmetric core budget per WCE-iteration to 0
46.49/46.61 c set sym generation to 's'
46.49/46.61 c set abstraction set creation to 10 iterations without LB change
46.49/46.61 c set abstraction set inputs to 0
46.49/46.61 c set abstraction set cluster min size to 2
46.49/46.61 c set abstraction set cluster max size to 100000000
46.49/46.61 c set abstraction set cluster activation limit to 2
46.49/46.61 c enable abstraction set require equal cost
46.49/46.61 c set abstraction set assumptions to 0
46.49/46.61 c set abstraction set constraint type to 0
46.49/46.61 c set abstract core extraction strategy to b
46.49/46.61 c set core extraction strategy to 2
46.49/46.61 c set core extraction shuffles 10
46.49/46.61 c set cores per iteration to 5
46.49/46.61 c set optimizer bound usage strategy to 2
46.49/46.61 c set optimizer max non-optimal iterations to 1000
46.49/46.61 c set small core cardinality limit to 2
46.49/46.61 c set max coef in cores to 1000000000
46.49/46.61 c set SIS iterations to 5
46.49/46.61 c set SIS budget abs to 1000
46.49/46.61 c set SIS budget rel to 0.05
46.49/46.61 c limit for coefficient in constraints and objective to 9223372036854775807
46.49/46.61 c will solve HOME/instance-4432144-1721174399.opb
46.49/46.61 c [0.06] solve iteration 1, LB=-79235167, UB=240399499713
46.49/46.61 c [9.98] solve iteration 2, LB=394203337, UB=13706256974
46.49/46.61 c [45.14] solve iteration 3, LB=3246827440, UB=13706256974
63.14/63.35 c [60.19] solve iteration 4, LB=3643110680, UB=13706256974
95.36/95.62 c [93.89] solve iteration 5, LB=4039233142, UB=13706256974
349.05/350.03 c [345.32] solve iteration 6, LB=4514644149, UB=13706256974
498.42/499.88 c [494.46] solve iteration 7, LB=4514644224, UB=13706256974
631.85/633.62 c [626.57] solve iteration 8, LB=4514697614, UB=13706256974
1792.74/1797.81 c [1787.83] solve iteration 9, LB=4910820064, UB=13706256974
2279.87/2286.58 c [2274.82] solve iteration 10, LB=4910873492, UB=13706256974
2479.84/2487.16 c [2474.72] solve iteration 11, LB=4910873494, UB=13706256974
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 (61848 MiB free)
memory of node 1: 64473 MiB (62875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432144-1721174399/watcher-4432144-1721174399 -o /tmp/evaluation-result-4432144-1721174399/solver-4432144-1721174399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721174388-923039 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432144-1721174399.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=923521, runsolver pid=923518
[startup+0.100274 s]*
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127701616/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=43920 memory=19168 CPUtime=0.09 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 4493 0 0 0 9 0 0 0 20 0 1 0 169608036 44974080 4792 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 10980 4792 1023 2900 0 7494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43920 KiB
Current children cumulated memory: 19168 KiB
[startup+0.205807 s]*
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127688248/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=58724 memory=32544 CPUtime=0.2 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 6831 0 0 0 19 1 0 0 20 0 1 0 169608036 60133376 8136 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 14681 8136 1023 2900 0 11195 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58724 KiB
Current children cumulated memory: 32544 KiB
[startup+0.305724 s]*
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127678748/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=72880 memory=41456 CPUtime=0.29 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 8579 0 0 0 28 1 0 0 20 0 1 0 169608036 74629120 10364 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 18220 10364 1023 2900 0 14734 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 41456 KiB
[startup+0.700194 s]
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127655056/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=113092 memory=83160 CPUtime=0.68 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 15308 0 0 0 53 15 0 0 20 0 1 0 169608036 115806208 20790 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 28273 20790 1135 2900 0 24787 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113092 KiB
Current children cumulated memory: 83160 KiB
[startup+1.50024 s]
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127398616/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=458576 memory=414568 CPUtime=1.49 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 95235 0 0 0 118 31 0 0 20 0 1 0 169608036 469581824 103642 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 114644 103642 2655 2900 0 111158 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 458576 KiB
Current children cumulated memory: 414568 KiB
[startup+3.10595 s]
/proc/loadavg: 3.98 4.07 4.05 5/260 923523
/proc/meminfo: memFree=127303456/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=458576 memory=415624 CPUtime=3.08 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 95489 0 0 0 276 32 0 0 20 0 1 0 169608036 469581824 103906 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 114644 103906 2655 2900 0 111158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 458576 KiB
Current children cumulated memory: 415624 KiB
[startup+6.30018 s]
/proc/loadavg: 3.98 4.07 4.05 5/260 923523
/proc/meminfo: memFree=127285012/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=458576 memory=415624 CPUtime=6.27 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 95503 0 0 0 593 34 0 0 20 0 1 0 169608036 469581824 103906 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 114644 103906 2655 2900 0 111158 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 458576 KiB
Current children cumulated memory: 415624 KiB
[startup+12.7002 s]
/proc/loadavg: 3.99 4.07 4.04 5/260 923525
/proc/meminfo: memFree=127155516/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=551748 memory=511836 CPUtime=12.66 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 119335 0 0 0 1226 40 0 0 20 0 1 0 169608036 564989952 127959 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 137937 127959 2927 2900 0 134451 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 551748 KiB
Current children cumulated memory: 511836 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.06 4.04 5/260 923526
/proc/meminfo: memFree=127070748/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=551748 memory=512084 CPUtime=25.43 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 119352 0 0 0 2498 45 0 0 20 0 1 0 169608036 564989952 128021 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 137937 128021 2927 2900 0 134451 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 551748 KiB
Current children cumulated memory: 512084 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.07 4.05 5/259 923543
/proc/meminfo: memFree=126855200/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=685868 memory=655096 CPUtime=50.99 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 155155 0 0 0 5044 55 0 0 20 0 1 0 169608036 702328832 163774 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 171467 163774 2927 2900 0 167981 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 685868 KiB
Current children cumulated memory: 655096 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/259 923554
/proc/meminfo: memFree=126585088/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=708728 memory=675092 CPUtime=102.05 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 160342 0 0 0 10141 64 0 0 20 0 1 0 169608036 725737472 168773 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 177182 168773 3247 2900 0 173696 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 708728 KiB
Current children cumulated memory: 675092 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/259 923564
/proc/meminfo: memFree=126467488/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=708728 memory=675684 CPUtime=161.88 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 160544 0 0 0 16123 65 0 0 20 0 1 0 169608036 725737472 168921 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 177182 168921 3247 2900 0 173696 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 708728 KiB
Current children cumulated memory: 675684 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/257 923576
/proc/meminfo: memFree=126395236/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=721324 memory=687916 CPUtime=221.7 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 163606 0 0 0 22104 66 0 0 20 0 1 0 169608036 738635776 171979 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 180331 171979 3247 2900 0 176845 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 721324 KiB
Current children cumulated memory: 687916 KiB
[startup+282.3 s]
/proc/loadavg: 3.53 3.93 4.00 4/250 923617
/proc/meminfo: memFree=126772964/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=729104 memory=695504 CPUtime=281.53 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 165528 0 0 0 28087 66 0 0 20 0 1 0 169608036 746602496 173876 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 182276 173876 3247 2900 0 178790 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 729104 KiB
Current children cumulated memory: 695504 KiB
[startup+342.3 s]
/proc/loadavg: 3.27 3.78 3.94 4/248 923629
/proc/meminfo: memFree=126644056/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=751480 memory=718592 CPUtime=341.35 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 170270 0 0 0 34067 68 0 0 20 0 1 0 169608036 769515520 179648 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 187870 179648 3247 2900 0 184384 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 751480 KiB
Current children cumulated memory: 718592 KiB
[startup+402.3 s]
/proc/loadavg: 3.15 3.65 3.89 4/248 923639
/proc/meminfo: memFree=126599124/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=751480 memory=718592 CPUtime=401.19 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 170305 0 0 0 40046 73 0 0 20 0 1 0 169608036 769515520 179648 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 187870 179648 3247 2900 0 184384 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 751480 KiB
Current children cumulated memory: 718592 KiB
[startup+462.3 s]
/proc/loadavg: 3.10 3.54 3.83 4/248 923650
/proc/meminfo: memFree=126505168/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=751480 memory=718592 CPUtime=461.02 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 170309 0 0 0 46029 73 0 0 20 0 1 0 169608036 769515520 179648 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 187870 179648 3247 2900 0 184384 0
################
# More data... #
################
Current children cumulated memory: 1127256 KiB
[startup+2922.3 s]
/proc/loadavg: 3.22 3.14 3.16 4/248 924713
/proc/meminfo: memFree=124260788/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1183092 memory=1154364 CPUtime=2913.67 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 279855 0 0 0 291223 144 0 0 20 0 1 0 169608036 1211486208 288591 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 295773 288591 3247 2900 0 292287 0
Current children cumulated CPU time: 2913.67 s
Current children cumulated vsize: 1183092 KiB
Current children cumulated memory: 1154364 KiB
[startup+2982.3 s]
/proc/loadavg: 3.23 3.15 3.16 4/249 924725
/proc/meminfo: memFree=124212820/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1232232 memory=1200872 CPUtime=2973.47 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 291937 0 0 0 297201 146 0 0 20 0 1 0 169608036 1261805568 300218 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 308058 300218 3247 2900 0 304572 0
Current children cumulated CPU time: 2973.47 s
Current children cumulated vsize: 1232232 KiB
Current children cumulated memory: 1200872 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.14 3.16 4/251 924741
/proc/meminfo: memFree=124166920/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1276196 memory=1243520 CPUtime=3033.28 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 302966 0 0 0 303179 149 0 0 20 0 1 0 169608036 1306824704 310880 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 319049 310880 3247 2900 0 315563 0
Current children cumulated CPU time: 3033.28 s
Current children cumulated vsize: 1276196 KiB
Current children cumulated memory: 1243520 KiB
[startup+3102.3 s]
/proc/loadavg: 3.22 3.16 3.16 4/251 924751
/proc/meminfo: memFree=124122208/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1310720 memory=1276500 CPUtime=3093.08 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 311577 0 0 0 309158 150 0 0 20 0 1 0 169608036 1342177280 319125 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 327680 319125 3247 2900 0 324194 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 1310720 KiB
Current children cumulated memory: 1276500 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.14 3.16 4/251 924761
/proc/meminfo: memFree=124062252/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1332084 memory=1297512 CPUtime=3152.88 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 317198 0 0 0 315137 151 0 0 20 0 1 0 169608036 1364054016 324378 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 333021 324378 3247 2900 0 329535 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 1332084 KiB
Current children cumulated memory: 1297512 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.15 3.16 4/251 924772
/proc/meminfo: memFree=123937176/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1351180 memory=1315000 CPUtime=3212.68 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 321915 0 0 0 321116 152 0 0 20 0 1 0 169608036 1383608320 328750 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 337795 328750 3247 2900 0 334309 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 1351180 KiB
Current children cumulated memory: 1315000 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.13 3.15 4/251 924784
/proc/meminfo: memFree=123845888/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1365512 memory=1329468 CPUtime=3272.49 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 325966 0 0 0 327096 153 0 0 20 0 1 0 169608036 1398284288 332367 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 341378 332367 3247 2900 0 337892 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 1365512 KiB
Current children cumulated memory: 1329468 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.12 3.14 4/251 925181
/proc/meminfo: memFree=123759560/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1394128 memory=1357820 CPUtime=3332.29 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 333426 0 0 0 333075 154 0 0 20 0 1 0 169608036 1427587072 339455 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 348532 339455 3247 2900 0 345046 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 1394128 KiB
Current children cumulated memory: 1357820 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.11 3.14 4/251 925191
/proc/meminfo: memFree=123540364/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1415812 memory=1378720 CPUtime=3392.1 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 339052 0 0 0 339055 155 0 0 20 0 1 0 169608036 1449791488 344680 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 353953 344680 3247 2900 0 350467 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 1415812 KiB
Current children cumulated memory: 1378720 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.11 3.13 4/251 925202
/proc/meminfo: memFree=123528296/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1415812 memory=1379828 CPUtime=3451.9 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 339656 0 0 0 345035 155 0 0 20 0 1 0 169608036 1449791488 344957 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 353953 344957 3247 2900 0 350467 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 1415812 KiB
Current children cumulated memory: 1379828 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.10 3.13 4/251 925380
/proc/meminfo: memFree=123522216/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1419652 memory=1384664 CPUtime=3511.71 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 341221 0 0 0 351015 156 0 0 20 0 1 0 169608036 1453723648 346166 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 354913 346166 3247 2900 0 351427 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 1419652 KiB
Current children cumulated memory: 1384664 KiB
[startup+3582.3 s]
/proc/loadavg: 3.06 3.09 3.12 4/251 925391
/proc/meminfo: memFree=123509700/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1432120 memory=1396768 CPUtime=3571.51 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 344564 0 0 0 356995 156 0 0 20 0 1 0 169608036 1466490880 349192 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 358030 349192 3247 2900 0 354544 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 1432120 KiB
Current children cumulated memory: 1396768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 2.48 2.96 3.07 2/237 925460
/proc/meminfo: memFree=126916220/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1434100 memory=1398404 CPUtime=3600.04 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 345224 0 0 0 359848 156 0 0 20 0 1 0 169608036 1468518400 349601 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 358525 349601 3247 2900 0 355039 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1434100 KiB
Current children cumulated memory: 1398404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 923521 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.48 s, system=1.58703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 2.48 2.96 3.07 2/237 925460
/proc/meminfo: memFree=126916220/131524600 swapFree=131071996/131071996
[pid=923521] ppid=923518 vsize=1434100 memory=1398404 CPUtime=3600.04 cores=1,3
/proc/923521/stat : 923521 (ipbhs_static_sc) R 923518 923521 918585 0 -1 4194304 345224 0 0 0 359848 156 0 0 20 0 1 0 169608036 1468518400 349601 134679101440 4194304 16068861 140720802879280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30720000 140720802882598 140720802882685 140720802882685 140720802889700 0
/proc/923521/statm: 358525 349601 3247 2900 0 355039 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1434100 KiB
Current children cumulated memory: 1398404 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.92
CPU time (s): 3600.07
CPU user time (s): 3598.48
CPU system time (s): 1.58703
CPU usage (%): 99.6996
Max. virtual memory (cumulated for all children) (KiB): 1434100
Max. memory (cumulated for all children) (KiB): 1398404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.58703
maximum resident set size= 1398484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345224
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= 86
involuntary context switches= 2825
# summary of solver processes directly reported to runsolver:
# pid: 923521
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.48
# total CPU system time (s): 1.58703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62082 second user time and 17.0361 second system time
The end
Begin job on nodeC030 at 2024-07-17 02:00:12
IDJOB=4432144
IDBENCH=161896
IDSOLVER=3057
FILE ID=nodeC030/4432144-1721174399
RUNJOBID= nodeC030-1721174388-923039
SLURM_JOB_ID= 7505796
Free space on /tmp= 889912 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432144-1721174399/watcher-4432144-1721174399 -o /tmp/evaluation-result-4432144-1721174399/solver-4432144-1721174399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721174388-923039 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432144-1721174399.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ed226c068d5e24ee91dcf11039aef97
RANDOM SEED=875945410
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 : 3679.867
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.28
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 : 3686.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3599.819
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.28
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 : 3669.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3679.846
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.28
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 : 3683.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
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.28
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 : 3599.970
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127717072 kB
MemAvailable: 129340356 kB
Buffers: 415936 kB
Cached: 2030872 kB
SwapCached: 0 kB
Active: 943484 kB
Inactive: 2238008 kB
Active(anon): 1540 kB
Inactive(anon): 770540 kB
Active(file): 941944 kB
Inactive(file): 1467468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 62820 kB
Writeback: 44 kB
AnonPages: 734076 kB
Mapped: 138748 kB
Shmem: 37720 kB
KReclaimable: 107392 kB
Slab: 215648 kB
SReclaimable: 107392 kB
SUnreclaim: 108256 kB
KernelStack: 4160 kB
PageTables: 10544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1028292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 284672 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC030 at 2024-07-17 03:00:23