0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.51/0.57 c #variables 2504 #constraints 2084
0.89/0.94 c bounds - >= 0 @ 0.551601
0.89/0.94 c rational objective 45
2.78/2.84 c #Conflicts: 1000 | #Constraints: 3083
2.78/2.84 c #Conflicts: 2000 | #Constraints: 4084
2.78/2.84 c INPROCESSING
2.78/2.84 c GARBAGE COLLECT
2.78/2.84 c rational objective 45
5.17/5.25 c #Conflicts: 3000 | #Constraints: 3875
5.17/5.25 c bounds - >= 8 @ 3.77277
5.17/5.25 c #Conflicts: 4000 | #Constraints: 4879
5.17/5.25 c INPROCESSING
5.17/5.25 c GARBAGE COLLECT
5.17/5.25 c rational objective 45
7.77/7.85 c #Conflicts: 5000 | #Constraints: 4288
7.77/7.85 c #Conflicts: 6000 | #Constraints: 5289
7.77/7.85 c INPROCESSING
7.77/7.85 c GARBAGE COLLECT
7.77/7.85 c rational objective 45
11.25/11.34 c #Conflicts: 7000 | #Constraints: 4298
11.25/11.34 c #Conflicts: 8000 | #Constraints: 5298
11.25/11.34 c #Conflicts: 9000 | #Constraints: 6298
11.25/11.34 c INPROCESSING
11.25/11.34 c GARBAGE COLLECT
11.25/11.34 c rational objective 45
14.84/14.97 c #Conflicts: 10000 | #Constraints: 5011
14.84/14.97 c #Conflicts: 11000 | #Constraints: 6011
14.84/14.97 c #Conflicts: 12000 | #Constraints: 7013
14.84/14.97 c INPROCESSING
14.84/14.97 c GARBAGE COLLECT
14.84/14.97 c rational objective 45
19.82/19.94 c #Conflicts: 13000 | #Constraints: 5459
19.82/19.94 c #Conflicts: 14000 | #Constraints: 6459
19.82/19.94 c #Conflicts: 15000 | #Constraints: 7459
19.82/19.94 c INPROCESSING
19.82/19.94 c GARBAGE COLLECT
19.82/19.94 c rational objective 45.0037
24.71/24.89 c #Conflicts: 16000 | #Constraints: 5698
24.71/24.89 c #Conflicts: 17000 | #Constraints: 6699
24.71/24.89 c #Conflicts: 18000 | #Constraints: 7700
24.71/24.89 c INPROCESSING
24.71/24.89 c GARBAGE COLLECT
24.71/24.89 c rational objective 45.0047
32.08/32.20 c #Conflicts: 19000 | #Constraints: 5708
32.08/32.20 c #Conflicts: 20000 | #Constraints: 6709
32.08/32.20 c #Conflicts: 21000 | #Constraints: 7709
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c rational objective 45.0047
37.87/38.02 c #Conflicts: 22000 | #Constraints: 5522
37.87/38.02 c #Conflicts: 23000 | #Constraints: 6522
37.87/38.02 c #Conflicts: 24000 | #Constraints: 7523
37.87/38.02 c #Conflicts: 25000 | #Constraints: 8524
37.87/38.02 c INPROCESSING
37.87/38.02 c GARBAGE COLLECT
37.87/38.02 c rational objective 46
47.54/47.73 c #Conflicts: 26000 | #Constraints: 6118
47.54/47.73 c #Conflicts: 27000 | #Constraints: 7118
47.54/47.73 c #Conflicts: 28000 | #Constraints: 8118
47.54/47.73 c #Conflicts: 29000 | #Constraints: 9118
47.54/47.73 c INPROCESSING
47.54/47.73 c GARBAGE COLLECT
47.54/47.73 c rational objective 46
54.02/54.29 c #Conflicts: 30000 | #Constraints: 6544
54.02/54.29 c #Conflicts: 31000 | #Constraints: 7544
54.02/54.29 c #Conflicts: 32000 | #Constraints: 8544
54.02/54.29 c #Conflicts: 33000 | #Constraints: 9544
54.02/54.29 c INPROCESSING
54.02/54.29 c GARBAGE COLLECT
54.02/54.29 c rational objective 46
60.91/61.19 c #Conflicts: 34000 | #Constraints: 6643
60.91/61.19 c #Conflicts: 35000 | #Constraints: 7643
60.91/61.19 c #Conflicts: 36000 | #Constraints: 8643
60.91/61.19 c #Conflicts: 37000 | #Constraints: 9643
60.91/61.19 c INPROCESSING
60.91/61.19 c GARBAGE COLLECT
60.91/61.19 c rational objective 46
73.95/74.22 c #Conflicts: 38000 | #Constraints: 6682
73.95/74.22 c #Conflicts: 39000 | #Constraints: 7682
73.95/74.22 c #Conflicts: 40000 | #Constraints: 8682
73.95/74.22 c #Conflicts: 41000 | #Constraints: 9682
73.95/74.22 c INPROCESSING
73.95/74.22 c GARBAGE COLLECT
73.95/74.22 c rational objective 46
82.32/82.65 c #Conflicts: 42000 | #Constraints: 6543
82.32/82.65 c #Conflicts: 43000 | #Constraints: 7543
82.32/82.65 c #Conflicts: 44000 | #Constraints: 8543
82.32/82.65 c #Conflicts: 45000 | #Constraints: 9543
82.32/82.65 c #Conflicts: 46000 | #Constraints: 10543
82.32/82.65 c INPROCESSING
82.32/82.65 c GARBAGE COLLECT
82.32/82.65 c rational objective 46
103.86/104.22 c #Conflicts: 47000 | #Constraints: 7119
103.86/104.22 c #Conflicts: 48000 | #Constraints: 8119
103.86/104.22 c #Conflicts: 49000 | #Constraints: 9119
103.86/104.22 c #Conflicts: 50000 | #Constraints: 10119
103.86/104.22 c #Conflicts: 51000 | #Constraints: 11119
103.86/104.22 c INPROCESSING
103.86/104.22 c GARBAGE COLLECT
103.86/104.22 c rational objective 46
114.23/114.64 c #Conflicts: 52000 | #Constraints: 7605
114.23/114.64 c #Conflicts: 53000 | #Constraints: 8605
114.23/114.64 c #Conflicts: 54000 | #Constraints: 9605
114.23/114.64 c #Conflicts: 55000 | #Constraints: 10605
114.23/114.64 c #Conflicts: 56000 | #Constraints: 11606
114.23/114.64 c INPROCESSING
114.23/114.64 c GARBAGE COLLECT
114.23/114.64 c rational objective 46
125.40/125.80 c #Conflicts: 57000 | #Constraints: 7757
125.40/125.80 c #Conflicts: 58000 | #Constraints: 8757
125.40/125.80 c #Conflicts: 59000 | #Constraints: 9757
125.40/125.80 c #Conflicts: 60000 | #Constraints: 10757
125.40/125.80 c #Conflicts: 61000 | #Constraints: 11757
125.40/125.80 c INPROCESSING
125.40/125.80 c GARBAGE COLLECT
125.40/125.80 c rational objective 46
139.86/140.36 c #Conflicts: 62000 | #Constraints: 7728
139.86/140.36 c bounds - >= 16 @ 125.94
139.86/140.36 c #Conflicts: 63000 | #Constraints: 8734
139.86/140.36 c #Conflicts: 64000 | #Constraints: 9735
139.86/140.36 c #Conflicts: 65000 | #Constraints: 10735
139.86/140.36 c #Conflicts: 66000 | #Constraints: 11735
139.86/140.36 c INPROCESSING
139.86/140.36 c GARBAGE COLLECT
139.86/140.36 c rational objective 46.2
151.72/152.27 c #Conflicts: 67000 | #Constraints: 7521
151.72/152.27 c #Conflicts: 68000 | #Constraints: 8521
151.72/152.27 c #Conflicts: 69000 | #Constraints: 9521
151.72/152.27 c #Conflicts: 70000 | #Constraints: 10521
151.72/152.27 c #Conflicts: 71000 | #Constraints: 11521
151.72/152.27 c bounds - >= 16 @ 147.825
151.72/152.27 c cpu time 147.826 s
151.72/152.27 c deterministic time 22179244518 2.22e+10
151.72/152.27 c optimization time 0.005705 s
151.72/152.27 c total solve time 147.269 s
151.72/152.27 c core-guided solve time 74.3481 s
151.72/152.27 c propagation time 96.6024 s
151.72/152.27 c conflict analysis time 42.6784 s
151.72/152.27 c propagations 23992696
151.72/152.27 c resolve steps 1943658
151.72/152.27 c decisions 2767546
151.72/152.27 c conflicts 71541
151.72/152.27 c restarts 220
151.72/152.27 c inprocessing phases 18
151.72/152.27 c input clauses 1556
151.72/152.27 c input cardinalities 531
151.72/152.27 c input general constraints 6
151.72/152.27 c input average constraint length 426.32
151.72/152.27 c input average constraint degree 4.11
151.72/152.27 c learned clauses 31343
151.72/152.27 c learned cardinalities 4277
151.72/152.27 c learned general constraints 35941
151.72/152.27 c learned average constraint length 1057.58
151.72/152.27 c learned average constraint degree 89496500.45
151.72/152.27 c watched constraints 27912
151.72/152.27 c counting constraints 8035
151.72/152.27 c gcd simplifications 229
151.72/152.27 c detected cardinalities 18
151.72/152.27 c weakened non-implied lits 22536691
151.72/152.27 c weakened non-implying lits 13157
151.72/152.27 c original variables 2504
151.72/152.27 c clausal propagations 4953778
151.72/152.27 c cardinality propagations 12789090
151.72/152.27 c watched propagations 2485923
151.72/152.27 c counting propagations 2704670
151.72/152.27 c watch lookups 2731094296
151.72/152.27 c watch backjump lookups 2575170777
151.72/152.27 c watch checks 11132408476
151.72/152.27 c propagation checks 5141952673
151.72/152.27 c constraint additions 544951502
151.72/152.27 c trail pops 26829697
151.72/152.27 c formula constraints 2084
151.72/152.27 c learned constraints 71519
151.72/152.27 c bound constraints 2
151.72/152.27 c core-guided constraints 7
151.72/152.27 c encountered formula constraints 1480008
151.72/152.27 c encountered learned constraints 530701
151.72/152.27 c encountered bound constraints 0
151.72/152.27 c encountered core-guided constraints 4298
151.72/152.27 c LP total time 12.6279 s
151.72/152.27 c LP solve time 11.18 s
151.72/152.27 c LP constraints added 2213
151.72/152.27 c LP constraints removed 115
151.72/152.27 c LP pivots internal 71769
151.72/152.27 c LP pivots root 5085
151.72/152.27 c LP calls 177
151.72/152.27 c LP optimalities 154
151.72/152.27 c LP no pivot count 2
151.72/152.27 c LP infeasibilities 21
151.72/152.27 c LP valid Farkas constraints 21
151.72/152.27 c LP learned Farkas constraints 21
151.72/152.27 c LP basis resets 0
151.72/152.27 c LP cycling count 0
151.72/152.27 c LP singular count 0
151.72/152.27 c LP no primal count 0
151.72/152.27 c LP no farkas count 0
151.72/152.27 c LP other issue count 0
151.72/152.27 c LP Gomory cuts 0
151.72/152.27 c LP learned cuts 129
151.72/152.27 c LP deleted cuts 115
151.72/152.27 c LP encountered Gomory constraints 0
151.72/152.27 c LP encountered Farkas constraints 134
151.72/152.27 c LP encountered learned Farkas constraints 37
151.72/152.27 c CG auxiliary variables introduced 3
151.72/152.27 c CG solutions found 0
151.72/152.27 c CG cores constructed 2
151.72/152.27 c CG core cardinality constraints returned 0
151.72/152.27 c CG unit cores 0
151.72/152.27 c CG single cores 2
151.72/152.27 c CG blocks removed during cardinality reduction 0
151.72/152.27 c CG first core best 0
151.72/152.27 c CG decision core best 0
151.72/152.27 c CG core reduction tie 0
151.72/152.27 c CG core degree average 1.00
151.72/152.27 c CG core slack average 273.00
151.72/152.27 s SATISFIABLE
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 (60355 MiB free)
memory of node 1: 64473 MiB (60765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459455-1721899909/watcher-4459455-1721899909 -o /tmp/evaluation-result-4459455-1721899909/solver-4459455-1721899909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721899908-275998 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4459455-1721899909 --lp-cut-gomory=0 HOME/instance-4459455-1721899909.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=276058, runsolver pid=276055
[startup+0.1001 s]*
/proc/loadavg: 0.15 1.88 3.21 5/245 276059
/proc/meminfo: memFree=124010752/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=38392 memory=7028 CPUtime=0.1 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 666 0 0 0 10 0 0 0 20 0 1 0 25980722 39313408 1757 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 9598 1757 1350 992 0 1456 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38392 KiB
Current children cumulated memory: 7028 KiB
[startup+0.213684 s]*
/proc/loadavg: 0.15 1.88 3.21 5/245 276059
/proc/meminfo: memFree=124000168/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=38632 memory=9600 CPUtime=0.22 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 826 0 0 0 22 0 0 0 20 0 1 0 25980722 39559168 2400 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 9658 2400 1350 992 0 1516 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 9600 KiB
[startup+0.313159 s]*
/proc/loadavg: 0.15 1.88 3.21 5/245 276059
/proc/meminfo: memFree=123984524/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=38632 memory=9600 CPUtime=0.31 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 828 0 0 0 31 0 0 0 20 0 1 0 25980722 39559168 2400 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 9658 2400 1350 992 0 1516 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 9600 KiB
[startup+0.700371 s]
/proc/loadavg: 0.15 1.88 3.21 5/245 276059
/proc/meminfo: memFree=123979968/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=100096 memory=73216 CPUtime=0.68 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 16903 0 0 0 63 5 0 0 20 0 1 0 25980722 102498304 18304 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 25024 18304 1712 992 0 16882 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100096 KiB
Current children cumulated memory: 73216 KiB
[startup+1.5003 s]
/proc/loadavg: 0.15 1.88 3.21 5/245 276059
/proc/meminfo: memFree=123925732/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=88436 memory=61552 CPUtime=1.48 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 17522 0 0 0 140 8 0 0 20 0 1 0 25980722 90558464 15388 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 22109 15388 1792 992 0 13967 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 61552 KiB
[startup+3.11372 s]
/proc/loadavg: 0.15 1.88 3.21 5/244 276121
/proc/meminfo: memFree=123860720/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=127556 memory=98928 CPUtime=3.09 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 20786 0 0 0 292 17 0 0 20 0 1 0 25980722 130617344 24732 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 31889 24732 1871 992 0 23747 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127556 KiB
Current children cumulated memory: 98928 KiB
[startup+6.30031 s]
/proc/loadavg: 0.38 1.90 3.21 4/240 276139
/proc/meminfo: memFree=123755664/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=139232 memory=108344 CPUtime=6.26 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 21146 0 0 0 598 28 0 0 20 0 1 0 25980722 142573568 27086 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 34808 27086 1887 992 0 26666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139232 KiB
Current children cumulated memory: 108344 KiB
[startup+12.7003 s]
/proc/loadavg: 0.67 1.93 3.22 4/240 276141
/proc/meminfo: memFree=123515148/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=158200 memory=113872 CPUtime=12.65 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 21565 0 0 0 1216 49 0 0 20 0 1 0 25980722 161996800 28468 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 39550 28468 1887 992 0 31408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158200 KiB
Current children cumulated memory: 113872 KiB
[startup+25.5003 s]
/proc/loadavg: 1.19 1.99 3.21 4/239 276142
/proc/meminfo: memFree=123087524/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=161472 memory=123792 CPUtime=25.4 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 22508 0 0 0 2461 79 0 0 20 0 1 0 25980722 165347328 30948 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 40368 30948 1887 992 0 32226 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 161472 KiB
Current children cumulated memory: 123792 KiB
[startup+51.1124 s]
/proc/loadavg: 1.81 2.07 3.21 4/237 276177
/proc/meminfo: memFree=122687992/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=178188 memory=150624 CPUtime=50.93 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 26823 0 0 0 4936 157 0 0 20 0 1 0 25980722 182464512 37656 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 44547 37656 1887 992 0 36405 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 178188 KiB
Current children cumulated memory: 150624 KiB
[startup+102.3 s]
/proc/loadavg: 2.12 2.12 3.16 3/233 276189
/proc/meminfo: memFree=122748656/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=232676 memory=181548 CPUtime=101.97 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 32728 0 0 0 9899 298 0 0 20 0 1 0 25980722 238260224 45387 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 58169 45387 1887 992 0 50027 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 232676 KiB
Current children cumulated memory: 181548 KiB
[startup+152.285 s]
# the end of solver process 276058 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=147.834 s, system=3.95286 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.12 2.12 3.16 3/233 276189
/proc/meminfo: memFree=122748656/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=232676 memory=181548 CPUtime=102.07 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 32731 0 0 0 9909 298 0 0 20 0 1 0 25980722 238260224 45387 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 58169 45387 1887 992 0 50027 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 232676 KiB
Current children cumulated memory: 181548 KiB
[startup+128 s]*
/proc/loadavg: 2.08 2.11 3.13 3/233 276193
/proc/meminfo: memFree=122418028/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=236504 memory=187652 CPUtime=127.61 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 33881 0 0 0 12412 349 0 0 20 0 1 0 25980722 242180096 46913 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 59126 46913 1887 992 0 50984 0
Current children cumulated CPU time: 127.61 s
Current children cumulated vsize: 236504 KiB
Current children cumulated memory: 187652 KiB
[startup+140.8 s]
/proc/loadavg: 2.06 2.10 3.11 3/233 276196
/proc/meminfo: memFree=122203928/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241292 memory=192660 CPUtime=140.35 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35181 0 0 0 13658 377 0 0 20 0 1 0 25980722 247083008 48165 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60323 48165 1887 992 0 52181 0
Current children cumulated CPU time: 140.35 s
Current children cumulated vsize: 241292 KiB
Current children cumulated memory: 192660 KiB
[startup+147.2 s]
/proc/loadavg: 2.14 2.12 3.11 3/233 276196
/proc/meminfo: memFree=122174020/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241680 memory=192920 CPUtime=146.73 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35251 0 0 0 14283 390 0 0 20 0 1 0 25980722 247480320 48230 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60420 48230 1887 992 0 52278 0
Current children cumulated CPU time: 146.73 s
Current children cumulated vsize: 241680 KiB
Current children cumulated memory: 192920 KiB
[startup+150.4 s]
/proc/loadavg: 2.13 2.12 3.10 3/233 276198
/proc/meminfo: memFree=122166992/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241680 memory=192920 CPUtime=149.92 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35251 0 0 0 14600 392 0 0 20 0 1 0 25980722 247480320 48230 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60420 48230 1887 992 0 52278 0
Current children cumulated CPU time: 149.92 s
Current children cumulated vsize: 241680 KiB
Current children cumulated memory: 192920 KiB
[startup+151.2 s]
/proc/loadavg: 2.13 2.12 3.10 3/233 276198
/proc/meminfo: memFree=122162536/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241680 memory=192920 CPUtime=150.71 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35251 0 0 0 14679 392 0 0 20 0 1 0 25980722 247480320 48230 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60420 48230 1887 992 0 52278 0
Current children cumulated CPU time: 150.71 s
Current children cumulated vsize: 241680 KiB
Current children cumulated memory: 192920 KiB
[startup+152 s]*
/proc/loadavg: 2.13 2.12 3.10 3/233 276198
/proc/meminfo: memFree=122152624/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241680 memory=192920 CPUtime=151.52 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35275 0 0 0 14759 393 0 0 20 0 1 0 25980722 247480320 48230 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60420 48230 1887 992 0 52278 0
Current children cumulated CPU time: 151.52 s
Current children cumulated vsize: 241680 KiB
Current children cumulated memory: 192920 KiB
[startup+152.2 s]
/proc/loadavg: 2.13 2.12 3.10 3/233 276198
/proc/meminfo: memFree=122152624/131655788 swapFree=131061684/131071996
[pid=276058] ppid=276055 vsize=241680 memory=192920 CPUtime=151.72 cores=1,3
/proc/276058/stat : 276058 (roundingsat) R 276055 276058 275986 0 -1 4194304 35275 0 0 0 14778 394 0 0 20 0 1 0 25980722 247480320 48230 134679101440 4194304 8254037 140723742162304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 31432704 140723742163808 140723742164070 140723742164070 140723742171081 0
/proc/276058/statm: 60420 48230 1887 992 0 52278 0
Current children cumulated CPU time: 151.72 s
Current children cumulated vsize: 241680 KiB
Current children cumulated memory: 192920 KiB
Child status: 0
Real time (s): 152.285
CPU time (s): 151.787
CPU user time (s): 147.834
CPU system time (s): 3.95286
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 241680
Max. memory (cumulated for all children) (KiB): 192920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.834
system time used= 3.95286
maximum resident set size= 192920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1071568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1245
involuntary context switches= 210
# summary of solver processes directly reported to runsolver:
# pid: 276058
# total CPU time (s): 151.787
# total CPU user time (s): 147.834
# total CPU system time (s): 3.95286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.791446 second user time and 1.43974 second system time
The end
Begin job on nodeC011 at 2024-07-25 11:31:49
IDJOB=4459455
IDBENCH=178796
IDSOLVER=3085
FILE ID=nodeC011/4459455-1721899909
RUNJOBID= nodeC011-1721899908-275998
SLURM_JOB_ID= 8089382
Free space on /tmp= 723756 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-859770.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459455-1721899909/watcher-4459455-1721899909 -o /tmp/evaluation-result-4459455-1721899909/solver-4459455-1721899909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721899908-275998 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4459455-1721899909 --lp-cut-gomory=0 HOME/instance-4459455-1721899909.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=1518695623
nodeC011.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 : 1197.346
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 : 6984.36
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 : 1197.335
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.319
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 : 6984.36
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.320
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 : 1197.337
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 : 6984.36
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.319
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.318
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 : 6984.36
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.343
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: 124035604 kB
MemAvailable: 130008996 kB
Buffers: 303144 kB
Cached: 6499576 kB
SwapCached: 164 kB
Active: 1800584 kB
Inactive: 5278992 kB
Active(anon): 2008 kB
Inactive(anon): 327824 kB
Active(file): 1798576 kB
Inactive(file): 4951168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061684 kB
Dirty: 32068 kB
Writeback: 8 kB
AnonPages: 276752 kB
Mapped: 101000 kB
Shmem: 52980 kB
KReclaimable: 127692 kB
Slab: 231168 kB
SReclaimable: 127692 kB
SUnreclaim: 103476 kB
KernelStack: 3744 kB
PageTables: 9228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 620344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 157696 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: 424776 kB
DirectMap2M: 46665728 kB
DirectMap1G: 89128960 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC011 at 2024-07-25 11:34:21