2.18/2.25 c initialize IPBHS solver
2.18/2.25 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
2.18/2.25 c optimizer = "scip"
2.18/2.25 c pbsolver = "roundingsat"
2.18/2.25 c load symmetries from file ""
2.18/2.25 c set time limit for symmetry computation to 100 seconds.
2.18/2.25 c set interchangeable summation variable limit to 3
2.18/2.25 c set abs symmetric core budget per WCE-iteration to 100
2.18/2.25 c set rel symmetric core budget per WCE-iteration to 0
2.18/2.25 c set lit symmetric core budget per WCE-iteration to 0
2.18/2.25 c set sym generation to 's'
2.18/2.25 c set abstraction set creation to 10 iterations without LB change
2.18/2.25 c set abstraction set inputs to 0
2.18/2.25 c set abstraction set cluster min size to 2
2.18/2.25 c set abstraction set cluster max size to 100000000
2.18/2.25 c set abstraction set cluster activation limit to 2
2.18/2.25 c enable abstraction set require equal cost
2.18/2.25 c set abstraction set assumptions to 0
2.18/2.25 c set abstraction set constraint type to 0
2.18/2.25 c set abstract core extraction strategy to b
2.18/2.25 c set core extraction strategy to 2
2.18/2.25 c set core extraction shuffles 10
2.18/2.25 c set cores per iteration to 5
2.18/2.25 c set optimizer bound usage strategy to 2
2.18/2.25 c set optimizer max non-optimal iterations to 1000
2.18/2.25 c set small core cardinality limit to 2
2.18/2.25 c set max coef in cores to 1000000000
2.18/2.25 c set SIS iterations to 5
2.18/2.25 c set SIS budget abs to 1000
2.18/2.25 c set SIS budget rel to 0.05
2.18/2.25 c limit for coefficient in constraints and objective to 9223372036854775807
2.18/2.25 c will solve HOME/instance-4432108-1721160990.opb
2.18/2.25 c [0.01] solve iteration 1, LB=0, UB=212
2.18/2.25 c [2.01] solve iteration 2, LB=0, UB=79
3465.50/3473.26 c [2333.47] solve iteration 3, LB=12, UB=79
3465.50/3473.26 c [2497.05] solve iteration 4, LB=12, UB=79
3465.50/3473.26 c [2581.6] solve iteration 5, LB=12, UB=79
3465.50/3473.26 c [2710.9] solve iteration 6, LB=12, UB=78
3465.50/3473.26 c [2867.09] solve iteration 7, LB=12, UB=78
3465.50/3473.26 c [2932.3] solve iteration 8, LB=12, UB=78
3465.50/3473.26 c [2999.58] solve iteration 9, LB=22, UB=78
3465.50/3473.26 c [3137.99] solve iteration 10, LB=22, UB=78
3465.50/3473.26 c [3221.7] solve iteration 11, LB=22, UB=78
3465.50/3473.26 c [3245.82] solve iteration 12, LB=22, UB=78
3465.50/3473.26 c [3395.43] solve iteration 13, LB=22, UB=78
3465.50/3473.26 c [3418.37] solve iteration 14, LB=22, UB=77
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 (61949 MiB free)
memory of node 1: 64473 MiB (62923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432108-1721160990/watcher-4432108-1721160990 -o /tmp/evaluation-result-4432108-1721160990/solver-4432108-1721160990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721153783-910754 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432108-1721160990.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=914900, runsolver pid=914897
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.06 4.14 4.11 5/255 914901
/proc/meminfo: memFree=127843716/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=53248 memory=35248 CPUtime=0.09 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 6973 0 0 0 7 2 0 0 20 0 1 0 168267163 54525952 8812 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 13312 8812 2383 2900 0 9826 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53248 KiB
Current children cumulated memory: 35248 KiB
[startup+0.205605 s]*
/proc/loadavg: 4.06 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127817784/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=79744 memory=61992 CPUtime=0.2 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 12819 0 0 0 17 3 0 0 20 0 1 0 168267163 81657856 15498 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 19936 15498 2703 2900 0 16450 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79744 KiB
Current children cumulated memory: 61992 KiB
[startup+0.305526 s]*
/proc/loadavg: 4.06 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127817636/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=79744 memory=61992 CPUtime=0.29 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 12850 0 0 0 26 3 0 0 20 0 1 0 168267163 81657856 15498 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 19936 15498 2703 2900 0 16450 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79744 KiB
Current children cumulated memory: 61992 KiB
[startup+0.700161 s]
/proc/loadavg: 4.06 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127817160/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=81212 memory=63572 CPUtime=0.69 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 13200 0 0 0 64 5 0 0 20 0 1 0 168267163 83161088 15893 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 20303 15893 2703 2900 0 16817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81212 KiB
Current children cumulated memory: 63572 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127815796/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=81776 memory=64364 CPUtime=1.49 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 13430 0 0 0 142 7 0 0 20 0 1 0 168267163 83738624 16091 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 20444 16091 2703 2900 0 16958 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81776 KiB
Current children cumulated memory: 64364 KiB
[startup+3.1054 s]
/proc/loadavg: 4.06 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127810400/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=86500 memory=68808 CPUtime=3.09 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 18060 0 0 0 291 18 0 0 20 0 1 0 168267163 88576000 17202 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 21625 17202 2911 2900 0 18139 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 86500 KiB
Current children cumulated memory: 68808 KiB
[startup+6.30014 s]
/proc/loadavg: 4.05 4.14 4.11 5/255 914903
/proc/meminfo: memFree=127806208/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=86764 memory=69068 CPUtime=6.28 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 18130 0 0 0 603 25 0 0 20 0 1 0 168267163 88846336 17267 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 21691 17267 2911 2900 0 18205 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 69068 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.14 4.11 5/255 914904
/proc/meminfo: memFree=127803252/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=89880 memory=70332 CPUtime=12.66 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 18437 0 0 0 1226 40 0 0 20 0 1 0 168267163 92037120 17583 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 22470 17583 2911 2900 0 18984 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 89880 KiB
Current children cumulated memory: 70332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.11 5/256 914907
/proc/meminfo: memFree=127789048/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=90276 memory=73160 CPUtime=25.43 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 18585 0 0 0 2480 63 0 0 20 0 1 0 168267163 92442624 18290 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 22569 18290 2911 2900 0 19083 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90276 KiB
Current children cumulated memory: 73160 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.13 4.11 5/256 914912
/proc/meminfo: memFree=127770696/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=99280 memory=80964 CPUtime=50.98 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 20038 0 0 0 4971 127 0 0 20 0 1 0 168267163 101662720 20241 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 24820 20241 2911 2900 0 21334 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 80964 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 914921
/proc/meminfo: memFree=127748824/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=113524 memory=89760 CPUtime=102.07 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 22244 0 0 0 9943 264 0 0 20 0 1 0 168267163 116248576 22440 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 28381 22440 2911 2900 0 24895 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 113524 KiB
Current children cumulated memory: 89760 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 914931
/proc/meminfo: memFree=127715780/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=119776 memory=98396 CPUtime=161.91 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 23920 0 0 0 15788 403 0 0 20 0 1 0 168267163 122650624 24599 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 29944 24599 2911 2900 0 26458 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 119776 KiB
Current children cumulated memory: 98396 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/258 914945
/proc/meminfo: memFree=127693856/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=122712 memory=110148 CPUtime=221.77 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 24709 0 0 0 21624 553 0 0 20 0 1 0 168267163 125657088 27537 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 30678 27537 2911 2900 0 27192 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 122712 KiB
Current children cumulated memory: 110148 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 914956
/proc/meminfo: memFree=127671092/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=124200 memory=111592 CPUtime=281.64 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 25116 0 0 0 27466 698 0 0 20 0 1 0 168267163 127180800 27898 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 31050 27898 2911 2900 0 27564 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 111592 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 914967
/proc/meminfo: memFree=127646496/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=143008 memory=124776 CPUtime=341.51 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 27419 0 0 0 33376 775 0 0 20 0 1 0 168267163 146440192 31194 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 35752 31194 2911 2900 0 32266 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 143008 KiB
Current children cumulated memory: 124776 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 914978
/proc/meminfo: memFree=127635748/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=145692 memory=131616 CPUtime=401.38 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 28130 0 0 0 39259 879 0 0 20 0 1 0 168267163 149188608 32904 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 36423 32904 2911 2900 0 32937 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 145692 KiB
Current children cumulated memory: 131616 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 914990
/proc/meminfo: memFree=127631100/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=147240 memory=133052 CPUtime=461.26 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 28561 0 0 0 45125 1001 0 0 20 0 1 0 168267163 150773760 33263 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 36810 33263 2911 2900 0 33324 0
################
# More data... #
################
Current children cumulated memory: 270172 KiB
[startup+2862.3 s]
/proc/loadavg: 4.32 4.26 4.20 5/257 916662
/proc/meminfo: memFree=127386836/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=300312 memory=272812 CPUtime=2855.97 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 99983 0 0 0 281422 4175 0 0 20 0 1 0 168267163 307519488 68203 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 75078 68203 2927 2900 0 71592 0
Current children cumulated CPU time: 2855.97 s
Current children cumulated vsize: 300312 KiB
Current children cumulated memory: 272812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/256 916673
/proc/meminfo: memFree=127379204/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=304116 memory=276620 CPUtime=2915.84 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 101697 0 0 0 287358 4226 0 0 20 0 1 0 168267163 311414784 69155 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 76029 69155 2927 2900 0 72543 0
Current children cumulated CPU time: 2915.84 s
Current children cumulated vsize: 304116 KiB
Current children cumulated memory: 276620 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/255 916683
/proc/meminfo: memFree=127367840/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=307948 memory=280560 CPUtime=2975.7 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 103454 0 0 0 293293 4277 0 0 20 0 1 0 168267163 315338752 70140 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 76987 70140 2927 2900 0 73501 0
Current children cumulated CPU time: 2975.7 s
Current children cumulated vsize: 307948 KiB
Current children cumulated memory: 280560 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/255 916694
/proc/meminfo: memFree=127354248/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=311504 memory=287196 CPUtime=3035.56 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 104451 0 0 0 299227 4329 0 0 20 0 1 0 168267163 318980096 71799 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 77876 71799 2943 2900 0 74390 0
Current children cumulated CPU time: 3035.56 s
Current children cumulated vsize: 311504 KiB
Current children cumulated memory: 287196 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/256 916705
/proc/meminfo: memFree=127341228/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=314204 memory=289252 CPUtime=3095.42 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 105790 0 0 0 305166 4376 0 0 20 0 1 0 168267163 321744896 72313 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 78551 72313 2943 2900 0 75065 0
Current children cumulated CPU time: 3095.42 s
Current children cumulated vsize: 314204 KiB
Current children cumulated memory: 289252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/256 916715
/proc/meminfo: memFree=127304820/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=314972 memory=289748 CPUtime=3155.28 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 107449 0 0 0 311114 4414 0 0 20 0 1 0 168267163 322531328 72437 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 78743 72437 2943 2900 0 75257 0
Current children cumulated CPU time: 3155.28 s
Current children cumulated vsize: 314972 KiB
Current children cumulated memory: 289748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/259 916730
/proc/meminfo: memFree=127238912/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=322132 memory=295192 CPUtime=3215.15 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 110330 0 0 0 317035 4480 0 0 20 0 1 0 168267163 329863168 73798 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 80533 73798 2943 2900 0 77047 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 322132 KiB
Current children cumulated memory: 295192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/259 916742
/proc/meminfo: memFree=127199420/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=331044 memory=303676 CPUtime=3275.02 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 114733 0 0 0 322953 4549 0 0 20 0 1 0 168267163 338989056 75919 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 82761 75919 2943 2900 0 79275 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 331044 KiB
Current children cumulated memory: 303676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/259 916753
/proc/meminfo: memFree=127187252/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=333092 memory=306268 CPUtime=3334.89 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 116785 0 0 0 328900 4589 0 0 20 0 1 0 168267163 341086208 76567 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 83273 76567 2943 2900 0 79787 0
Current children cumulated CPU time: 3334.89 s
Current children cumulated vsize: 333092 KiB
Current children cumulated memory: 306268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/258 916764
/proc/meminfo: memFree=127176268/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=333604 memory=306444 CPUtime=3394.76 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 117662 0 0 0 334843 4633 0 0 20 0 1 0 168267163 341610496 76611 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 83401 76611 2943 2900 0 79915 0
Current children cumulated CPU time: 3394.76 s
Current children cumulated vsize: 333604 KiB
Current children cumulated memory: 306444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/258 916775
/proc/meminfo: memFree=127155644/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=341632 memory=313404 CPUtime=3454.62 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 120978 0 0 0 340769 4693 0 0 20 0 1 0 168267163 349831168 78351 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 85408 78351 2943 2900 0 81922 0
Current children cumulated CPU time: 3454.62 s
Current children cumulated vsize: 341632 KiB
Current children cumulated memory: 313404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/258 916785
/proc/meminfo: memFree=127147392/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=343136 memory=315908 CPUtime=3514.49 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 122295 0 0 0 346701 4748 0 0 20 0 1 0 168267163 351371264 78977 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 85784 78977 2943 2900 0 82298 0
Current children cumulated CPU time: 3514.49 s
Current children cumulated vsize: 343136 KiB
Current children cumulated memory: 315908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/256 916797
/proc/meminfo: memFree=127128284/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=347616 memory=320152 CPUtime=3574.35 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 124728 0 0 0 352549 4886 0 0 20 0 1 0 168267163 355958784 80038 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 86904 80038 2943 2900 0 83418 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 347616 KiB
Current children cumulated memory: 320152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608 s]*
/proc/loadavg: 4.03 4.11 4.15 3/242 916862
/proc/meminfo: memFree=127520052/131524600 swapFree=131071996/131071996
[pid=914900] ppid=914897 vsize=348360 memory=320756 CPUtime=3600 cores=5,7
/proc/914900/stat : 914900 (ipbhs_static_sc) R 914897 914900 910741 0 -1 4194304 124944 0 0 0 355078 4922 0 0 20 0 1 0 168267163 356720640 80189 134679101440 4194304 16068861 140732920056672 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 44974080 140732920058918 140732920059005 140732920059005 140732920066020 0
/proc/914900/statm: 87090 80189 2943 2900 0 83604 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 348360 KiB
Current children cumulated memory: 320756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.01 s]
# the end of solver process 914900 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3550.79 s, system=49.2287 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): 3608.01
CPU time (s): 3600.02
CPU user time (s): 3550.79
CPU system time (s): 49.2287
CPU usage (%): 99.7785
Max. virtual memory (cumulated for all children) (KiB): 348360
Max. memory (cumulated for all children) (KiB): 320756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.79
system time used= 49.2287
maximum resident set size= 321016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124944
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= 63
involuntary context switches= 2450
# summary of solver processes directly reported to runsolver:
# pid: 914900
# total CPU time (s): 3600.02
# total CPU user time (s): 3550.79
# total CPU system time (s): 49.2287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72928 second user time and 15.3116 second system time
The end
Begin job on nodeC030 at 2024-07-16 22:16:44
IDJOB=4432108
IDBENCH=158395
IDSOLVER=3057
FILE ID=nodeC030/4432108-1721160990
RUNJOBID= nodeC030-1721153783-910754
SLURM_JOB_ID= 7505759
Free space on /tmp= 889920 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432108-1721160990/watcher-4432108-1721160990 -o /tmp/evaluation-result-4432108-1721160990/solver-4432108-1721160990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721153783-910754 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432108-1721160990.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=836665656
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 : 3675.555
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 : 3678.159
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.825
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 : 3600.063
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 : 3675.547
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 : 3669.884
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 : 3600.183
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 : 3681.732
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: 127870328 kB
MemAvailable: 129501148 kB
Buffers: 411528 kB
Cached: 2042356 kB
SwapCached: 0 kB
Active: 941024 kB
Inactive: 2086888 kB
Active(anon): 1540 kB
Inactive(anon): 609892 kB
Active(file): 939484 kB
Inactive(file): 1476996 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 110060 kB
Writeback: 0 kB
AnonPages: 573364 kB
Mapped: 136888 kB
Shmem: 37720 kB
KReclaimable: 108328 kB
Slab: 217136 kB
SReclaimable: 108328 kB
SUnreclaim: 108808 kB
KernelStack: 4144 kB
PageTables: 10672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 932036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64896 kB
HardwareCorrupted: 0 kB
AnonHugePages: 290816 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= 889976 MiB
End job on nodeC030 at 2024-07-16 23:16:52