671.41/673.46 c initialize IPBHS solver
671.41/673.46 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
671.41/673.46 c optimizer = "scip"
671.41/673.46 c pbsolver = "roundingsat"
671.41/673.46 c load symmetries from file ""
671.41/673.46 c set time limit for symmetry computation to 100 seconds.
671.41/673.46 c set interchangeable summation variable limit to 3
671.41/673.46 c set abs symmetric core budget per WCE-iteration to 100
671.41/673.46 c set rel symmetric core budget per WCE-iteration to 0
671.41/673.46 c set lit symmetric core budget per WCE-iteration to 0
671.41/673.46 c set sym generation to 's'
671.41/673.46 c set abstraction set creation to 10 iterations without LB change
671.41/673.46 c set abstraction set inputs to 0
671.41/673.46 c set abstraction set cluster min size to 2
671.41/673.46 c set abstraction set cluster max size to 100000000
671.41/673.46 c set abstraction set cluster activation limit to 2
671.41/673.46 c enable abstraction set require equal cost
671.41/673.46 c set abstraction set assumptions to 0
671.41/673.46 c set abstraction set constraint type to 0
671.41/673.46 c set abstract core extraction strategy to b
671.41/673.46 c set core extraction strategy to 2
671.41/673.46 c set core extraction shuffles 10
671.41/673.46 c set cores per iteration to 5
671.41/673.46 c set optimizer bound usage strategy to 2
671.41/673.46 c set optimizer max non-optimal iterations to 1000
671.41/673.46 c set small core cardinality limit to 2
671.41/673.46 c set max coef in cores to 1000000000
671.41/673.46 c set SIS iterations to 5
671.41/673.46 c set SIS budget abs to 1000
671.41/673.46 c set SIS budget rel to 0.05
671.41/673.46 c limit for coefficient in constraints and objective to 9223372036854775807
671.41/673.46 c will solve HOME/instance-4431846-1721094333.opb
671.41/673.46 c [1.45] solve iteration 1, LB=0, UB=494315
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 (62093 MiB free)
memory of node 1: 64473 MiB (63035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431846-1721094333/watcher-4431846-1721094333 -o /tmp/evaluation-result-4431846-1721094333/solver-4431846-1721094333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872423 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431846-1721094333.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=872480, runsolver pid=872469
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.61 4.00 4.06 8/261 872487
/proc/meminfo: memFree=128086632/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=39776 memory=15336 CPUtime=0.09 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 3454 0 0 0 9 0 0 0 20 0 1 0 161601436 40730624 3834 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 9944 3834 1023 2900 0 6458 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 15336 KiB
[startup+0.206713 s]*
/proc/loadavg: 3.61 4.00 4.06 8/261 872487
/proc/meminfo: memFree=128044448/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=49812 memory=25144 CPUtime=0.2 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 5410 0 0 0 19 1 0 0 20 0 1 0 161601436 51007488 6286 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 12453 6286 1023 2900 0 8967 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49812 KiB
Current children cumulated memory: 25144 KiB
[startup+0.305512 s]*
/proc/loadavg: 3.61 4.00 4.06 5/261 872487
/proc/meminfo: memFree=128001104/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=63548 memory=35848 CPUtime=0.3 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 7067 0 0 0 29 1 0 0 20 0 1 0 161601436 65073152 8962 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 15887 8962 1023 2900 0 12401 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63548 KiB
Current children cumulated memory: 35848 KiB
[startup+0.700186 s]
/proc/loadavg: 3.61 4.00 4.06 5/261 872487
/proc/meminfo: memFree=127927280/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=99512 memory=68036 CPUtime=0.69 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 12937 0 0 0 60 9 0 0 20 0 1 0 161601436 101900288 17009 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 24878 17009 1135 2900 0 21392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99512 KiB
Current children cumulated memory: 68036 KiB
[startup+1.50023 s]
/proc/loadavg: 3.61 4.00 4.06 8/261 872487
/proc/meminfo: memFree=127779948/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=181440 memory=149964 CPUtime=1.49 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 26153 0 0 0 105 44 0 0 20 0 1 0 161601436 185794560 37491 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 45360 37491 2383 2900 0 41874 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 181440 KiB
Current children cumulated memory: 149964 KiB
[startup+3.10696 s]
/proc/loadavg: 3.61 4.00 4.06 8/261 872487
/proc/meminfo: memFree=126430176/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=557948 memory=515568 CPUtime=3.09 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 107812 0 0 0 193 116 0 0 20 0 1 0 161601436 571338752 128892 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 139487 128892 2383 2900 0 136001 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 557948 KiB
Current children cumulated memory: 515568 KiB
[startup+6.30023 s]
/proc/loadavg: 3.64 4.00 4.05 8/261 872487
/proc/meminfo: memFree=124088852/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=1303968 memory=1260804 CPUtime=6.28 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 268602 0 0 0 452 176 0 0 20 0 1 0 161601436 1335263232 315201 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 325992 315201 2639 2900 0 322506 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1303968 KiB
Current children cumulated memory: 1260804 KiB
[startup+12.7002 s]
/proc/loadavg: 3.67 4.00 4.05 8/261 872489
/proc/meminfo: memFree=119428080/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=3094520 memory=2797120 CPUtime=12.66 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 282249 0 0 0 1060 206 0 0 20 0 1 0 161601436 3168788480 699280 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 773630 699280 2671 2900 0 770144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3094520 KiB
Current children cumulated memory: 2797120 KiB
[startup+25.5003 s]
/proc/loadavg: 3.88 4.03 4.06 8/261 872490
/proc/meminfo: memFree=117201720/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=3837604 memory=3527160 CPUtime=25.43 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 458273 0 0 0 2303 240 0 0 20 0 1 0 161601436 3929706496 881790 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 959401 881790 2879 2900 0 955915 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3837604 KiB
Current children cumulated memory: 3527160 KiB
[startup+51.1063 s]
/proc/loadavg: 3.98 4.04 4.07 6/261 872587
/proc/meminfo: memFree=110732468/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6334260 memory=5749548 CPUtime=50.96 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 569008 0 0 0 4802 294 0 0 20 0 1 0 161601436 6486282240 1437387 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1583565 1437387 2895 2900 0 1580079 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 6334260 KiB
Current children cumulated memory: 5749548 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.05 4.07 7/261 872688
/proc/meminfo: memFree=110315788/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6534332 memory=5857344 CPUtime=101.99 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 576515 0 0 0 9902 297 0 0 20 0 1 0 161601436 6691155968 1464336 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1633583 1464336 2895 2900 0 1630097 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 6534332 KiB
Current children cumulated memory: 5857344 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.05 4.07 7/261 872836
/proc/meminfo: memFree=110406244/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6606184 memory=5867664 CPUtime=161.81 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 577292 0 0 0 15883 298 0 0 20 0 1 0 161601436 6764732416 1466916 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1651546 1466916 2895 2900 0 1648060 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 6606184 KiB
Current children cumulated memory: 5867664 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.08 7/260 872848
/proc/meminfo: memFree=110250000/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6678040 memory=5877936 CPUtime=221.63 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 578086 0 0 0 21863 300 0 0 20 0 1 0 161601436 6838312960 1469484 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1669510 1469484 2895 2900 0 1666024 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 6678040 KiB
Current children cumulated memory: 5877936 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.10 4.09 7/262 872879
/proc/meminfo: memFree=110208844/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6768432 memory=5906744 CPUtime=281.44 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 578915 0 0 0 27843 301 0 0 20 0 1 0 161601436 6930874368 1476686 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1692108 1476686 2895 2900 0 1688622 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 6768432 KiB
Current children cumulated memory: 5906744 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.12 4.10 7/258 872889
/proc/meminfo: memFree=110198816/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6830024 memory=5906764 CPUtime=341.26 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 579218 0 0 0 33824 302 0 0 20 0 1 0 161601436 6993944576 1476691 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1707506 1476691 2895 2900 0 1704020 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 6830024 KiB
Current children cumulated memory: 5906764 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.13 4.10 7/258 872900
/proc/meminfo: memFree=110190500/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6891616 memory=5907380 CPUtime=401.07 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 579487 0 0 0 39804 303 0 0 20 0 1 0 161601436 7057014784 1476845 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1722904 1476845 2895 2900 0 1719418 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 6891616 KiB
Current children cumulated memory: 5907380 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/258 872913
/proc/meminfo: memFree=110159844/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=6953208 memory=5917644 CPUtime=460.91 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 580247 0 0 0 45787 304 0 0 20 0 1 0 161601436 7120084992 1479411 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 1738302 1479411 2895 2900 0 1734816 0
################
# More data... #
################
Current children cumulated memory: 6544920 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/257 874539
/proc/meminfo: memFree=108185948/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8740184 memory=6549008 CPUtime=2854.22 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 736659 0 0 0 285081 341 0 0 20 0 1 0 161601436 8949948416 1637252 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2185046 1637252 2895 2900 0 2181560 0
Current children cumulated CPU time: 2854.22 s
Current children cumulated vsize: 8740184 KiB
Current children cumulated memory: 6549008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/257 874550
/proc/meminfo: memFree=108183112/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8740184 memory=6551052 CPUtime=2914.07 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 737868 0 0 0 291065 342 0 0 20 0 1 0 161601436 8949948416 1637763 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2185046 1637763 2895 2900 0 2181560 0
Current children cumulated CPU time: 2914.07 s
Current children cumulated vsize: 8740184 KiB
Current children cumulated memory: 6551052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 7/256 874561
/proc/meminfo: memFree=108178340/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8740184 memory=6555140 CPUtime=2973.91 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 738613 0 0 0 297049 342 0 0 20 0 1 0 161601436 8949948416 1638785 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2185046 1638785 2895 2900 0 2181560 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 8740184 KiB
Current children cumulated memory: 6555140 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 7/256 874571
/proc/meminfo: memFree=108175656/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8801784 memory=6557060 CPUtime=3033.72 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 739582 0 0 0 303030 342 0 0 20 0 1 0 161601436 9013026816 1639265 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2200446 1639265 2895 2900 0 2196960 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 8801784 KiB
Current children cumulated memory: 6557060 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 7/256 874584
/proc/meminfo: memFree=108172716/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8863384 memory=6559108 CPUtime=3093.55 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 740412 0 0 0 309012 343 0 0 20 0 1 0 161601436 9076105216 1639777 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2215846 1639777 2895 2900 0 2212360 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 8863384 KiB
Current children cumulated memory: 6559108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/255 874594
/proc/meminfo: memFree=108165532/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6561500 CPUtime=3153.36 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 741261 0 0 0 314993 343 0 0 20 0 1 0 161601436 9139183616 1640375 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1640375 2895 2900 0 2227760 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6561500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/255 874604
/proc/meminfo: memFree=108159980/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3213.17 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 742128 0 0 0 320974 343 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/257 874618
/proc/meminfo: memFree=108159036/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3273.03 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 743093 0 0 0 326960 343 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 7/257 874630
/proc/meminfo: memFree=108158052/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3332.87 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 743770 0 0 0 332943 344 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/257 874641
/proc/meminfo: memFree=108157412/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3392.69 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 744907 0 0 0 338925 344 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 7/258 874653
/proc/meminfo: memFree=108154444/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3452.53 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 745577 0 0 0 344909 344 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/258 874665
/proc/meminfo: memFree=108152364/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3512.38 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 746846 0 0 0 350893 345 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 7/256 874675
/proc/meminfo: memFree=108153468/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3572.21 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 747469 0 0 0 356876 345 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.11 4.10 4.09 7/256 874679
/proc/meminfo: memFree=108152796/131524600 swapFree=131071996/131071996
[pid=872480] ppid=872469 vsize=8924984 memory=6564136 CPUtime=3600.03 cores=5,7
/proc/872480/stat : 872480 (ipbhs_static_sc) R 872469 872480 872410 0 -1 4194304 747753 0 0 0 359658 345 0 0 20 0 1 0 161601436 9139183616 1641034 134679101440 4194304 16068861 140727941577552 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 50880512 140727941579814 140727941579901 140727941579901 140727941586916 0
/proc/872480/statm: 2231246 1641034 2895 2900 0 2227760 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 8924984 KiB
Current children cumulated memory: 6564136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.23 s]
# the end of solver process 872480 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.59 s, system=3.48505 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): 3610.23
CPU time (s): 3600.08
CPU user time (s): 3596.59
CPU system time (s): 3.48505
CPU usage (%): 99.7188
Max. virtual memory (cumulated for all children) (KiB): 8924984
Max. memory (cumulated for all children) (KiB): 6564136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.59
system time used= 3.48505
maximum resident set size= 6564136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747753
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= 42
involuntary context switches= 1123
# summary of solver processes directly reported to runsolver:
# pid: 872480
# total CPU time (s): 3600.08
# total CPU user time (s): 3596.59
# total CPU system time (s): 3.48505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83678 second user time and 20.7897 second system time
The end
Begin job on nodeC030 at 2024-07-16 03:45:46
IDJOB=4431846
IDBENCH=147563
IDSOLVER=3057
FILE ID=nodeC030/4431846-1721094333
RUNJOBID= nodeC030-1721094346-872423
SLURM_JOB_ID= 7505600
Free space on /tmp= 890000 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431846-1721094333/watcher-4431846-1721094333 -o /tmp/evaluation-result-4431846-1721094333/solver-4431846-1721094333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872423 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431846-1721094333.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1315559339
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 : 3883.681
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 : 3724.617
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 : 3778.867
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 : 3747.571
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 : 3698.890
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 : 3783.643
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 : 3667.934
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 : 3609.821
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: 128133640 kB
MemAvailable: 129714272 kB
Buffers: 378752 kB
Cached: 2026876 kB
SwapCached: 0 kB
Active: 895496 kB
Inactive: 1876352 kB
Active(anon): 1440 kB
Inactive(anon): 402500 kB
Active(file): 894056 kB
Inactive(file): 1473852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 308532 kB
Writeback: 16 kB
AnonPages: 365820 kB
Mapped: 103612 kB
Shmem: 37720 kB
KReclaimable: 105092 kB
Slab: 211636 kB
SReclaimable: 105092 kB
SUnreclaim: 106544 kB
KernelStack: 3904 kB
PageTables: 9528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 800944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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= 889808 MiB
End job on nodeC030 at 2024-07-16 04:45:57