0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 68 #constraints 2
0.00/0.00 c rational objective 1.1658
0.79/0.88 c #Conflicts: 1000 | #Constraints: 1489
0.79/0.88 c #Conflicts: 2000 | #Constraints: 3085
0.79/0.88 c INPROCESSING
0.79/0.88 c GARBAGE COLLECT
0.79/0.88 c rational objective 1.18126
2.78/2.88 c #Conflicts: 3000 | #Constraints: 3341
2.78/2.88 c #Conflicts: 4000 | #Constraints: 4989
2.78/2.88 c INPROCESSING
2.78/2.88 c GARBAGE COLLECT
2.78/2.88 c rational objective 2
4.67/4.79 c #Conflicts: 5000 | #Constraints: 4064
4.67/4.79 c #Conflicts: 6000 | #Constraints: 5548
4.67/4.79 c INPROCESSING
4.67/4.79 c GARBAGE COLLECT
4.67/4.79 c rational objective 2
6.97/7.10 c #Conflicts: 7000 | #Constraints: 3963
6.97/7.10 c #Conflicts: 8000 | #Constraints: 5715
6.97/7.10 c #Conflicts: 9000 | #Constraints: 7504
6.97/7.10 c INPROCESSING
6.97/7.10 c GARBAGE COLLECT
6.97/7.10 c rational objective 2
10.55/10.60 c #Conflicts: 10000 | #Constraints: 5062
10.55/10.60 c #Conflicts: 11000 | #Constraints: 6723
10.55/10.60 c #Conflicts: 12000 | #Constraints: 8241
10.55/10.60 c INPROCESSING
10.55/10.60 c GARBAGE COLLECT
10.55/10.60 c rational objective 2
14.54/14.63 c #Conflicts: 13000 | #Constraints: 5683
14.54/14.63 c #Conflicts: 14000 | #Constraints: 7426
14.54/14.63 c #Conflicts: 15000 | #Constraints: 9245
14.54/14.63 c INPROCESSING
14.54/14.63 c GARBAGE COLLECT
14.54/14.63 c rational objective 2
19.63/19.70 c #Conflicts: 16000 | #Constraints: 6104
19.63/19.70 c #Conflicts: 17000 | #Constraints: 7936
19.63/19.70 c #Conflicts: 18000 | #Constraints: 9737
19.63/19.70 c INPROCESSING
19.63/19.70 c GARBAGE COLLECT
19.63/19.70 c rational objective 2
28.30/28.49 c #Conflicts: 19000 | #Constraints: 6497
28.30/28.49 c #Conflicts: 20000 | #Constraints: 8283
28.30/28.49 c #Conflicts: 21000 | #Constraints: 10086
28.30/28.49 c INPROCESSING
28.30/28.49 c GARBAGE COLLECT
28.30/28.49 c rational objective 2
36.67/36.82 c #Conflicts: 22000 | #Constraints: 6305
36.67/36.82 c #Conflicts: 23000 | #Constraints: 8123
36.67/36.82 c #Conflicts: 24000 | #Constraints: 9979
36.67/36.82 c #Conflicts: 25000 | #Constraints: 11788
36.67/36.82 c INPROCESSING
36.67/36.82 c GARBAGE COLLECT
36.67/36.82 c rational objective 2
43.84/44.01 c #Conflicts: 26000 | #Constraints: 7506
43.84/44.01 c #Conflicts: 27000 | #Constraints: 9315
43.84/44.01 c #Conflicts: 28000 | #Constraints: 11117
43.84/44.01 c #Conflicts: 29000 | #Constraints: 12950
43.84/44.01 c INPROCESSING
43.84/44.01 c GARBAGE COLLECT
43.84/44.01 c rational objective 2
53.01/53.29 c #Conflicts: 30000 | #Constraints: 8201
53.01/53.29 c #Conflicts: 31000 | #Constraints: 9643
53.01/53.29 c #Conflicts: 32000 | #Constraints: 11154
53.01/53.29 c #Conflicts: 33000 | #Constraints: 12884
53.01/53.29 c INPROCESSING
53.01/53.29 c GARBAGE COLLECT
53.01/53.29 c rational objective 2
62.98/63.20 c #Conflicts: 34000 | #Constraints: 8201
62.98/63.20 c #Conflicts: 35000 | #Constraints: 9930
62.98/63.20 c #Conflicts: 36000 | #Constraints: 11427
62.98/63.20 c #Conflicts: 37000 | #Constraints: 12991
62.98/63.20 c INPROCESSING
62.98/63.20 c GARBAGE COLLECT
62.98/63.20 c rational objective 2
72.35/72.66 c #Conflicts: 38000 | #Constraints: 7465
72.35/72.66 c #Conflicts: 39000 | #Constraints: 8465
72.35/72.66 c #Conflicts: 40000 | #Constraints: 9465
72.35/72.66 c #Conflicts: 41000 | #Constraints: 10465
72.35/72.66 c INPROCESSING
72.35/72.66 c GARBAGE COLLECT
72.35/72.66 c rational objective 1.999
123.58/124.08 c #Conflicts: 42000 | #Constraints: 5954
123.58/124.08 c #Conflicts: 43000 | #Constraints: 6954
123.58/124.08 c #Conflicts: 44000 | #Constraints: 7954
123.58/124.08 c #Conflicts: 45000 | #Constraints: 9004
123.58/124.08 c #Conflicts: 46000 | #Constraints: 10114
123.58/124.08 c #Conflicts: 47000 | #Constraints: 11114
123.58/124.08 c #Conflicts: 48000 | #Constraints: 12136
123.58/124.08 c #Conflicts: 49000 | #Constraints: 13467
123.58/124.08 c #Conflicts: 50000 | #Constraints: 14467
123.58/124.08 c #Conflicts: 51000 | #Constraints: 15467
123.58/124.08 c #Conflicts: 52000 | #Constraints: 16467
123.58/124.08 c #Conflicts: 53000 | #Constraints: 17467
123.58/124.08 c #Conflicts: 54000 | #Constraints: 18467
123.58/124.08 c #Conflicts: 55000 | #Constraints: 19467
123.58/124.08 c #Conflicts: 56000 | #Constraints: 20467
123.58/124.08 c #Conflicts: 57000 | #Constraints: 21467
123.58/124.08 c #Conflicts: 58000 | #Constraints: 22485
123.58/124.08 c INPROCESSING
123.58/124.08 c GARBAGE COLLECT
123.58/124.08 c rational objective 1.99911
143.79/144.30 c #Conflicts: 59000 | #Constraints: 11911
143.79/144.30 c #Conflicts: 60000 | #Constraints: 13000
143.79/144.30 c #Conflicts: 61000 | #Constraints: 14000
143.79/144.30 c #Conflicts: 62000 | #Constraints: 15000
143.79/144.30 c #Conflicts: 63000 | #Constraints: 16000
143.79/144.30 c #Conflicts: 64000 | #Constraints: 17000
143.79/144.30 c INPROCESSING
143.79/144.30 c GARBAGE COLLECT
143.79/144.30 c rational objective 1.99915
150.86/151.43 c #Conflicts: 65000 | #Constraints: 9340
150.86/151.43 c #Conflicts: 66000 | #Constraints: 10345
150.86/151.43 c #Conflicts: 67000 | #Constraints: 11624
150.86/151.43 c cpu time 148.001 s
150.86/151.43 c deterministic time 24509621311 2.45e+10
150.86/151.43 c optimization time 3.7e-05 s
150.86/151.43 c total solve time 148.001 s
150.86/151.43 c core-guided solve time 0 s
150.86/151.43 c propagation time 140.27 s
150.86/151.43 c conflict analysis time 6.00268 s
150.86/151.43 c propagations 651842
150.86/151.43 c resolve steps 226820
150.86/151.43 c decisions 734510
150.86/151.43 c conflicts 67576
150.86/151.43 c restarts 208
150.86/151.43 c inprocessing phases 15
150.86/151.43 c input clauses 0
150.86/151.43 c input cardinalities 0
150.86/151.43 c input general constraints 2
150.86/151.43 c input average constraint length 68.00
150.86/151.43 c input average constraint degree 80576681.50
150.86/151.43 c learned clauses 14683
150.86/151.43 c learned cardinalities 1
150.86/151.43 c learned general constraints 79829
150.86/151.43 c learned average constraint length 62.54
150.86/151.43 c learned average constraint degree 423618313.67
150.86/151.43 c watched constraints 55436
150.86/151.43 c counting constraints 24395
150.86/151.43 c gcd simplifications 18540
150.86/151.43 c detected cardinalities 1
150.86/151.43 c weakened non-implied lits 74763
150.86/151.43 c weakened non-implying lits 87807
150.86/151.43 c original variables 68
150.86/151.43 c clausal propagations 10505
150.86/151.43 c cardinality propagations 4
150.86/151.43 c watched propagations 278339
150.86/151.43 c counting propagations 337785
150.86/151.43 c watch lookups 3941719759
150.86/151.43 c watch backjump lookups 3906208911
150.86/151.43 c watch checks 2726954309
150.86/151.43 c propagation checks 13912458688
150.86/151.43 c constraint additions 19371844
150.86/151.43 c trail pops 1453928
150.86/151.43 c formula constraints 2
150.86/151.43 c learned constraints 67576
150.86/151.43 c bound constraints 0
150.86/151.43 c core-guided constraints 0
150.86/151.43 c encountered formula constraints 125577
150.86/151.43 c encountered learned constraints 83931
150.86/151.43 c encountered bound constraints 0
150.86/151.43 c encountered core-guided constraints 0
150.86/151.43 c LP total time 4.86868 s
150.86/151.43 c LP solve time 3.7 s
150.86/151.43 c LP constraints added 22
150.86/151.43 c LP constraints removed 15
150.86/151.43 c LP pivots internal 67425
150.86/151.43 c LP pivots root 94
150.86/151.43 c LP calls 48441
150.86/151.43 c LP optimalities 21483
150.86/151.43 c LP no pivot count 7830
150.86/151.43 c LP infeasibilities 26957
150.86/151.43 c LP valid Farkas constraints 26920
150.86/151.43 c LP learned Farkas constraints 0
150.86/151.43 c LP basis resets 1
150.86/151.43 c LP cycling count 0
150.86/151.43 c LP singular count 1
150.86/151.43 c LP no primal count 0
150.86/151.43 c LP no farkas count 0
150.86/151.43 c LP other issue count 0
150.86/151.43 c LP Gomory cuts 17
150.86/151.43 c LP learned cuts 3
150.86/151.43 c LP deleted cuts 15
150.86/151.43 c LP encountered Gomory constraints 2
150.86/151.43 c LP encountered Farkas constraints 84886
150.86/151.43 c LP encountered learned Farkas constraints 0
150.86/151.43 c CG auxiliary variables introduced 0
150.86/151.43 c CG solutions found 0
150.86/151.43 c CG cores constructed 0
150.86/151.43 c CG core cardinality constraints returned 0
150.86/151.43 c CG unit cores 0
150.86/151.43 c CG single cores 0
150.86/151.43 c CG blocks removed during cardinality reduction 0
150.86/151.43 c CG first core best 0
150.86/151.43 c CG decision core best 0
150.86/151.43 c CG core reduction tie 0
150.86/151.43 c CG core degree average 0.00
150.86/151.43 c CG core slack average 0.00
150.86/151.43 s SATISFIABLE
150.86/151.43 v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 -x14 -x15 x16 x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68
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 (62557 MiB free)
memory of node 1: 64473 MiB (63239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445320-1721319406/watcher-4445320-1721319406 -o /tmp/evaluation-result-4445320-1721319406/solver-4445320-1721319406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968204 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445320-1721319406.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=970614, runsolver pid=970611
[startup+0.101014 s]*
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128813268/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=37664 memory=10468 CPUtime=0.09 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 494 0 0 0 8 1 0 0 20 0 1 0 184106811 38567936 2617 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 9416 2617 1802 922 0 1368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 10468 KiB
[startup+0.205442 s]*
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128813016/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=37936 memory=10732 CPUtime=0.2 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 561 0 0 0 18 2 0 0 20 0 1 0 184106811 38846464 2683 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 9484 2683 1802 922 0 1436 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 10732 KiB
[startup+0.305302 s]*
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128812540/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=38072 memory=10732 CPUtime=0.3 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 597 0 0 0 27 3 0 0 20 0 1 0 184106811 38985728 2683 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 9518 2683 1802 922 0 1470 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 10732 KiB
[startup+0.700201 s]
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128812064/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=38924 memory=11524 CPUtime=0.68 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 781 0 0 0 64 4 0 0 20 0 1 0 184106811 39858176 2881 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 9731 2881 1802 922 0 1683 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 11524 KiB
[startup+1.50021 s]
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128811780/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=39068 memory=11788 CPUtime=1.48 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 831 0 0 0 141 7 0 0 20 0 1 0 184106811 40005632 2947 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 9767 2947 1802 922 0 1719 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11788 KiB
[startup+3.1054 s]
/proc/loadavg: 4.27 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128810344/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=40316 memory=13104 CPUtime=3.08 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 1211 0 0 0 297 11 0 0 20 0 1 0 184106811 41283584 3276 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 10079 3276 1802 922 0 2031 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40316 KiB
Current children cumulated memory: 13104 KiB
[startup+6.30022 s]
/proc/loadavg: 4.25 4.23 4.16 5/256 970615
/proc/meminfo: memFree=128808536/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=41596 memory=15008 CPUtime=6.26 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 1631 0 0 0 608 18 0 0 20 0 1 0 184106811 42594304 3752 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 10399 3752 1818 922 0 2351 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 15008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.22 4.16 5/256 970617
/proc/meminfo: memFree=128806492/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=44796 memory=16652 CPUtime=12.65 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 2023 0 0 0 1235 30 0 0 20 0 1 0 184106811 45871104 4163 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 11199 4163 1818 922 0 3151 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44796 KiB
Current children cumulated memory: 16652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.25 4.17 5/256 970618
/proc/meminfo: memFree=128797532/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=48252 memory=20080 CPUtime=25.4 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 2893 0 0 0 2494 46 0 0 20 0 1 0 184106811 49410048 5020 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 12063 5020 1818 922 0 4015 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 48252 KiB
Current children cumulated memory: 20080 KiB
[startup+51.1055 s]
/proc/loadavg: 4.45 4.29 4.18 5/256 970625
/proc/meminfo: memFree=128790840/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=49276 memory=23948 CPUtime=50.92 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 3586 0 0 0 5019 73 0 0 20 0 1 0 184106811 50458624 5987 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 12319 5987 1818 922 0 4271 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 23948 KiB
[startup+102.3 s]
/proc/loadavg: 4.63 4.35 4.21 5/256 970634
/proc/meminfo: memFree=128783768/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=57920 memory=30512 CPUtime=101.95 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 4662 0 0 0 9990 205 0 0 20 0 1 0 184106811 59310080 7628 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 14480 7628 1938 922 0 6432 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 57920 KiB
Current children cumulated memory: 30512 KiB
[startup+151.437 s]
# the end of solver process 970614 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=148.003 s, system=2.91272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.63 4.35 4.21 5/256 970634
/proc/meminfo: memFree=128783768/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=58052 memory=30776 CPUtime=102.05 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 4681 0 0 0 10000 205 0 0 20 0 1 0 184106811 59445248 7694 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 14513 7694 1938 922 0 6465 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 58052 KiB
Current children cumulated memory: 30776 KiB
[startup+128 s]*
/proc/loadavg: 4.47 4.34 4.21 5/256 970640
/proc/meminfo: memFree=128781160/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32528 CPUtime=127.56 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5163 0 0 0 12510 246 0 0 20 0 1 0 184106811 67473408 8132 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8132 1938 922 0 8425 0
Current children cumulated CPU time: 127.56 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32528 KiB
[startup+140.8 s]
/proc/loadavg: 4.40 4.33 4.21 5/256 970641
/proc/meminfo: memFree=128781172/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32528 CPUtime=140.31 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5209 0 0 0 13766 265 0 0 20 0 1 0 184106811 67473408 8132 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8132 1938 922 0 8425 0
Current children cumulated CPU time: 140.31 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32528 KiB
[startup+147.2 s]
/proc/loadavg: 4.34 4.32 4.20 5/256 970641
/proc/meminfo: memFree=128781044/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32768 CPUtime=146.69 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5236 0 0 0 14387 282 0 0 20 0 1 0 184106811 67473408 8192 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8192 1938 922 0 8425 0
Current children cumulated CPU time: 146.69 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32768 KiB
[startup+148.8 s]
/proc/loadavg: 4.34 4.32 4.20 5/256 970643
/proc/meminfo: memFree=128781016/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32768 CPUtime=148.27 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5236 0 0 0 14542 285 0 0 20 0 1 0 184106811 67473408 8192 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8192 1938 922 0 8425 0
Current children cumulated CPU time: 148.27 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32768 KiB
[startup+150.4 s]
/proc/loadavg: 4.34 4.32 4.20 5/256 970643
/proc/meminfo: memFree=128780952/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32768 CPUtime=149.87 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5236 0 0 0 14699 288 0 0 20 0 1 0 184106811 67473408 8192 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8192 1938 922 0 8425 0
Current children cumulated CPU time: 149.87 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32768 KiB
[startup+151.2 s]
/proc/loadavg: 4.39 4.33 4.21 5/256 970643
/proc/meminfo: memFree=128780960/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32768 CPUtime=150.67 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5236 0 0 0 14777 290 0 0 20 0 1 0 184106811 67473408 8192 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8192 1938 922 0 8425 0
Current children cumulated CPU time: 150.67 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32768 KiB
[startup+151.4 s]
/proc/loadavg: 4.39 4.33 4.21 5/256 970643
/proc/meminfo: memFree=128780960/131524600 swapFree=131071996/131071996
[pid=970614] ppid=970611 vsize=65892 memory=32768 CPUtime=150.86 cores=0,2
/proc/970614/stat : 970614 (roundingsat) R 970611 970614 968194 0 -1 4194304 5236 0 0 0 14796 290 0 0 20 0 1 0 184106811 67473408 8192 134679101440 4194304 7968869 140728825726160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 20144128 140728825734077 140728825734241 140728825734241 140728825741257 0
/proc/970614/statm: 16473 8192 1938 922 0 8425 0
Current children cumulated CPU time: 150.86 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 32768 KiB
Child status: 0
Real time (s): 151.437
CPU time (s): 150.916
CPU user time (s): 148.003
CPU system time (s): 2.91272
CPU usage (%): 99.6556
Max. virtual memory (cumulated for all children) (KiB): 65892
Max. memory (cumulated for all children) (KiB): 32768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.003
system time used= 2.91272
maximum resident set size= 32768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5244
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= 11
involuntary context switches= 1068
# summary of solver processes directly reported to runsolver:
# pid: 970614
# total CPU time (s): 150.916
# total CPU user time (s): 148.003
# total CPU system time (s): 2.91272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.291475 second user time and 0.716436 second system time
The end
Begin job on nodeC026 at 2024-07-18 18:16:59
IDJOB=4445320
IDBENCH=148107
IDSOLVER=3051
FILE ID=nodeC026/4445320-1721319406
RUNJOBID= nodeC026-1721315527-968204
SLURM_JOB_ID= 7542650
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445320-1721319406/watcher-4445320-1721319406 -o /tmp/evaluation-result-4445320-1721319406/solver-4445320-1721319406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968204 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445320-1721319406.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3b4489b3c27b845ad2c738d1f690b61
RANDOM SEED=1512821379
nodeC026.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 : 3644.361
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.74
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 : 3686.182
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.45
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 : 3634.185
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.74
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.173
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.45
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 : 3662.913
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.74
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 : 3686.224
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.45
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 : 3626.447
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.74
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.028
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128817264 kB
MemAvailable: 129468316 kB
Buffers: 520652 kB
Cached: 967588 kB
SwapCached: 0 kB
Active: 1022620 kB
Inactive: 1074164 kB
Active(anon): 1548 kB
Inactive(anon): 644708 kB
Active(file): 1021072 kB
Inactive(file): 429456 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5404 kB
Writeback: 12 kB
AnonPages: 601892 kB
Mapped: 116444 kB
Shmem: 37720 kB
KReclaimable: 80692 kB
Slab: 190960 kB
SReclaimable: 80692 kB
SUnreclaim: 110268 kB
KernelStack: 4128 kB
PageTables: 10624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1128464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 425984 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-18 18:19:31