0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4515171-1751220648.opb'
0.00/0.02 c read 0.87MB (15.02ms)
0.00/0.02 c [cnf: #variables 12675 #clauses 11891 #duplicates 0 #arr 84479]
0.00/0.02 c output proof to 'PROOFDIR/proof-4515171-1751220648'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 3536] (16.69ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 18 blocks of candidate 3x154r
0.00/0.05 c found row 3x154, generating row predicate
0.00/0.05 c (9.06ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 62559 #edges 244944]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.42*10^1017 #generators 2572] (15.15ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c ran it=0, +gens=6
0.08/0.18 c con best_support=4, best_gens=2042, +gens=56
0.08/0.18 c (113.11ms)
0.08/0.18 c
0.08/0.18 c finalize break order and special generators
0.08/0.18 c
0.08/0.18 c add generic predicates (break_depth=10)
0.08/0.18 c added predicates for 2634 generators (0.43ms)
0.08/0.20 c
0.08/0.20 c generation finished
0.08/0.20 c [sbp: #constraints 14711 #add_vars 4025]
0.08/0.20 c
0.08/0.20 c write result to 'HOME/instance-4515171-1751220648.opb.pre'
0.08/0.20 c wrote 1.41MB (3.29ms)
0.08/0.20 c ------------------------------------------------------------------
0.08/0.20 c 113.11ms 57.39% optimize_gens
0.08/0.20 c 23.64ms 11.99% other
0.08/0.20 c 16.69ms 8.47% approx_orbits
0.08/0.20 c 15.15ms 7.69% detect_generic
0.08/0.20 c 15.02ms 7.62% parse
0.08/0.20 c 9.06ms 4.60% detect_special
0.08/0.20 c 3.29ms 1.67% output
0.08/0.20 c 0.71ms 0.36% finalize_order
0.08/0.20 c 0.43ms 0.22% break_generic
0.08/0.20 c ───────────────────────────────────────────────
0.08/0.20 c 197.09ms 100% total
0.08/0.20 c ------------------------------------------------------------------
0.19/0.22 c RoundingSat 2
0.19/0.22 c branch pb25
0.19/0.22 c commit 63f22ad
0.36/0.42 c #variables 16700 #constraints 26602
941.54/946.24 c #Conflicts: 1000 | #Constraints: 27601
941.54/946.24 c #Conflicts: 2000 | #Constraints: 28601
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 3000 | #Constraints: 25331
941.54/946.24 c #Conflicts: 4000 | #Constraints: 26331
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 5000 | #Constraints: 24837
941.54/946.24 c #Conflicts: 6000 | #Constraints: 25837
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 7000 | #Constraints: 24324
941.54/946.24 c #Conflicts: 8000 | #Constraints: 25324
941.54/946.24 c #Conflicts: 9000 | #Constraints: 26324
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 10000 | #Constraints: 24683
941.54/946.24 c #Conflicts: 11000 | #Constraints: 25683
941.54/946.24 c #Conflicts: 12000 | #Constraints: 26683
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 13000 | #Constraints: 24881
941.54/946.24 c #Conflicts: 14000 | #Constraints: 25881
941.54/946.24 c #Conflicts: 15000 | #Constraints: 26881
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 16000 | #Constraints: 24895
941.54/946.24 c #Conflicts: 17000 | #Constraints: 25895
941.54/946.24 c #Conflicts: 18000 | #Constraints: 26895
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 19000 | #Constraints: 24642
941.54/946.24 c #Conflicts: 20000 | #Constraints: 25642
941.54/946.24 c #Conflicts: 21000 | #Constraints: 26643
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 22000 | #Constraints: 23322
941.54/946.24 c #Conflicts: 23000 | #Constraints: 24322
941.54/946.24 c #Conflicts: 24000 | #Constraints: 25322
941.54/946.24 c #Conflicts: 25000 | #Constraints: 26322
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 26000 | #Constraints: 22698
941.54/946.24 c #Conflicts: 27000 | #Constraints: 23698
941.54/946.24 c #Conflicts: 28000 | #Constraints: 24698
941.54/946.24 c #Conflicts: 29000 | #Constraints: 25698
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 30000 | #Constraints: 22561
941.54/946.24 c #Conflicts: 31000 | #Constraints: 23561
941.54/946.24 c #Conflicts: 32000 | #Constraints: 24561
941.54/946.24 c #Conflicts: 33000 | #Constraints: 25561
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 34000 | #Constraints: 22640
941.54/946.24 c #Conflicts: 35000 | #Constraints: 23640
941.54/946.24 c #Conflicts: 36000 | #Constraints: 24640
941.54/946.24 c #Conflicts: 37000 | #Constraints: 25640
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 38000 | #Constraints: 22472
941.54/946.24 c #Conflicts: 39000 | #Constraints: 23472
941.54/946.24 c #Conflicts: 40000 | #Constraints: 24472
941.54/946.24 c #Conflicts: 41000 | #Constraints: 25472
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 42000 | #Constraints: 22208
941.54/946.24 c #Conflicts: 43000 | #Constraints: 23208
941.54/946.24 c #Conflicts: 44000 | #Constraints: 24208
941.54/946.24 c #Conflicts: 45000 | #Constraints: 25208
941.54/946.24 c #Conflicts: 46000 | #Constraints: 26208
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c #Conflicts: 47000 | #Constraints: 22747
941.54/946.24 c #Conflicts: 48000 | #Constraints: 23747
941.54/946.24 c #Conflicts: 49000 | #Constraints: 24747
941.54/946.24 c #Conflicts: 50000 | #Constraints: 25747
941.54/946.24 c #Conflicts: 51000 | #Constraints: 26747
941.54/946.24 c INPROCESSING
941.54/946.24 c GARBAGE COLLECT
941.54/946.24 c rational objective 3172.37
2386.45/2397.11 c #Conflicts: 52000 | #Constraints: 23039
2386.45/2397.11 c #Conflicts: 53000 | #Constraints: 24039
2386.45/2397.11 c #Conflicts: 54000 | #Constraints: 25039
2386.45/2397.11 c #Conflicts: 55000 | #Constraints: 26039
2386.45/2397.11 c #Conflicts: 56000 | #Constraints: 27039
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 57000 | #Constraints: 23153
2386.45/2397.11 c #Conflicts: 58000 | #Constraints: 24153
2386.45/2397.11 c #Conflicts: 59000 | #Constraints: 25153
2386.45/2397.11 c #Conflicts: 60000 | #Constraints: 26153
2386.45/2397.11 c #Conflicts: 61000 | #Constraints: 27153
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 62000 | #Constraints: 22187
2386.45/2397.11 c #Conflicts: 63000 | #Constraints: 23187
2386.45/2397.11 c #Conflicts: 64000 | #Constraints: 24187
2386.45/2397.11 c #Conflicts: 65000 | #Constraints: 25187
2386.45/2397.11 c #Conflicts: 66000 | #Constraints: 26187
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 67000 | #Constraints: 21941
2386.45/2397.11 c #Conflicts: 68000 | #Constraints: 22941
2386.45/2397.11 c #Conflicts: 69000 | #Constraints: 23941
2386.45/2397.11 c #Conflicts: 70000 | #Constraints: 24941
2386.45/2397.11 c #Conflicts: 71000 | #Constraints: 25941
2386.45/2397.11 c #Conflicts: 72000 | #Constraints: 26941
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 73000 | #Constraints: 22486
2386.45/2397.11 c #Conflicts: 74000 | #Constraints: 23486
2386.45/2397.11 c #Conflicts: 75000 | #Constraints: 24486
2386.45/2397.11 c #Conflicts: 76000 | #Constraints: 25486
2386.45/2397.11 c #Conflicts: 77000 | #Constraints: 26486
2386.45/2397.11 c #Conflicts: 78000 | #Constraints: 27486
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 79000 | #Constraints: 22801
2386.45/2397.11 c #Conflicts: 80000 | #Constraints: 23801
2386.45/2397.11 c #Conflicts: 81000 | #Constraints: 24801
2386.45/2397.11 c #Conflicts: 82000 | #Constraints: 25801
2386.45/2397.11 c #Conflicts: 83000 | #Constraints: 26801
2386.45/2397.11 c #Conflicts: 84000 | #Constraints: 27801
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 85000 | #Constraints: 22964
2386.45/2397.11 c #Conflicts: 86000 | #Constraints: 23964
2386.45/2397.11 c #Conflicts: 87000 | #Constraints: 24964
2386.45/2397.11 c #Conflicts: 88000 | #Constraints: 25964
2386.45/2397.11 c #Conflicts: 89000 | #Constraints: 26964
2386.45/2397.11 c #Conflicts: 90000 | #Constraints: 27964
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 91000 | #Constraints: 22969
2386.45/2397.11 c #Conflicts: 92000 | #Constraints: 23969
2386.45/2397.11 c #Conflicts: 93000 | #Constraints: 24969
2386.45/2397.11 c #Conflicts: 94000 | #Constraints: 25969
2386.45/2397.11 c #Conflicts: 95000 | #Constraints: 26969
2386.45/2397.11 c #Conflicts: 96000 | #Constraints: 27969
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 97000 | #Constraints: 22770
2386.45/2397.11 c #Conflicts: 98000 | #Constraints: 23770
2386.45/2397.11 c #Conflicts: 99000 | #Constraints: 24770
2386.45/2397.11 c #Conflicts: 100000 | #Constraints: 25770
2386.45/2397.11 c #Conflicts: 101000 | #Constraints: 26770
2386.45/2397.11 c #Conflicts: 102000 | #Constraints: 27770
2386.45/2397.11 c #Conflicts: 103000 | #Constraints: 28770
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 104000 | #Constraints: 23359
2386.45/2397.11 c #Conflicts: 105000 | #Constraints: 24359
2386.45/2397.11 c #Conflicts: 106000 | #Constraints: 25359
2386.45/2397.11 c #Conflicts: 107000 | #Constraints: 26359
2386.45/2397.11 c #Conflicts: 108000 | #Constraints: 27359
2386.45/2397.11 c #Conflicts: 109000 | #Constraints: 28359
2386.45/2397.11 c #Conflicts: 110000 | #Constraints: 29359
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 111000 | #Constraints: 23724
2386.45/2397.11 c #Conflicts: 112000 | #Constraints: 24724
2386.45/2397.11 c #Conflicts: 113000 | #Constraints: 25724
2386.45/2397.11 c #Conflicts: 114000 | #Constraints: 26724
2386.45/2397.11 c #Conflicts: 115000 | #Constraints: 27724
2386.45/2397.11 c #Conflicts: 116000 | #Constraints: 28724
2386.45/2397.11 c #Conflicts: 117000 | #Constraints: 29724
2386.45/2397.11 c INPROCESSING
2386.45/2397.11 c GARBAGE COLLECT
2386.45/2397.11 c #Conflicts: 118000 | #Constraints: 23155
2386.45/2397.11 c #Conflicts: 119000 | #Constraints: 24155
2386.45/2397.11 c #Conflicts: 120000 | #Constraints: 25155
2386.45/2397.11 c #Conflicts: 121000 | #Constraints: 26155
2386.45/2397.11 c #Conflicts: 122000 | #Constraints: 27155
2386.45/2397.11 c #Conflicts: 123000 | #Constraints: 28155
3150.04/3164.45 c #Conflicts: 124000 | #Constraints: 29155
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c #Conflicts: 125000 | #Constraints: 22843
3150.04/3164.45 c #Conflicts: 126000 | #Constraints: 23843
3150.04/3164.45 c #Conflicts: 127000 | #Constraints: 24843
3150.04/3164.45 c #Conflicts: 128000 | #Constraints: 25843
3150.04/3164.45 c #Conflicts: 129000 | #Constraints: 26844
3150.04/3164.45 c #Conflicts: 130000 | #Constraints: 27844
3150.04/3164.45 c #Conflicts: 131000 | #Constraints: 28844
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c #Conflicts: 132000 | #Constraints: 21993
3150.04/3164.45 c #Conflicts: 133000 | #Constraints: 22993
3150.04/3164.45 c #Conflicts: 134000 | #Constraints: 23993
3150.04/3164.45 c #Conflicts: 135000 | #Constraints: 24993
3150.04/3164.45 c #Conflicts: 136000 | #Constraints: 25993
3150.04/3164.45 c #Conflicts: 137000 | #Constraints: 26993
3150.04/3164.45 c #Conflicts: 138000 | #Constraints: 27993
3150.04/3164.45 c #Conflicts: 139000 | #Constraints: 28993
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c #Conflicts: 140000 | #Constraints: 22579
3150.04/3164.45 c #Conflicts: 141000 | #Constraints: 23579
3150.04/3164.45 c #Conflicts: 142000 | #Constraints: 24579
3150.04/3164.45 c #Conflicts: 143000 | #Constraints: 25579
3150.04/3164.45 c #Conflicts: 144000 | #Constraints: 26579
3150.04/3164.45 c #Conflicts: 145000 | #Constraints: 27579
3150.04/3164.45 c #Conflicts: 146000 | #Constraints: 28579
3150.04/3164.45 c #Conflicts: 147000 | #Constraints: 29579
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c #Conflicts: 148000 | #Constraints: 22981
3150.04/3164.45 c #Conflicts: 149000 | #Constraints: 23981
3150.04/3164.45 c #Conflicts: 150000 | #Constraints: 24982
3150.04/3164.45 c #Conflicts: 151000 | #Constraints: 25982
3150.04/3164.45 c #Conflicts: 152000 | #Constraints: 26982
3150.04/3164.45 c #Conflicts: 153000 | #Constraints: 27982
3150.04/3164.45 c #Conflicts: 154000 | #Constraints: 28983
3150.04/3164.45 c #Conflicts: 155000 | #Constraints: 29983
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c #Conflicts: 156000 | #Constraints: 23146
3150.04/3164.45 c #Conflicts: 157000 | #Constraints: 24146
3150.04/3164.45 c #Conflicts: 158000 | #Constraints: 25146
3150.04/3164.45 c #Conflicts: 159000 | #Constraints: 26146
3150.04/3164.45 c #Conflicts: 160000 | #Constraints: 27147
3150.04/3164.45 c #Conflicts: 161000 | #Constraints: 28148
3150.04/3164.45 c #Conflicts: 162000 | #Constraints: 29148
3150.04/3164.45 c #Conflicts: 163000 | #Constraints: 30148
3150.04/3164.45 c INPROCESSING
3150.04/3164.45 c GARBAGE COLLECT
3150.04/3164.45 c rational objective 3380.37
3600.02/3616.01 c #Conflicts: 164000 | #Constraints: 23116
3600.02/3616.01 c #Conflicts: 165000 | #Constraints: 24116
3600.02/3616.01 c #Conflicts: 166000 | #Constraints: 25116
3600.02/3616.01 c #Conflicts: 167000 | #Constraints: 26116
3600.02/3616.01 c #Conflicts: 168000 | #Constraints: 27116
3600.02/3616.01 c #Conflicts: 169000 | #Constraints: 28116
3600.02/3616.01 c #Conflicts: 170000 | #Constraints: 29119
3600.02/3616.01 c #Conflicts: 171000 | #Constraints: 30119
3600.02/3616.01 c INPROCESSING
3600.02/3616.01 c GARBAGE COLLECT
3600.02/3616.01 c #Conflicts: 172000 | #Constraints: 22894
3600.02/3616.01 c #Conflicts: 173000 | #Constraints: 23894
3600.02/3616.01 c #Conflicts: 174000 | #Constraints: 24894
3600.02/3616.01 c #Conflicts: 175000 | #Constraints: 25894
3600.02/3616.01 c #Conflicts: 176000 | #Constraints: 26894
3600.02/3616.01 c #Conflicts: 177000 | #Constraints: 27894
3600.02/3616.01 c #Conflicts: 178000 | #Constraints: 28894
3600.02/3616.01 c #Conflicts: 179000 | #Constraints: 29894
3600.02/3616.01 c #Conflicts: 180000 | #Constraints: 30894
3600.02/3616.01 c INPROCESSING
3600.02/3616.01 c GARBAGE COLLECT
3600.02/3616.01 c #Conflicts: 181000 | #Constraints: 23450
3600.02/3616.01 c #Conflicts: 182000 | #Constraints: 24450
3600.02/3616.01 c #Conflicts: 183000 | #Constraints: 25450
3600.02/3616.01 c cpu time 3586.1 s
3600.02/3616.01 c deterministic time 690012085423 6.90e+11
3600.02/3616.01 c optimization time 75.0192 s
3600.02/3616.01 c total solve time 3510.94 s
3600.02/3616.01 c core-guided solve time 0 s
3600.02/3616.01 c propagation time 2034.95 s
3600.02/3616.01 c conflict analysis time 559.585 s
3600.02/3616.01 c propagations 77661978
3600.02/3616.01 c resolve steps 3777561
3600.02/3616.01 c decisions 8324142
3600.02/3616.01 c conflicts 183734
3600.02/3616.01 c restarts 507
3600.02/3616.01 c inprocessing phases 34
3600.02/3616.01 c garbage collections 34 ,( 100.00 )
3600.02/3616.01 c input clauses 26477 ,( 99.53 )
3600.02/3616.01 c input cardinalities 124 ,( 0.47 )
3600.02/3616.01 c input general constraints 1 ,( 0.00 )
3600.02/3616.01 c input average constraint length 4.70
3600.02/3616.01 c input average constraint degree 51.15
3600.02/3616.01 c learned clauses 14297 ,( 7.78 )
3600.02/3616.01 c learned cardinalities 743 ,( 0.40 )
3600.02/3616.01 c learned general constraints 168733 ,( 91.82 )
3600.02/3616.01 c learned average constraint length 7032.44
3600.02/3616.01 c learned average constraint degree 20534094089.17
3600.02/3616.01 c watched CF 32, 64, 128, Arb: 137974 , 0 , 0 , 0
3600.02/3616.01 c counting CF 32, 64, 128, Arb: 30760 , 0 , 0 , 0
3600.02/3616.01 c watched constraints 137974 ,( 81.77 )
3600.02/3616.01 c counting constraints 30760 ,( 18.23 )
3600.02/3616.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41406544 , 1490999 , 3058936756 ,( 2164267731 , 894669025 )
3600.02/3616.01 c gcd simplifications 4388
3600.02/3616.01 c detected cardinalities 0
3600.02/3616.01 c weakened non-implied lits 119715865
3600.02/3616.01 c weakened non-implying lits 820500
3600.02/3616.01 c original variables 16700
3600.02/3616.01 c clausal propagations 39896241
3600.02/3616.01 c cardinality propagations 10574173
3600.02/3616.01 c watched propagations 14701685
3600.02/3616.01 c counting propagations 10075866
3600.02/3616.01 c watch lookups 51816019591
3600.02/3616.01 c watch backjump lookups 0
3600.02/3616.01 c watch checks 460448356155
3600.02/3616.01 c propagation checks 174700925351
3600.02/3616.01 c constraint additions 2874594684
3600.02/3616.01 c trail pops 86156896
3600.02/3616.01 c formula constraints 26602
3600.02/3616.01 c learned constraints 183724
3600.02/3616.01 c bound constraints 0
3600.02/3616.01 c core-guided constraints 0
3600.02/3616.01 c encountered formula constraints 3588585
3600.02/3616.01 c encountered learned constraints 359433
3600.02/3616.01 c encountered bound constraints 0
3600.02/3616.01 c encountered core-guided constraints 0
3600.02/3616.01 c LP total time 29.396 s
3600.02/3616.01 c LP solve time 22.98 s
3600.02/3616.01 c LP constraints added 26630
3600.02/3616.01 c LP constraints removed 1
3600.02/3616.01 c LP pivots internal 19234
3600.02/3616.01 c LP pivots root 27391
3600.02/3616.01 c LP calls 20
3600.02/3616.01 c LP optimalities 2
3600.02/3616.01 c LP no pivot count 0
3600.02/3616.01 c LP infeasibilities 14
3600.02/3616.01 c LP valid Farkas constraints 14
3600.02/3616.01 c LP learned Farkas constraints 10
3600.02/3616.01 c LP basis resets 0
3600.02/3616.01 c LP cycling count 0
3600.02/3616.01 c LP singular count 0
3600.02/3616.01 c LP no primal count 0
3600.02/3616.01 c LP no farkas count 0
3600.02/3616.01 c LP other issue count 0
3600.02/3616.01 c LP Gomory cuts 25
3600.02/3616.01 c LP learned cuts 3
3600.02/3616.01 c LP deleted cuts 1
3600.02/3616.01 c LP encountered Gomory constraints 0
3600.02/3616.01 c LP encountered Farkas constraints 13250
3600.02/3616.01 c LP encountered learned Farkas constraints 17
3600.02/3616.01 c CG auxiliary variables introduced 0
3600.02/3616.01 c CG solutions found 0
3600.02/3616.01 c CG cores constructed 0
3600.02/3616.01 c CG core cardinality constraints returned 0
3600.02/3616.01 c CG unit cores 0
3600.02/3616.01 c CG single cores 0
3600.02/3616.01 c CG blocks removed during cardinality reduction 0
3600.02/3616.01 c CG first core best 0
3600.02/3616.01 c CG decision core best 0
3600.02/3616.01 c CG core reduction tie 0
3600.02/3616.01 c CG core degree average 0.00
3600.02/3616.01 c CG core slack average 0.00
3600.02/3616.01 c CG core upper bound improvements 0
3600.02/3616.01 c STR number of successful calls 0
3600.02/3616.01 c STR number of unsuccessful calls 0
3600.02/3616.01 c STR number of inconclusive calls 0
3600.02/3616.01 c STR number of successful attempts 0
3600.02/3616.01 c STR number of unsuccessful attempts 0
3600.02/3616.01 c STR number of inconclusive attempts 0
3600.02/3616.01 c STR average degree increase per successful call inf
3600.02/3616.01 c STR average degree increase per successful attempt inf
3600.02/3616.01 c STR total number of conflicts for successful attempts 0
3600.02/3616.01 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3616.01 c STR total number of conflicts for inconclusive attempts 0
3600.02/3616.01 c STR average number of conflicts per successful attempt inf
3600.02/3616.01 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3616.01 c STR average number of conflicts per inconclusive attempt inf
3600.02/3616.01 c AVG.sumWPerc 21.97
3600.02/3616.01 c bigint constraints 0
3600.02/3616.01 s UNKNOWN
3600.02/3616.01 c Program interrupted by user.
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: 63708 MiB (35202 MiB free)
memory of node 1: 64465 MiB (59729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515171-1751220648/watcher-4515171-1751220648 -o /tmp/evaluation-result-4515171-1751220648/solver-4515171-1751220648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751214528-35319 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515171-1751220648.opb PROOFDIR/proof-4515171-1751220648
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36688, runsolver pid=36685
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.11 4.09 5/274 36690
/proc/meminfo: memFree=97181664/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36690] ppid=36688 vsize=43116 memory=28300 CPUtime=0.08 cores=4,6
/proc/36690/stat : 36690 (pbsuma) R 36688 36688 35308 0 -1 4194304 8548 0 0 0 7 1 0 0 20 0 1 0 37742311 44150784 7075 18446744073709551615 4210688 4653049 140726918074064 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32387072 140726918076643 140726918076978 140726918076978 140726918082543 0
/proc/36690/statm: 10779 7075 1024 108 0 8187 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 31244 KiB
[startup+0.205675 s]*
/proc/loadavg: 4.15 4.11 4.09 5/274 36690
/proc/meminfo: memFree=97181664/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36690] ppid=36688 vsize=40580 memory=26296 CPUtime=0.19 cores=4,6
/proc/36690/stat : 36690 (pbsuma) D 36688 36688 35308 0 -1 4194304 8747 0 0 0 18 1 0 0 20 0 1 0 37742311 41553920 6574 18446744073709551615 4210688 4653049 140726918074064 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 32387072 140726918076643 140726918076978 140726918076978 140726918082543 0
/proc/36690/statm: 10145 6574 1024 108 0 7553 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44772 KiB
Current children cumulated memory: 29240 KiB
[startup+0.305953 s]*
/proc/loadavg: 4.15 4.11 4.09 5/274 36691
/proc/meminfo: memFree=97183472/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=66952 memory=22112 CPUtime=0.07 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 3736 0 0 0 6 1 0 0 20 0 1 0 37742333 68558848 5528 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 16738 5528 2016 1147 0 4165 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71144 KiB
Current children cumulated memory: 25056 KiB
[startup+0.700202 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 36691
/proc/meminfo: memFree=97149512/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=0.45 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13022 0 0 0 41 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+1.50018 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 36691
/proc/meminfo: memFree=97145228/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=1.25 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13036 0 0 0 121 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+3.10546 s]
/proc/loadavg: 4.14 4.11 4.09 5/274 36691
/proc/meminfo: memFree=97129080/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=2.85 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13037 0 0 0 281 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+6.30012 s]
/proc/loadavg: 4.14 4.11 4.09 5/274 36691
/proc/meminfo: memFree=97130516/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=6.04 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13037 0 0 0 600 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 36692
/proc/meminfo: memFree=97066972/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=12.43 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13039 0 0 0 1239 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/274 36692
/proc/meminfo: memFree=96962856/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=114488 memory=67716 CPUtime=25.2 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 13039 0 0 0 2516 4 0 0 20 0 1 0 37742333 117235712 16929 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 28622 16929 2304 1147 0 16049 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70660 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 36694
/proc/meminfo: memFree=96471224/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=264268 memory=211212 CPUtime=50.75 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 22819 0 0 0 5009 66 0 0 20 0 1 0 37742333 270610432 52803 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 66067 52803 2336 1147 0 53494 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 268460 KiB
Current children cumulated memory: 214156 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/275 36696
/proc/meminfo: memFree=95708036/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=369900 memory=304512 CPUtime=101.42 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 29298 0 0 0 10037 105 0 0 20 0 1 0 37742333 378777600 76128 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 92475 76128 2336 1147 0 79902 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 374092 KiB
Current children cumulated memory: 307456 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 36698
/proc/meminfo: memFree=95053940/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=533396 memory=383688 CPUtime=161.24 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 37396 0 0 0 15963 161 0 0 20 0 1 0 37742333 546197504 95922 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 133349 95922 2336 1147 0 120776 0
Current children cumulated CPU time: 161.43 s
Current children cumulated vsize: 537588 KiB
Current children cumulated memory: 386632 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 36704
/proc/meminfo: memFree=94462172/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=564764 memory=478512 CPUtime=221.07 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 44743 0 0 0 21906 201 0 0 20 0 1 0 37742333 578318336 119628 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
################
# More data... #
################
[pid=36691] ppid=36688 vsize=2772968 memory=2367296 CPUtime=3087.95 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 379489 0 0 0 307603 1192 0 0 20 0 1 0 37742333 2839519232 591824 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 693242 591824 2368 1147 0 680669 0
Current children cumulated CPU time: 3088.14 s
Current children cumulated vsize: 2777160 KiB
Current children cumulated memory: 2370240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/275 37062
/proc/meminfo: memFree=103199492/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2787432 memory=2390088 CPUtime=3147.76 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 382699 0 0 0 313566 1210 0 0 20 0 1 0 37742333 2854330368 597522 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 696858 597522 2368 1147 0 684285 0
Current children cumulated CPU time: 3147.95 s
Current children cumulated vsize: 2791624 KiB
Current children cumulated memory: 2393032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/276 37067
/proc/meminfo: memFree=102582144/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2805992 memory=2407504 CPUtime=3207.61 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 385580 0 0 0 319535 1226 0 0 20 0 1 0 37742333 2873335808 601876 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 701498 601876 2368 1147 0 688925 0
Current children cumulated CPU time: 3207.8 s
Current children cumulated vsize: 2810184 KiB
Current children cumulated memory: 2410448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/278 37073
/proc/meminfo: memFree=101922696/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2809192 memory=2409424 CPUtime=3267.37 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 386139 0 0 0 325492 1245 0 0 20 0 1 0 37742333 2876612608 602356 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 702298 602356 2368 1147 0 689725 0
Current children cumulated CPU time: 3267.56 s
Current children cumulated vsize: 2813384 KiB
Current children cumulated memory: 2412368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/278 37075
/proc/meminfo: memFree=101182300/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2824168 memory=2421956 CPUtime=3327.2 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 389094 0 0 0 331458 1262 0 0 20 0 1 0 37742333 2891948032 605489 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 706042 605489 2368 1147 0 693469 0
Current children cumulated CPU time: 3327.39 s
Current children cumulated vsize: 2828360 KiB
Current children cumulated memory: 2424900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/279 37080
/proc/meminfo: memFree=100313948/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2838376 memory=2444272 CPUtime=3387.05 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 391943 0 0 0 337425 1280 0 0 20 0 1 0 37742333 2906497024 611068 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 709594 611068 2368 1147 0 697021 0
Current children cumulated CPU time: 3387.24 s
Current children cumulated vsize: 2842568 KiB
Current children cumulated memory: 2447216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/280 37085
/proc/meminfo: memFree=99660096/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2855148 memory=2454128 CPUtime=3446.8 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 394452 0 0 0 343372 1308 0 0 20 0 1 0 37742333 2923671552 613532 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 713787 613532 2368 1147 0 701214 0
Current children cumulated CPU time: 3446.99 s
Current children cumulated vsize: 2859340 KiB
Current children cumulated memory: 2457072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/280 37087
/proc/meminfo: memFree=98867148/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2883696 memory=2472048 CPUtime=3506.59 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 399029 0 0 0 349337 1322 0 0 20 0 1 0 37742333 2952904704 618012 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 720924 618012 2368 1147 0 708351 0
Current children cumulated CPU time: 3506.78 s
Current children cumulated vsize: 2887888 KiB
Current children cumulated memory: 2474992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/278 37089
/proc/meminfo: memFree=97894348/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=2909648 memory=2489072 CPUtime=3566.46 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 403890 0 0 0 355300 1346 0 0 20 0 1 0 37742333 2979479552 622268 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 727412 622268 2368 1147 0 714839 0
Current children cumulated CPU time: 3566.65 s
Current children cumulated vsize: 2913840 KiB
Current children cumulated memory: 2492016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616 s]*
/proc/loadavg: 4.15 4.13 4.12 5/277 37090
/proc/meminfo: memFree=97134796/131250000 swapFree=33010684/33010684
[pid=36688] ppid=36685 vsize=4192 memory=2944 CPUtime=0.19 cores=4,6
/proc/36688/stat : 36688 (run-dec-break-l) S 36685 36688 35308 0 -1 4194304 241 8750 0 0 0 0 18 1 20 0 1 0 37742311 4292608 736 18446744073709551615 93834184429568 93834185324101 140729861994416 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834185563152 93834185610896 93834192576512 140729861998869 140729861999070 140729861999070 140729862004672 0
/proc/36688/statm: 1048 736 672 219 0 110 0
[pid=36691] ppid=36688 vsize=3008888 memory=2556656 CPUtime=3599.83 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36688 36688 35308 0 -1 4194304 420815 0 0 0 358609 1374 0 0 20 0 1 0 37742333 3081101312 639164 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 752222 639164 2368 1147 0 739649 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3013080 KiB
Current children cumulated memory: 2559600 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3616.01 s]
# the end of solver process 36688 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.185772 s, system=0.0178 s
Sleeping 2 seconds
[startup+3616.27 s]
# the end of solver process 36691 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.3 s, system=13.8273 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616.21 s]
/proc/loadavg: 4.15 4.13 4.12 4/276 37090
/proc/meminfo: memFree=97140016/131250000 swapFree=33010684/33010684
[pid=36691] ppid=36685 vsize=3008888 memory=2556912 CPUtime=3599.87 cores=4,6
/proc/36691/stat : 36691 (roundingsat) R 36685 36688 35308 0 -1 4194304 420820 0 0 0 358610 1377 0 0 20 0 1 0 37742333 3081101312 639228 18446744073709551615 4227072 8923433 140727479642400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24535040 140727479650548 140727479650856 140727479650856 140727479656426 0
/proc/36691/statm: 752222 639228 2432 1147 0 739649 0
Current cumulated CPU time of completed processes: 0.203572 s
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 3008888 KiB
Current children cumulated memory: 2556912 KiB
Child status: 2
Real time (s): 3616.27
CPU time (s): 3600.13
CPU user time (s): 3586.3
CPU system time (s): 13.8273
CPU usage (%): 99.5537
Max. virtual memory (cumulated for all children) (KiB): 3013080
Max. memory (cumulated for all children) (KiB): 2559600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.3
system time used= 13.8273
maximum resident set size= 2556912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11772920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6514
involuntary context switches= 6020
# summary of solver processes directly reported to runsolver:
# pid: 36688,36691
# total CPU time (s): 3600.13
# total CPU user time (s): 3586.3
# total CPU system time (s): 13.8273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21422 second user time and 15.932 second system time
The end
Begin job on nodeC016 at 2025-06-29 20:10:48
IDJOB=4515171
IDBENCH=164178
IDSOLVER=3358
FILE ID=nodeC016/4515171-1751220648
RUNJOBID= nodeC016-1751214528-35319
SLURM_JOB_ID= 9587646
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515171-1751220648/watcher-4515171-1751220648 -o /tmp/evaluation-result-4515171-1751220648/solver-4515171-1751220648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751214528-35319 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515171-1751220648.opb PROOFDIR/proof-4515171-1751220648
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7
RANDOM SEED=195622398
nodeC016 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.734
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.48
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 : 3599.739
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.818
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.48
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 : 3610.304
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3551.389
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.48
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.724
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
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.48
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 : 3700.000
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 97210644 kB
MemAvailable: 128365136 kB
Buffers: 3280 kB
Cached: 31928356 kB
SwapCached: 0 kB
Active: 1634852 kB
Inactive: 31706488 kB
Active(anon): 1427880 kB
Inactive(anon): 0 kB
Active(file): 206972 kB
Inactive(file): 31706488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 253896 kB
Writeback: 0 kB
AnonPages: 1407920 kB
Mapped: 117268 kB
Shmem: 18072 kB
KReclaimable: 160540 kB
Slab: 256348 kB
SReclaimable: 160540 kB
SUnreclaim: 95808 kB
KernelStack: 4400 kB
PageTables: 5936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1895176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150728 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1232896 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC016 at 2025-06-29 21:11:04