0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4452785-1721448955.opb>
0.00/0.08 c original problem has 46580 variables (46580 bin, 0 int, 0 impl, 0 cont) and 9317 constraints
0.00/0.08 c problem read in 0.08
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.20 c presolving:
0.20/0.24 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.30 c (0.3s) running MILP presolver
0.29/0.35 c (0.3s) MILP presolver found nothing
0.40/0.46 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9162 upgd conss, 0 impls, 0 clqs
0.50/0.52 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9278 upgd conss, 0 impls, 0 clqs
0.50/0.53 c (round 4, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9317 upgd conss, 0 impls, 0 clqs
0.88/0.98 c (1.0s) probing: 51/46580 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.03 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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 (61531 MiB free)
memory of node 1: 64473 MiB (61107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452785-1721448955/watcher-4452785-1721448955 -o /tmp/evaluation-result-4452785-1721448955/solver-4452785-1721448955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044306 --watchdog 3760 pbscip -f HOME/instance-4452785-1721448955.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045430, runsolver pid=1045427
[startup+0.100369 s]*
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125514240/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=126640 memory=86580 CPUtime=0.09 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 18537 0 0 0 7 2 0 0 20 0 1 0 197060469 129679360 21645 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 31660 21645 3500 3540 0 19917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 126640 KiB
Current children cumulated memory: 86580 KiB
[startup+0.205439 s]*
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125451512/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=191012 memory=144628 CPUtime=0.2 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 33059 0 0 0 16 4 0 0 20 0 1 0 197060469 195596288 36157 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 47753 36157 3532 3540 0 36010 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 191012 KiB
Current children cumulated memory: 144628 KiB
[startup+0.305426 s]*
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125431856/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=220976 memory=174428 CPUtime=0.29 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 43183 0 0 0 24 5 0 0 20 0 1 0 197060469 226279424 43607 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 55244 43607 3627 3540 0 43501 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 220976 KiB
Current children cumulated memory: 174428 KiB
[startup+0.700242 s]
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125378972/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=268992 memory=221376 CPUtime=0.68 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 57247 0 0 0 61 7 0 0 20 0 1 0 197060469 275447808 55344 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 67248 55344 3739 3540 0 55505 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 268992 KiB
Current children cumulated memory: 221376 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125375248/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=531776 memory=395592 CPUtime=1.48 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 98887 0 0 0 135 13 0 0 20 0 1 0 197060469 544538624 98898 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 132944 98898 3755 3540 0 121201 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 531776 KiB
Current children cumulated memory: 395592 KiB
[startup+3.10525 s]
/proc/loadavg: 4.09 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=125032652/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=710632 memory=574320 CPUtime=3.08 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 143599 0 0 0 288 20 0 0 20 0 1 0 197060469 727687168 143580 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 177658 143580 3755 3540 0 165915 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 710632 KiB
Current children cumulated memory: 574320 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.09 3.83 5/254 1045431
/proc/meminfo: memFree=124726724/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1034000 memory=897984 CPUtime=6.27 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 224462 0 0 0 593 34 0 0 20 0 1 0 197060469 1058816000 224496 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 258500 224496 3755 3540 0 246757 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1034000 KiB
Current children cumulated memory: 897984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 3.84 5/254 1045432
/proc/meminfo: memFree=124493552/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1234752 memory=1107848 CPUtime=12.67 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 274923 0 0 0 1223 44 0 0 20 0 1 0 197060469 1264386048 276962 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 308688 276962 3755 3540 0 296945 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1234752 KiB
Current children cumulated memory: 1107848 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 3.84 5/254 1045434
/proc/meminfo: memFree=124399236/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1317736 memory=1198240 CPUtime=25.44 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 296348 0 0 0 2495 49 0 0 20 0 1 0 197060469 1349361664 299560 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 329434 299560 3755 3540 0 317691 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1317736 KiB
Current children cumulated memory: 1198240 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.09 3.85 5/254 1045438
/proc/meminfo: memFree=124296084/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1418192 memory=1298560 CPUtime=51 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 321431 0 0 0 5045 55 0 0 20 0 1 0 197060469 1452228608 324640 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 354548 324640 3755 3540 0 342805 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1418192 KiB
Current children cumulated memory: 1298560 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 3.87 5/254 1045448
/proc/meminfo: memFree=124173612/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539032 memory=1419736 CPUtime=102.09 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351731 0 0 0 10142 67 0 0 20 0 1 0 197060469 1575968768 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384758 354934 3755 3540 0 373015 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 1539032 KiB
Current children cumulated memory: 1419736 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 3.88 5/254 1045458
/proc/meminfo: memFree=124172848/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539036 memory=1419736 CPUtime=161.99 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351732 0 0 0 16121 78 0 0 20 0 1 0 197060469 1575972864 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384759 354934 3755 3540 0 373016 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 1539036 KiB
Current children cumulated memory: 1419736 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 3.91 5/257 1045473
/proc/meminfo: memFree=124172392/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539040 memory=1419736 CPUtime=221.87 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351733 0 0 0 22099 88 0 0 20 0 1 0 197060469 1575976960 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384760 354934 3755 3540 0 373017 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 1539040 KiB
Current children cumulated memory: 1419736 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.15 3.93 5/257 1045485
/proc/meminfo: memFree=124171856/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539044 memory=1419736 CPUtime=281.76 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351734 0 0 0 28078 98 0 0 20 0 1 0 197060469 1575981056 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384761 354934 3755 3540 0 373018 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 1539044 KiB
Current children cumulated memory: 1419736 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 3.94 5/257 1045496
/proc/meminfo: memFree=124167668/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539044 memory=1419736 CPUtime=341.65 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351734 0 0 0 34057 108 0 0 20 0 1 0 197060469 1575981056 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384761 354934 3755 3540 0 373018 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 1539044 KiB
Current children cumulated memory: 1419736 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 3.96 5/257 1045506
/proc/meminfo: memFree=124164804/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539048 memory=1419736 CPUtime=401.54 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351735 0 0 0 40036 118 0 0 20 0 1 0 197060469 1575985152 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384762 354934 3755 3540 0 373019 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 1539048 KiB
Current children cumulated memory: 1419736 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 1045517
/proc/meminfo: memFree=124164536/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539052 memory=1419736 CPUtime=461.43 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 351736 0 0 0 46015 128 0 0 20 0 1 0 197060469 1575989248 354934 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384763 354934 3755 3540 0 373020 0
################
# More data... #
################
Current children cumulated memory: 1435196 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 1047272
/proc/meminfo: memFree=123249520/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539112 memory=1435200 CPUtime=2916.92 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354432 0 0 0 291486 206 0 0 20 0 1 0 197060469 1576050688 358800 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384778 358800 3755 3540 0 373035 0
Current children cumulated CPU time: 2916.92 s
Current children cumulated vsize: 1539112 KiB
Current children cumulated memory: 1435200 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 1047282
/proc/meminfo: memFree=123249016/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539112 memory=1435200 CPUtime=2976.81 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354541 0 0 0 297475 206 0 0 20 0 1 0 197060469 1576050688 358800 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384778 358800 3755 3540 0 373035 0
Current children cumulated CPU time: 2976.81 s
Current children cumulated vsize: 1539112 KiB
Current children cumulated memory: 1435200 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1047292
/proc/meminfo: memFree=123248636/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539112 memory=1435200 CPUtime=3036.71 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354636 0 0 0 303465 206 0 0 20 0 1 0 197060469 1576050688 358800 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384778 358800 3755 3540 0 373035 0
Current children cumulated CPU time: 3036.71 s
Current children cumulated vsize: 1539112 KiB
Current children cumulated memory: 1435200 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 1047303
/proc/meminfo: memFree=123247956/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539116 memory=1435200 CPUtime=3096.6 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354746 0 0 0 309454 206 0 0 20 0 1 0 197060469 1576054784 358800 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384779 358800 3755 3540 0 373036 0
Current children cumulated CPU time: 3096.6 s
Current children cumulated vsize: 1539116 KiB
Current children cumulated memory: 1435200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1047313
/proc/meminfo: memFree=123247536/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539116 memory=1435204 CPUtime=3156.49 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354843 0 0 0 315443 206 0 0 20 0 1 0 197060469 1576054784 358801 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384779 358801 3755 3540 0 373036 0
Current children cumulated CPU time: 3156.49 s
Current children cumulated vsize: 1539116 KiB
Current children cumulated memory: 1435204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 1047323
/proc/meminfo: memFree=123247112/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539116 memory=1435204 CPUtime=3216.38 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 354952 0 0 0 321432 206 0 0 20 0 1 0 197060469 1576054784 358801 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384779 358801 3755 3540 0 373036 0
Current children cumulated CPU time: 3216.38 s
Current children cumulated vsize: 1539116 KiB
Current children cumulated memory: 1435204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.10 4.09 6/258 1048856
/proc/meminfo: memFree=123476252/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539116 memory=1435204 CPUtime=3276.27 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355052 0 0 0 327421 206 0 0 20 0 1 0 197060469 1576054784 358801 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384779 358801 3755 3540 0 373036 0
Current children cumulated CPU time: 3276.27 s
Current children cumulated vsize: 1539116 KiB
Current children cumulated memory: 1435204 KiB
[startup+3342.3 s]
/proc/loadavg: 5.23 4.42 4.20 6/258 1048867
/proc/meminfo: memFree=123475332/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539116 memory=1435204 CPUtime=3336.16 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355162 0 0 0 333410 206 0 0 20 0 1 0 197060469 1576054784 358801 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384779 358801 3755 3540 0 373036 0
Current children cumulated CPU time: 3336.16 s
Current children cumulated vsize: 1539116 KiB
Current children cumulated memory: 1435204 KiB
[startup+3402.3 s]
/proc/loadavg: 5.17 4.56 4.27 6/258 1048877
/proc/meminfo: memFree=123474912/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3396.05 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355265 0 0 0 339399 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3396.05 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
[startup+3462.3 s]
/proc/loadavg: 5.13 4.65 4.32 6/258 1048888
/proc/meminfo: memFree=123474400/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3455.94 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355376 0 0 0 345388 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3455.94 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
[startup+3522.3 s]
/proc/loadavg: 5.43 4.81 4.40 7/260 1048946
/proc/meminfo: memFree=124417380/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3515.82 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355479 0 0 0 351376 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3515.82 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
[startup+3582.3 s]
/proc/loadavg: 5.87 5.06 4.51 7/258 1048956
/proc/meminfo: memFree=124414640/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3575.68 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355592 0 0 0 357362 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3575.68 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.7 s]
/proc/loadavg: 5.97 5.15 4.56 7/258 1048959
/proc/meminfo: memFree=124414656/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3600.03 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355625 0 0 0 359797 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.71 s]
# the end of solver process 1045430 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.97 s, system=2.06662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.7 s]
/proc/loadavg: 5.97 5.15 4.56 7/258 1048959
/proc/meminfo: memFree=124414656/131524600 swapFree=131070704/131071996
[pid=1045430] ppid=1045427 vsize=1539120 memory=1435208 CPUtime=3600.03 cores=1,3
/proc/1045430/stat : 1045430 (pbscip) R 1045427 1045430 1044294 0 -1 4194304 355625 0 0 0 359797 206 0 0 20 0 1 0 197060469 1576058880 358802 134679101440 4194304 18693293 140734794664336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40202240 140734794667010 140734794667109 140734794667109 140734794674126 0
/proc/1045430/statm: 384780 358802 3755 3540 0 373037 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1539120 KiB
Current children cumulated memory: 1435208 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3606.71
CPU time (s): 3600.04
CPU user time (s): 3597.97
CPU system time (s): 2.06662
CPU usage (%): 99.8151
Max. virtual memory (cumulated for all children) (KiB): 1539120
Max. memory (cumulated for all children) (KiB): 1435208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.06662
maximum resident set size= 1435208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355625
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= 21
involuntary context switches= 1263
# summary of solver processes directly reported to runsolver:
# pid: 1045430
# total CPU time (s): 3600.04
# total CPU user time (s): 3597.97
# total CPU system time (s): 2.06662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84662 second user time and 16.3947 second system time
The end
Begin job on nodeC023 at 2024-07-20 06:16:08
IDJOB=4452785
IDBENCH=165317
IDSOLVER=3059
FILE ID=nodeC023/4452785-1721448955
RUNJOBID= nodeC023-1721447234-1044306
SLURM_JOB_ID= 7545676
Free space on /tmp= 890024 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452785-1721448955/watcher-4452785-1721448955 -o /tmp/evaluation-result-4452785-1721448955/solver-4452785-1721448955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044306 --watchdog 3760 pbscip -f HOME/instance-4452785-1721448955.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=1769555095
nodeC023.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 : 3658.458
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.61
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 : 3668.033
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.48
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 : 3600.050
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.61
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 : 3663.738
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.48
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 : 3658.440
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.61
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 : 3668.166
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.48
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.036
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.61
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 : 3600.171
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125583328 kB
MemAvailable: 127794648 kB
Buffers: 587532 kB
Cached: 2459852 kB
SwapCached: 80 kB
Active: 1222292 kB
Inactive: 4146352 kB
Active(anon): 1604 kB
Inactive(anon): 2365388 kB
Active(file): 1220688 kB
Inactive(file): 1780964 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 20072 kB
Writeback: 0 kB
AnonPages: 2321288 kB
Mapped: 139004 kB
Shmem: 45728 kB
KReclaimable: 98984 kB
Slab: 193140 kB
SReclaimable: 98984 kB
SUnreclaim: 94156 kB
KernelStack: 4092 kB
PageTables: 13988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2760632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1251328 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC023 at 2024-07-20 07:16:15