8.67/8.78 c initialize IPBHS solver
8.67/8.78 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
8.67/8.78 c optimizer = "scip"
8.67/8.78 c pbsolver = "roundingsat"
8.67/8.78 c load symmetries from file ""
8.67/8.78 c set time limit for symmetry computation to 100 seconds.
8.67/8.78 c set interchangeable summation variable limit to 3
8.67/8.78 c set abs symmetric core budget per WCE-iteration to 100
8.67/8.78 c set rel symmetric core budget per WCE-iteration to 0
8.67/8.78 c set lit symmetric core budget per WCE-iteration to 0
8.67/8.78 c set sym generation to 's'
8.67/8.78 c set abstraction set creation to 10 iterations without LB change
8.67/8.78 c set abstraction set inputs to 0
8.67/8.78 c set abstraction set cluster min size to 2
8.67/8.78 c set abstraction set cluster max size to 100000000
8.67/8.78 c set abstraction set cluster activation limit to 2
8.67/8.78 c enable abstraction set require equal cost
8.67/8.78 c set abstraction set assumptions to 0
8.67/8.78 c set abstraction set constraint type to 0
8.67/8.78 c set abstract core extraction strategy to b
8.67/8.78 c set core extraction strategy to 2
8.67/8.78 c set core extraction shuffles 10
8.67/8.78 c set cores per iteration to 5
8.67/8.78 c set optimizer bound usage strategy to 2
8.67/8.78 c set optimizer max non-optimal iterations to 1000
8.67/8.78 c set small core cardinality limit to 2
8.67/8.78 c set max coef in cores to 1000000000
8.67/8.78 c set SIS iterations to 5
8.67/8.78 c set SIS budget abs to 1000
8.67/8.78 c set SIS budget rel to 0.05
8.67/8.78 c limit for coefficient in constraints and objective to 9223372036854775807
8.67/8.78 c will solve HOME/instance-4431835-1721075550.opb
8.67/8.78 c [0.03] solve iteration 1, LB=0, UB=1960
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: 64096 MiB (63015 MiB free)
memory of node 1: 64473 MiB (61825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431835-1721075550/watcher-4431835-1721075550 -o /tmp/evaluation-result-4431835-1721075550/solver-4431835-1721075550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431835-1721075550.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=819718, runsolver pid=819715
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 3.91 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127818780/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=47636 memory=29128 CPUtime=0.1 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 4868 0 0 0 7 3 0 0 20 0 1 0 159713868 48779264 7282 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 11909 7282 2639 2900 0 8423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47636 KiB
Current children cumulated memory: 29128 KiB
[startup+0.212974 s]*
/proc/loadavg: 3.91 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127810044/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=59936 memory=38864 CPUtime=0.22 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 7358 0 0 0 18 4 0 0 20 0 1 0 159713868 61374464 9716 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 14984 9716 2863 2900 0 11498 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 59936 KiB
Current children cumulated memory: 38864 KiB
[startup+0.312927 s]*
/proc/loadavg: 3.91 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127801308/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=71596 memory=47884 CPUtime=0.31 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 9540 0 0 0 27 4 0 0 20 0 1 0 159713868 73314304 11971 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 17899 11971 2879 2900 0 14413 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71596 KiB
Current children cumulated memory: 47884 KiB
[startup+0.700308 s]
/proc/loadavg: 3.91 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127797612/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=77020 memory=52948 CPUtime=0.69 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 10838 0 0 0 65 4 0 0 20 0 1 0 159713868 78868480 13237 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 19255 13237 2895 2900 0 15769 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77020 KiB
Current children cumulated memory: 52948 KiB
[startup+1.50031 s]
/proc/loadavg: 3.92 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127794252/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=80024 memory=55568 CPUtime=1.48 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 11487 0 0 0 144 4 0 0 20 0 1 0 159713868 81944576 13892 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 20006 13892 2895 2900 0 16520 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 55568 KiB
[startup+3.11271 s]
/proc/loadavg: 3.92 4.07 4.11 5/244 819719
/proc/meminfo: memFree=127786240/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=86852 memory=61112 CPUtime=3.1 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 12884 0 0 0 305 5 0 0 20 0 1 0 159713868 88936448 15278 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 21713 15278 2895 2900 0 18227 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 86852 KiB
Current children cumulated memory: 61112 KiB
[startup+6.30031 s]
/proc/loadavg: 4.01 4.09 4.11 5/244 819719
/proc/meminfo: memFree=127762048/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=111536 memory=84344 CPUtime=6.28 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 18693 0 0 0 622 6 0 0 20 0 1 0 159713868 114212864 21086 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 27884 21086 2895 2900 0 24398 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 111536 KiB
Current children cumulated memory: 84344 KiB
[startup+12.7003 s]
/proc/loadavg: 4.01 4.09 4.11 5/244 819721
/proc/meminfo: memFree=127742332/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=127060 memory=96512 CPUtime=12.66 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 22399 0 0 0 1260 6 0 0 20 0 1 0 159713868 130109440 24128 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 31765 24128 2895 2900 0 28279 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 127060 KiB
Current children cumulated memory: 96512 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.11 5/244 819768
/proc/meminfo: memFree=127708580/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=129108 memory=99940 CPUtime=25.42 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 23231 0 0 0 2536 6 0 0 20 0 1 0 159713868 132206592 24985 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 32277 24985 2895 2900 0 28791 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 129108 KiB
Current children cumulated memory: 99940 KiB
[startup+51.1127 s]
/proc/loadavg: 4.13 4.11 4.11 5/244 819773
/proc/meminfo: memFree=127653588/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=159976 memory=127240 CPUtime=50.97 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 30116 0 0 0 5090 7 0 0 20 0 1 0 159713868 163815424 31810 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 39994 31810 2895 2900 0 36508 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 159976 KiB
Current children cumulated memory: 127240 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/243 819826
/proc/meminfo: memFree=127730372/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=177800 memory=144192 CPUtime=102.03 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 35898 0 0 0 10195 8 0 0 20 0 1 0 159713868 182067200 36048 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 44450 36048 2895 2900 0 40964 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 177800 KiB
Current children cumulated memory: 144192 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/242 819837
/proc/meminfo: memFree=127682648/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=201012 memory=162936 CPUtime=161.88 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 42043 0 0 0 16178 10 0 0 20 0 1 0 159713868 205836288 40734 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 50253 40734 2895 2900 0 46767 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 201012 KiB
Current children cumulated memory: 162936 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/241 819848
/proc/meminfo: memFree=127628076/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=214692 memory=176496 CPUtime=221.71 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 44695 0 0 0 22161 10 0 0 20 0 1 0 159713868 219844608 44124 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 53673 44124 2895 2900 0 50187 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 214692 KiB
Current children cumulated memory: 176496 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 819858
/proc/meminfo: memFree=127596480/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=226972 memory=204120 CPUtime=281.55 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 48029 0 0 0 28144 11 0 0 20 0 1 0 159713868 232419328 51030 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 56743 51030 2895 2900 0 53257 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 226972 KiB
Current children cumulated memory: 204120 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/241 819868
/proc/meminfo: memFree=127569872/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=238204 memory=221656 CPUtime=341.39 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 50850 0 0 0 34128 11 0 0 20 0 1 0 159713868 243920896 55414 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 59551 55414 2895 2900 0 56065 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 238204 KiB
Current children cumulated memory: 221656 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/241 819879
/proc/meminfo: memFree=127540232/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=238204 memory=221724 CPUtime=401.24 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 51105 0 0 0 40113 11 0 0 20 0 1 0 159713868 243920896 55431 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 59551 55431 2895 2900 0 56065 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 238204 KiB
Current children cumulated memory: 221724 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/242 819890
/proc/meminfo: memFree=127504940/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=239572 memory=222588 CPUtime=461.07 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 51405 0 0 0 46096 11 0 0 20 0 1 0 159713868 245321728 55647 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 59893 55647 2895 2900 0 56407 0
################
# More data... #
################
Current children cumulated memory: 377508 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.17 4.19 5/241 820892
/proc/meminfo: memFree=126853240/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=406072 CPUtime=2853.89 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 101480 0 0 0 285370 19 0 0 20 0 1 0 159713868 435716096 101518 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 101518 2895 2900 0 102890 0
Current children cumulated CPU time: 2853.89 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 406072 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/244 820907
/proc/meminfo: memFree=126824420/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=406296 CPUtime=2913.71 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 101689 0 0 0 291352 19 0 0 20 0 1 0 159713868 435716096 101574 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 101574 2895 2900 0 102890 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 406296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/244 820919
/proc/meminfo: memFree=126790484/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=406540 CPUtime=2973.53 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 101893 0 0 0 297334 19 0 0 20 0 1 0 159713868 435716096 101635 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 101635 2895 2900 0 102890 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 406540 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/244 820929
/proc/meminfo: memFree=126771256/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408492 CPUtime=3033.36 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 102096 0 0 0 303317 19 0 0 20 0 1 0 159713868 435716096 102123 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102123 2895 2900 0 102890 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/244 820986
/proc/meminfo: memFree=127056336/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408572 CPUtime=3093.22 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 102285 0 0 0 309303 19 0 0 20 0 1 0 159713868 435716096 102143 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102143 2895 2900 0 102890 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 820997
/proc/meminfo: memFree=127030024/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408752 CPUtime=3153.07 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 102496 0 0 0 315288 19 0 0 20 0 1 0 159713868 435716096 102188 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102188 2895 2900 0 102890 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.11 4.16 5/243 821392
/proc/meminfo: memFree=127017824/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408852 CPUtime=3212.92 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 102688 0 0 0 321273 19 0 0 20 0 1 0 159713868 435716096 102213 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102213 2895 2900 0 102890 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/243 821402
/proc/meminfo: memFree=127004916/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408944 CPUtime=3272.77 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 102873 0 0 0 327258 19 0 0 20 0 1 0 159713868 435716096 102236 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102236 2895 2900 0 102890 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 821412
/proc/meminfo: memFree=126981080/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408944 CPUtime=3332.62 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103043 0 0 0 333243 19 0 0 20 0 1 0 159713868 435716096 102236 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102236 2895 2900 0 102890 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/244 821592
/proc/meminfo: memFree=126974392/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408944 CPUtime=3392.47 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103210 0 0 0 339228 19 0 0 20 0 1 0 159713868 435716096 102236 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102236 2895 2900 0 102890 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/244 821602
/proc/meminfo: memFree=126963500/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=408944 CPUtime=3452.32 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103381 0 0 0 345213 19 0 0 20 0 1 0 159713868 435716096 102236 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102236 2895 2900 0 102890 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 408944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/246 821671
/proc/meminfo: memFree=126950196/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=409136 CPUtime=3512.18 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103600 0 0 0 351198 20 0 0 20 0 1 0 159713868 435716096 102284 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102284 2895 2900 0 102890 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 409136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/246 821682
/proc/meminfo: memFree=126938912/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=409220 CPUtime=3572.03 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103783 0 0 0 357183 20 0 0 20 0 1 0 159713868 435716096 102305 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102305 2895 2900 0 102890 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 409220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.10 4.11 4.14 5/246 821688
/proc/meminfo: memFree=126930896/131655788 swapFree=131071996/131071996
[pid=819718] ppid=819715 vsize=425504 memory=409220 CPUtime=3600.06 cores=5,7
/proc/819718/stat : 819718 (ipbhs_static_sc) R 819715 819718 815879 0 -1 4194304 103832 0 0 0 359986 20 0 0 20 0 1 0 159713868 435716096 102305 134679101440 4194304 16068861 140720617626816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 35340288 140720617632806 140720617632893 140720617632893 140720617639908 0
/proc/819718/statm: 106376 102305 2895 2900 0 102890 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 425504 KiB
Current children cumulated memory: 409220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 819718 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.86 s, system=0.205328 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.4
CPU time (s): 3600.07
CPU user time (s): 3599.86
CPU system time (s): 0.205328
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 426528
Max. memory (cumulated for all children) (KiB): 409220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.205328
maximum resident set size= 409252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103832
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= 50
involuntary context switches= 1757
# summary of solver processes directly reported to runsolver:
# pid: 819718
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.86
# total CPU system time (s): 0.205328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1986 second user time and 33.3501 second system time
The end
Begin job on nodeC005 at 2024-07-15 22:32:42
IDJOB=4431835
IDBENCH=147521
IDSOLVER=3057
FILE ID=nodeC005/4431835-1721075550
RUNJOBID= nodeC005-1721071938-815892
SLURM_JOB_ID= 7505537
Free space on /tmp= 723624 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431835-1721075550/watcher-4431835-1721075550 -o /tmp/evaluation-result-4431835-1721075550/solver-4431835-1721075550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431835-1721075550.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=720072074
nodeC005.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 : 3668.616
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.53
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 : 3672.612
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.35
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.341
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.53
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.221
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.35
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 : 3670.608
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.53
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 : 1197.178
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.35
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.223
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.53
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.180
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127837780 kB
MemAvailable: 129484752 kB
Buffers: 361792 kB
Cached: 2110732 kB
SwapCached: 0 kB
Active: 646556 kB
Inactive: 2606592 kB
Active(anon): 3440 kB
Inactive(anon): 814936 kB
Active(file): 643116 kB
Inactive(file): 1791656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 108296 kB
Writeback: 12 kB
AnonPages: 777420 kB
Mapped: 139448 kB
Shmem: 37704 kB
KReclaimable: 104800 kB
Slab: 205788 kB
SReclaimable: 104800 kB
SUnreclaim: 100988 kB
KernelStack: 4000 kB
PageTables: 10724 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1193384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 571392 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: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC005 at 2024-07-15 23:32:53