0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.13 c #variables 53655 #constraints 10732
42.88/43.09 c #Conflicts: 1000 | #Constraints: 11731
42.88/43.09 c #Conflicts: 2000 | #Constraints: 12731
42.88/43.09 c INPROCESSING
42.88/43.09 c #Conflicts: 3000 | #Constraints: 12787
42.88/43.09 c #Conflicts: 4000 | #Constraints: 13787
42.88/43.09 c INPROCESSING
42.88/43.09 c #Conflicts: 5000 | #Constraints: 13270
42.88/43.09 c #Conflicts: 6000 | #Constraints: 14270
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 7000 | #Constraints: 13349
42.88/43.09 c #Conflicts: 8000 | #Constraints: 14349
42.88/43.09 c #Conflicts: 9000 | #Constraints: 15349
42.88/43.09 c INPROCESSING
42.88/43.09 c #Conflicts: 10000 | #Constraints: 14134
42.88/43.09 c #Conflicts: 11000 | #Constraints: 15134
42.88/43.09 c #Conflicts: 12000 | #Constraints: 16134
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 13000 | #Constraints: 14694
42.88/43.09 c #Conflicts: 14000 | #Constraints: 15694
42.88/43.09 c #Conflicts: 15000 | #Constraints: 16694
42.88/43.09 c INPROCESSING
42.88/43.09 c #Conflicts: 16000 | #Constraints: 15144
42.88/43.09 c #Conflicts: 17000 | #Constraints: 16144
42.88/43.09 c #Conflicts: 18000 | #Constraints: 17144
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 19000 | #Constraints: 15301
42.88/43.09 c #Conflicts: 20000 | #Constraints: 16301
42.88/43.09 c #Conflicts: 21000 | #Constraints: 17302
42.88/43.09 c #Conflicts: 22000 | #Constraints: 18302
42.88/43.09 c #Conflicts: 23000 | #Constraints: 19302
42.88/43.09 c #Conflicts: 24000 | #Constraints: 20302
42.88/43.09 c #Conflicts: 25000 | #Constraints: 21302
42.88/43.09 c #Conflicts: 26000 | #Constraints: 22302
42.88/43.09 c #Conflicts: 27000 | #Constraints: 23302
42.88/43.09 c #Conflicts: 28000 | #Constraints: 24302
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 29000 | #Constraints: 18828
42.88/43.09 c #Conflicts: 30000 | #Constraints: 19828
42.88/43.09 c #Conflicts: 31000 | #Constraints: 20828
42.88/43.09 c #Conflicts: 32000 | #Constraints: 21829
42.88/43.09 c #Conflicts: 33000 | #Constraints: 22829
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 34000 | #Constraints: 18507
42.88/43.09 c #Conflicts: 35000 | #Constraints: 19507
42.88/43.09 c #Conflicts: 36000 | #Constraints: 20507
42.88/43.09 c #Conflicts: 37000 | #Constraints: 21507
42.88/43.09 c #Conflicts: 38000 | #Constraints: 22507
42.88/43.09 c #Conflicts: 39000 | #Constraints: 23507
42.88/43.09 c #Conflicts: 40000 | #Constraints: 24507
42.88/43.09 c #Conflicts: 41000 | #Constraints: 25507
42.88/43.09 c #Conflicts: 42000 | #Constraints: 26507
42.88/43.09 c #Conflicts: 43000 | #Constraints: 27507
42.88/43.09 c #Conflicts: 44000 | #Constraints: 28507
42.88/43.09 c #Conflicts: 45000 | #Constraints: 29507
42.88/43.09 c #Conflicts: 46000 | #Constraints: 30507
42.88/43.09 c #Conflicts: 47000 | #Constraints: 31507
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 48000 | #Constraints: 23453
42.88/43.09 c #Conflicts: 49000 | #Constraints: 24453
42.88/43.09 c #Conflicts: 50000 | #Constraints: 25453
42.88/43.09 c #Conflicts: 51000 | #Constraints: 26453
42.88/43.09 c #Conflicts: 52000 | #Constraints: 27453
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 53000 | #Constraints: 21263
42.88/43.09 c #Conflicts: 54000 | #Constraints: 22263
42.88/43.09 c #Conflicts: 55000 | #Constraints: 23263
42.88/43.09 c #Conflicts: 56000 | #Constraints: 24263
42.88/43.09 c #Conflicts: 57000 | #Constraints: 25263
42.88/43.09 c #Conflicts: 58000 | #Constraints: 26263
42.88/43.09 c #Conflicts: 59000 | #Constraints: 27263
42.88/43.09 c #Conflicts: 60000 | #Constraints: 28263
42.88/43.09 c #Conflicts: 61000 | #Constraints: 29263
42.88/43.09 c #Conflicts: 62000 | #Constraints: 30263
42.88/43.09 c #Conflicts: 63000 | #Constraints: 31263
42.88/43.09 c #Conflicts: 64000 | #Constraints: 32263
42.88/43.09 c #Conflicts: 65000 | #Constraints: 33263
42.88/43.09 c #Conflicts: 66000 | #Constraints: 34263
42.88/43.09 c #Conflicts: 67000 | #Constraints: 35263
42.88/43.09 c #Conflicts: 68000 | #Constraints: 36263
42.88/43.09 c #Conflicts: 69000 | #Constraints: 37263
42.88/43.09 c INPROCESSING
42.88/43.09 c GARBAGE COLLECT
42.88/43.09 c #Conflicts: 70000 | #Constraints: 26651
42.88/43.09 c #Conflicts: 71000 | #Constraints: 27651
42.88/43.09 c #Conflicts: 72000 | #Constraints: 28651
42.88/43.09 c #Conflicts: 73000 | #Constraints: 29651
89.77/90.01 c #Conflicts: 74000 | #Constraints: 30651
89.77/90.01 c #Conflicts: 75000 | #Constraints: 31651
89.77/90.01 c #Conflicts: 76000 | #Constraints: 32651
89.77/90.01 c INPROCESSING
89.77/90.01 c GARBAGE COLLECT
89.77/90.01 c #Conflicts: 77000 | #Constraints: 25360
89.77/90.01 c #Conflicts: 78000 | #Constraints: 26360
89.77/90.01 c #Conflicts: 79000 | #Constraints: 27360
89.77/90.01 c #Conflicts: 80000 | #Constraints: 28360
89.77/90.01 c #Conflicts: 81000 | #Constraints: 29360
89.77/90.01 c #Conflicts: 82000 | #Constraints: 30360
89.77/90.01 c #Conflicts: 83000 | #Constraints: 31360
89.77/90.01 c #Conflicts: 84000 | #Constraints: 32360
89.77/90.01 c #Conflicts: 85000 | #Constraints: 33361
89.77/90.01 c #Conflicts: 86000 | #Constraints: 34361
89.77/90.01 c #Conflicts: 87000 | #Constraints: 35361
89.77/90.01 c #Conflicts: 88000 | #Constraints: 36361
89.77/90.01 c #Conflicts: 89000 | #Constraints: 37361
89.77/90.01 c #Conflicts: 90000 | #Constraints: 38361
89.77/90.01 c #Conflicts: 91000 | #Constraints: 39361
89.77/90.01 c #Conflicts: 92000 | #Constraints: 40361
89.77/90.01 c #Conflicts: 93000 | #Constraints: 41361
89.77/90.01 c #Conflicts: 94000 | #Constraints: 42361
89.77/90.01 c #Conflicts: 95000 | #Constraints: 43361
89.77/90.01 c #Conflicts: 96000 | #Constraints: 44361
89.77/90.01 c INPROCESSING
89.77/90.01 c GARBAGE COLLECT
89.77/90.01 c #Conflicts: 97000 | #Constraints: 30563
89.77/90.01 c #Conflicts: 98000 | #Constraints: 31563
89.77/90.01 c #Conflicts: 99000 | #Constraints: 32563
89.77/90.01 c #Conflicts: 100000 | #Constraints: 33563
89.77/90.01 c #Conflicts: 101000 | #Constraints: 34563
89.77/90.01 c #Conflicts: 102000 | #Constraints: 35563
89.77/90.01 c #Conflicts: 103000 | #Constraints: 36563
89.77/90.01 c #Conflicts: 104000 | #Constraints: 37563
89.77/90.01 c #Conflicts: 105000 | #Constraints: 38563
89.77/90.01 c INPROCESSING
89.77/90.01 c GARBAGE COLLECT
89.77/90.01 c #Conflicts: 106000 | #Constraints: 28226
89.77/90.01 c #Conflicts: 107000 | #Constraints: 29226
89.77/90.01 c #Conflicts: 108000 | #Constraints: 30226
89.77/90.01 c #Conflicts: 109000 | #Constraints: 31226
89.77/90.01 c #Conflicts: 110000 | #Constraints: 32226
89.77/90.01 c #Conflicts: 111000 | #Constraints: 33226
89.77/90.01 c #Conflicts: 112000 | #Constraints: 34226
89.77/90.01 c #Conflicts: 113000 | #Constraints: 35226
89.77/90.01 c #Conflicts: 114000 | #Constraints: 36226
89.77/90.01 c #Conflicts: 115000 | #Constraints: 37226
89.77/90.01 c #Conflicts: 116000 | #Constraints: 38226
89.77/90.01 c #Conflicts: 117000 | #Constraints: 39226
89.77/90.01 c #Conflicts: 118000 | #Constraints: 40226
89.77/90.01 c #Conflicts: 119000 | #Constraints: 41226
89.77/90.01 c #Conflicts: 120000 | #Constraints: 42226
89.77/90.01 c #Conflicts: 121000 | #Constraints: 43226
89.77/90.01 c #Conflicts: 122000 | #Constraints: 44226
89.77/90.01 c #Conflicts: 123000 | #Constraints: 45226
89.77/90.01 c #Conflicts: 124000 | #Constraints: 46226
89.77/90.01 c #Conflicts: 125000 | #Constraints: 47226
89.77/90.01 c #Conflicts: 126000 | #Constraints: 48226
89.77/90.01 c #Conflicts: 127000 | #Constraints: 49226
89.77/90.01 c #Conflicts: 128000 | #Constraints: 50226
89.77/90.01 c INPROCESSING
89.77/90.01 c GARBAGE COLLECT
89.77/90.01 c #Conflicts: 129000 | #Constraints: 34428
89.77/90.01 c #Conflicts: 130000 | #Constraints: 35428
89.77/90.01 c #Conflicts: 131000 | #Constraints: 36428
89.77/90.01 c #Conflicts: 132000 | #Constraints: 37428
89.77/90.01 c #Conflicts: 133000 | #Constraints: 38428
89.77/90.01 c #Conflicts: 134000 | #Constraints: 39428
89.77/90.01 c #Conflicts: 135000 | #Constraints: 40428
89.77/90.01 c #Conflicts: 136000 | #Constraints: 41428
89.77/90.01 c #Conflicts: 137000 | #Constraints: 42428
89.77/90.01 c INPROCESSING
89.77/90.01 c GARBAGE COLLECT
89.77/90.01 c #Conflicts: 138000 | #Constraints: 33025
89.77/90.01 c #Conflicts: 139000 | #Constraints: 34025
89.77/90.01 c cpu time 84.2609 s
89.77/90.01 c deterministic time 181104710 1.81e+08
89.77/90.01 c optimization time 7.3e-05 s
89.77/90.01 c total solve time 84.1671 s
89.77/90.01 c core-guided solve time 0 s
89.77/90.01 c propagation time 15.164 s
89.77/90.01 c conflict analysis time 1.65855 s
89.77/90.01 c propagations 5087750
89.77/90.01 c resolve steps 267726
89.77/90.01 c decisions 7654963
89.77/90.01 c conflicts 139280
89.77/90.01 c restarts 380
89.77/90.01 c inprocessing phases 17
89.77/90.01 c garbage collections 13 ,( 76.47 )
89.77/90.01 c input clauses 0 ,( 0.00 )
89.77/90.01 c input cardinalities 147 ,( 1.37 )
89.77/90.01 c input general constraints 10585 ,( 98.63 )
89.77/90.03 c input average constraint length 14.86
89.77/90.03 c input average constraint degree 9.90
89.77/90.03 c learned clauses 10235 ,( 7.35 )
89.77/90.03 c learned cardinalities 20797 ,( 14.93 )
89.77/90.03 c learned general constraints 108250 ,( 77.72 )
89.77/90.03 c learned average constraint length 13.26
89.77/90.03 c learned average constraint degree 866610.55
89.77/90.03 c watched CF 32, 64, 128, Arb: 13630 , 0 , 0 , 0
89.77/90.03 c counting CF 32, 64, 128, Arb: 105205 , 0 , 0 , 0
89.77/90.03 c watched constraints 13630 ,( 11.47 )
89.77/90.03 c counting constraints 105205 ,( 88.53 )
89.77/90.03 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 233343 , 1559829 , 8680770 ,( 795217 , 7885553 )
89.77/90.03 c gcd simplifications 31818
89.77/90.03 c detected cardinalities 3442
89.77/90.03 c weakened non-implied lits 472548
89.77/90.03 c weakened non-implying lits 27727
89.77/90.03 c original variables 53655
89.77/90.03 c clausal propagations 17220
89.77/90.03 c cardinality propagations 1472758
89.77/90.03 c watched propagations 32664
89.77/90.03 c counting propagations 3261762
89.77/90.03 c watch lookups 72905961
89.77/90.03 c watch backjump lookups 0
89.77/90.03 c watch checks 14527911
89.77/90.03 c propagation checks 62253471
89.77/90.03 c constraint additions 5740807
89.77/90.03 c trail pops 12881981
89.77/90.03 c formula constraints 10732
89.77/90.03 c learned constraints 139274
89.77/90.03 c bound constraints 0
89.77/90.03 c core-guided constraints 0
89.77/90.03 c encountered formula constraints 134071
89.77/90.03 c encountered learned constraints 272875
89.77/90.03 c encountered bound constraints 0
89.77/90.03 c encountered core-guided constraints 0
89.77/90.03 c LP total time 32.4736 s
89.77/90.03 c LP solve time 32.43 s
89.77/90.03 c LP constraints added 10732
89.77/90.03 c LP constraints removed 0
89.77/90.03 c LP pivots internal 24173
89.77/90.03 c LP pivots root 27692
89.77/90.03 c LP calls 9
89.77/90.03 c LP optimalities 0
89.77/90.03 c LP no pivot count 0
89.77/90.03 c LP infeasibilities 4
89.77/90.03 c LP valid Farkas constraints 4
89.77/90.03 c LP learned Farkas constraints 4
89.77/90.03 c LP basis resets 1
89.77/90.03 c LP cycling count 0
89.77/90.03 c LP singular count 1
89.77/90.03 c LP no primal count 0
89.77/90.03 c LP no farkas count 0
89.77/90.03 c LP other issue count 0
89.77/90.03 c LP Gomory cuts 0
89.77/90.03 c LP learned cuts 0
89.77/90.03 c LP deleted cuts 0
89.77/90.03 c LP encountered Gomory constraints 0
89.77/90.03 c LP encountered Farkas constraints 45
89.77/90.03 c LP encountered learned Farkas constraints 10
89.77/90.03 c CG auxiliary variables introduced 0
89.77/90.03 c CG solutions found 0
89.77/90.03 c CG cores constructed 0
89.77/90.03 c CG core cardinality constraints returned 0
89.77/90.03 c CG unit cores 0
89.77/90.03 c CG single cores 0
89.77/90.03 c CG blocks removed during cardinality reduction 0
89.77/90.03 c CG first core best 0
89.77/90.03 c CG decision core best 0
89.77/90.03 c CG core reduction tie 0
89.77/90.03 c CG core degree average 0.00
89.77/90.03 c CG core slack average 0.00
89.77/90.03 c CG core upper bound improvements 0
89.77/90.03 c STR number of successful calls 0
89.77/90.03 c STR number of unsuccessful calls 0
89.77/90.03 c STR number of inconclusive calls 0
89.77/90.03 c STR number of successful attempts 0
89.77/90.03 c STR number of unsuccessful attempts 0
89.77/90.03 c STR number of inconclusive attempts 0
89.77/90.03 c STR average degree increase per successful call inf
89.77/90.03 c STR average degree increase per successful attempt inf
89.77/90.03 c STR total number of conflicts for successful attempts 0
89.77/90.03 c STR total number of conflicts for unsuccessful attempts 0
89.77/90.03 c STR total number of conflicts for inconclusive attempts 0
89.77/90.03 c STR average number of conflicts per successful attempt inf
89.77/90.03 c STR average number of conflicts per unsuccessful attempt inf
89.77/90.03 c STR average number of conflicts per inconclusive attempt inf
89.77/90.03 c AVG.sumWPerc 59.84
89.77/90.03 c bigint constraints 0
89.77/90.03 s UNSATISFIABLE
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: 63665 MiB (62526 MiB free)
memory of node 1: 64507 MiB (63381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515636-1751230946/watcher-4515636-1751230946 -o /tmp/evaluation-result-4515636-1751230946/solver-4515636-1751230946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751230850-31101 --watchdog 3760 run-dec-ls.sh HOME/instance-4515636-1751230946.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=31544, runsolver pid=31541
Current StackSize limit: 8192 KiB
[startup+0.100052 s]*
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128927504/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=85060 memory=36696 CPUtime=0.08 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 6232 0 0 0 7 1 0 0 20 0 1 0 38774819 87101440 9174 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 21265 9174 2176 1147 0 8692 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89252 KiB
Current children cumulated memory: 39768 KiB
[startup+0.205698 s]*
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128887876/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=123008 memory=75212 CPUtime=0.18 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 15501 0 0 0 15 3 0 0 20 0 1 0 38774819 125960192 18803 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 30752 18803 2240 1147 0 18179 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 127200 KiB
Current children cumulated memory: 78284 KiB
[startup+0.305663 s]*
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128887876/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=123008 memory=75340 CPUtime=0.29 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 15535 0 0 0 25 4 0 0 20 0 1 0 38774819 125960192 18835 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 30752 18835 2240 1147 0 18179 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127200 KiB
Current children cumulated memory: 78412 KiB
[startup+0.700192 s]
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128887876/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=123008 memory=75340 CPUtime=0.68 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 15535 0 0 0 64 4 0 0 20 0 1 0 38774819 125960192 18835 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 30752 18835 2240 1147 0 18179 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127200 KiB
Current children cumulated memory: 78412 KiB
[startup+1.50021 s]
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128876172/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=123008 memory=75340 CPUtime=1.48 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 15535 0 0 0 144 4 0 0 20 0 1 0 38774819 125960192 18835 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 30752 18835 2240 1147 0 18179 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127200 KiB
Current children cumulated memory: 78412 KiB
[startup+3.10547 s]
/proc/loadavg: 3.39 3.00 3.60 5/268 31546
/proc/meminfo: memFree=128868284/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=125180 memory=78540 CPUtime=3.08 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 16260 0 0 0 300 8 0 0 20 0 1 0 38774819 128184320 19635 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 31295 19635 2336 1147 0 18722 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129372 KiB
Current children cumulated memory: 81612 KiB
[startup+6.30018 s]
/proc/loadavg: 3.44 3.02 3.60 5/268 31546
/proc/meminfo: memFree=128856400/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=125888 memory=81212 CPUtime=6.26 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 16417 0 0 0 613 13 0 0 20 0 1 0 38774819 128909312 20303 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 31472 20303 2336 1147 0 18899 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130080 KiB
Current children cumulated memory: 84284 KiB
[startup+12.7002 s]
/proc/loadavg: 3.48 3.03 3.60 5/268 31546
/proc/meminfo: memFree=128840032/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=127048 memory=82492 CPUtime=12.65 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 16714 0 0 0 1241 24 0 0 20 0 1 0 38774819 130097152 20623 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 31762 20623 2336 1147 0 19189 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131240 KiB
Current children cumulated memory: 85564 KiB
[startup+25.5002 s]
/proc/loadavg: 3.68 3.10 3.62 5/268 31546
/proc/meminfo: memFree=128823456/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=137416 memory=92604 CPUtime=25.42 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 19309 0 0 0 2474 68 0 0 20 0 1 0 38774819 140713984 23151 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 34354 23151 2336 1147 0 21781 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141608 KiB
Current children cumulated memory: 95676 KiB
[startup+51.1056 s]
/proc/loadavg: 3.79 3.17 3.63 5/268 31547
/proc/meminfo: memFree=128727452/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=154148 memory=109124 CPUtime=50.96 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 22912 0 0 0 4766 330 0 0 20 0 1 0 38774819 157847552 27281 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 38537 27281 2336 1147 0 25964 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 158340 KiB
Current children cumulated memory: 112196 KiB
[startup+90.0381 s]
# the end of solver process 31544 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=84.2794 s, system=5.53293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 3.79 3.17 3.63 5/268 31547
/proc/meminfo: memFree=128727452/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=154148 memory=109124 CPUtime=51.05 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 22912 0 0 0 4772 333 0 0 20 0 1 0 38774819 157847552 27281 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 38537 27281 2336 1147 0 25964 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 158340 KiB
Current children cumulated memory: 112196 KiB
[startup+76.8002 s]
/proc/loadavg: 3.93 3.26 3.65 5/268 31548
/proc/meminfo: memFree=128692384/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=166056 memory=120900 CPUtime=76.6 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 25863 0 0 0 7115 545 0 0 20 0 1 0 38774819 170041344 30225 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41514 30225 2336 1147 0 28941 0
Current children cumulated CPU time: 76.6 s
Current children cumulated vsize: 170248 KiB
Current children cumulated memory: 123972 KiB
[startup+83.2002 s]
/proc/loadavg: 3.94 3.27 3.65 5/268 31548
/proc/meminfo: memFree=128692724/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=166340 memory=121540 CPUtime=82.98 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 25943 0 0 0 7750 548 0 0 20 0 1 0 38774819 170332160 30385 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41585 30385 2432 1147 0 29012 0
Current children cumulated CPU time: 82.98 s
Current children cumulated vsize: 170532 KiB
Current children cumulated memory: 124612 KiB
[startup+86.4002 s]
/proc/loadavg: 3.95 3.28 3.65 5/268 31548
/proc/meminfo: memFree=128692740/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=167232 memory=122692 CPUtime=86.18 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 26216 0 0 0 8068 550 0 0 20 0 1 0 38774819 171245568 30673 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41808 30673 2432 1147 0 29235 0
Current children cumulated CPU time: 86.18 s
Current children cumulated vsize: 171424 KiB
Current children cumulated memory: 125764 KiB
[startup+88.0002 s]*
/proc/loadavg: 3.95 3.28 3.65 5/268 31549
/proc/meminfo: memFree=128692992/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=167232 memory=122820 CPUtime=87.77 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 26218 0 0 0 8227 550 0 0 20 0 1 0 38774819 171245568 30705 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41808 30705 2464 1147 0 29235 0
Current children cumulated CPU time: 87.77 s
Current children cumulated vsize: 171424 KiB
Current children cumulated memory: 125892 KiB
[startup+88.8001 s]
/proc/loadavg: 3.95 3.28 3.65 5/268 31549
/proc/meminfo: memFree=128692992/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=167232 memory=122820 CPUtime=88.57 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 26218 0 0 0 8307 550 0 0 20 0 1 0 38774819 171245568 30705 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41808 30705 2464 1147 0 29235 0
Current children cumulated CPU time: 88.57 s
Current children cumulated vsize: 171424 KiB
Current children cumulated memory: 125892 KiB
[startup+89.6002 s]
/proc/loadavg: 3.95 3.28 3.65 5/268 31549
/proc/meminfo: memFree=128693008/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=167232 memory=122820 CPUtime=89.36 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 26218 0 0 0 8386 550 0 0 20 0 1 0 38774819 171245568 30705 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41808 30705 2464 1147 0 29235 0
Current children cumulated CPU time: 89.36 s
Current children cumulated vsize: 171424 KiB
Current children cumulated memory: 125892 KiB
[startup+90.0002 s]*
/proc/loadavg: 3.95 3.29 3.65 5/268 31549
/proc/meminfo: memFree=128693008/131250000 swapFree=33010684/33010684
[pid=31544] ppid=31541 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/31544/stat : 31544 (run-dec-ls.sh) S 31541 31544 31089 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38774818 4292608 768 18446744073709551615 93825652146176 93825653040709 140727398994336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93825653279760 93825653327504 93825660588032 140727399000423 140727399000549 140727399000549 140727399006151 0
/proc/31544/statm: 1048 768 704 219 0 110 0
[pid=31546] ppid=31544 vsize=167232 memory=122820 CPUtime=89.77 cores=1,3
/proc/31546/stat : 31546 (roundingsat) R 31544 31544 31089 0 -1 4194304 26218 0 0 0 8425 552 0 0 20 0 1 0 38774819 171245568 30705 18446744073709551615 4227072 8923433 140736368185648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19095552 140736368191904 140736368192040 140736368192040 140736368197610 0
/proc/31546/statm: 41808 30705 2464 1147 0 29235 0
Current children cumulated CPU time: 89.77 s
Current children cumulated vsize: 171424 KiB
Current children cumulated memory: 125892 KiB
Child status: 0
Real time (s): 90.0381
CPU time (s): 89.8124
CPU user time (s): 84.2794
CPU system time (s): 5.53293
CPU usage (%): 99.7493
Max. virtual memory (cumulated for all children) (KiB): 171424
Max. memory (cumulated for all children) (KiB): 125892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.2794
system time used= 5.53293
maximum resident set size= 122820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26450
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= 145
involuntary context switches= 195
# summary of solver processes directly reported to runsolver:
# pid: 31544
# total CPU time (s): 89.8124
# total CPU user time (s): 84.2794
# total CPU system time (s): 5.53293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177704 second user time and 0.449342 second system time
The end
Begin job on nodeC013 at 2025-06-29 23:02:26
IDJOB=4515636
IDBENCH=165325
IDSOLVER=3353
FILE ID=nodeC013/4515636-1751230946
RUNJOBID= nodeC013-1751230850-31101
SLURM_JOB_ID= 9587703
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515636-1751230946/watcher-4515636-1751230946 -o /tmp/evaluation-result-4515636-1751230946/solver-4515636-1751230946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751230850-31101 --watchdog 3760 run-dec-ls.sh HOME/instance-4515636-1751230946.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ed11ed0a65f838ec27d78822f3aa2f3
RANDOM SEED=204824430
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.825
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3598.824
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3538.976
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.836
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.820
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.834
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.793
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.386
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128928932 kB
MemAvailable: 128895672 kB
Buffers: 3280 kB
Cached: 769772 kB
SwapCached: 0 kB
Active: 1195788 kB
Inactive: 526264 kB
Active(anon): 962284 kB
Inactive(anon): 0 kB
Active(file): 233504 kB
Inactive(file): 526264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8804 kB
Writeback: 0 kB
AnonPages: 952092 kB
Mapped: 111468 kB
Shmem: 13284 kB
KReclaimable: 92020 kB
Slab: 178940 kB
SReclaimable: 92020 kB
SUnreclaim: 86920 kB
KernelStack: 4336 kB
PageTables: 5052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1451012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 403456 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC013 at 2025-06-29 23:03:56