0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.98/2.06 c #variables 1871280 #constraints 93919
382.96/383.88 c #Conflicts: 1000 | #Constraints: 94918
382.96/383.88 c #Conflicts: 2000 | #Constraints: 95918
382.96/383.88 c INPROCESSING
382.96/383.88 c #Conflicts: 3000 | #Constraints: 95932
382.96/383.88 c #Conflicts: 4000 | #Constraints: 96932
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 5000 | #Constraints: 96347
382.96/383.88 c #Conflicts: 6000 | #Constraints: 97347
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 7000 | #Constraints: 96342
382.96/383.88 c #Conflicts: 8000 | #Constraints: 97342
382.96/383.88 c #Conflicts: 9000 | #Constraints: 98342
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 10000 | #Constraints: 97032
382.96/383.88 c #Conflicts: 11000 | #Constraints: 98032
382.96/383.88 c #Conflicts: 12000 | #Constraints: 99032
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 13000 | #Constraints: 97499
382.96/383.88 c #Conflicts: 14000 | #Constraints: 98499
382.96/383.88 c #Conflicts: 15000 | #Constraints: 99499
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 16000 | #Constraints: 97714
382.96/383.88 c #Conflicts: 17000 | #Constraints: 98714
382.96/383.88 c #Conflicts: 18000 | #Constraints: 99714
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 19000 | #Constraints: 97734
382.96/383.88 c #Conflicts: 20000 | #Constraints: 98734
382.96/383.88 c #Conflicts: 21000 | #Constraints: 99734
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 22000 | #Constraints: 97534
382.96/383.88 c #Conflicts: 23000 | #Constraints: 98534
382.96/383.88 c #Conflicts: 24000 | #Constraints: 99534
382.96/383.88 c #Conflicts: 25000 | #Constraints: 100534
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 26000 | #Constraints: 98150
382.96/383.88 c #Conflicts: 27000 | #Constraints: 99150
382.96/383.88 c #Conflicts: 28000 | #Constraints: 100150
382.96/383.88 c #Conflicts: 29000 | #Constraints: 101150
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 30000 | #Constraints: 98561
382.96/383.88 c #Conflicts: 31000 | #Constraints: 99561
382.96/383.88 c #Conflicts: 32000 | #Constraints: 100561
382.96/383.88 c #Conflicts: 33000 | #Constraints: 101561
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 34000 | #Constraints: 98755
382.96/383.88 c #Conflicts: 35000 | #Constraints: 99755
382.96/383.88 c #Conflicts: 36000 | #Constraints: 100755
382.96/383.88 c #Conflicts: 37000 | #Constraints: 101755
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 38000 | #Constraints: 98763
382.96/383.88 c #Conflicts: 39000 | #Constraints: 99763
382.96/383.88 c #Conflicts: 40000 | #Constraints: 100763
382.96/383.88 c #Conflicts: 41000 | #Constraints: 101763
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 42000 | #Constraints: 98556
382.96/383.88 c #Conflicts: 43000 | #Constraints: 99556
382.96/383.88 c #Conflicts: 44000 | #Constraints: 100556
382.96/383.88 c #Conflicts: 45000 | #Constraints: 101556
382.96/383.88 c #Conflicts: 46000 | #Constraints: 102556
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 47000 | #Constraints: 99176
382.96/383.88 c #Conflicts: 48000 | #Constraints: 100176
382.96/383.88 c #Conflicts: 49000 | #Constraints: 101176
382.96/383.88 c #Conflicts: 50000 | #Constraints: 102176
382.96/383.88 c #Conflicts: 51000 | #Constraints: 103176
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 52000 | #Constraints: 99573
382.96/383.88 c #Conflicts: 53000 | #Constraints: 100573
382.96/383.88 c #Conflicts: 54000 | #Constraints: 101573
382.96/383.88 c #Conflicts: 55000 | #Constraints: 102573
382.96/383.88 c #Conflicts: 56000 | #Constraints: 103573
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 57000 | #Constraints: 99776
382.96/383.88 c #Conflicts: 58000 | #Constraints: 100776
382.96/383.88 c #Conflicts: 59000 | #Constraints: 101776
382.96/383.88 c #Conflicts: 60000 | #Constraints: 102776
382.96/383.88 c #Conflicts: 61000 | #Constraints: 103776
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 62000 | #Constraints: 99789
382.96/383.88 c #Conflicts: 63000 | #Constraints: 100789
382.96/383.88 c #Conflicts: 64000 | #Constraints: 101789
382.96/383.88 c #Conflicts: 65000 | #Constraints: 102789
382.96/383.88 c #Conflicts: 66000 | #Constraints: 103789
382.96/383.88 c INPROCESSING
382.96/383.88 c GARBAGE COLLECT
382.96/383.88 c #Conflicts: 67000 | #Constraints: 99594
382.96/383.88 c #Conflicts: 68000 | #Constraints: 100594
1010.28/1012.48 c #Conflicts: 69000 | #Constraints: 101594
1010.28/1012.48 c #Conflicts: 70000 | #Constraints: 102594
1010.28/1012.48 c #Conflicts: 71000 | #Constraints: 103594
1010.28/1012.48 c #Conflicts: 72000 | #Constraints: 104594
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 73000 | #Constraints: 100196
1010.28/1012.48 c #Conflicts: 74000 | #Constraints: 101196
1010.28/1012.48 c #Conflicts: 75000 | #Constraints: 102196
1010.28/1012.48 c #Conflicts: 76000 | #Constraints: 103196
1010.28/1012.48 c #Conflicts: 77000 | #Constraints: 104196
1010.28/1012.48 c #Conflicts: 78000 | #Constraints: 105196
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 79000 | #Constraints: 100611
1010.28/1012.48 c #Conflicts: 80000 | #Constraints: 101611
1010.28/1012.48 c #Conflicts: 81000 | #Constraints: 102611
1010.28/1012.48 c #Conflicts: 82000 | #Constraints: 103611
1010.28/1012.48 c #Conflicts: 83000 | #Constraints: 104611
1010.28/1012.48 c #Conflicts: 84000 | #Constraints: 105611
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 85000 | #Constraints: 100829
1010.28/1012.48 c #Conflicts: 86000 | #Constraints: 101829
1010.28/1012.48 c #Conflicts: 87000 | #Constraints: 102829
1010.28/1012.48 c #Conflicts: 88000 | #Constraints: 103829
1010.28/1012.48 c #Conflicts: 89000 | #Constraints: 104829
1010.28/1012.48 c #Conflicts: 90000 | #Constraints: 105829
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 91000 | #Constraints: 100832
1010.28/1012.48 c #Conflicts: 92000 | #Constraints: 101832
1010.28/1012.48 c #Conflicts: 93000 | #Constraints: 102832
1010.28/1012.48 c #Conflicts: 94000 | #Constraints: 103832
1010.28/1012.48 c #Conflicts: 95000 | #Constraints: 104832
1010.28/1012.48 c #Conflicts: 96000 | #Constraints: 105832
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 97000 | #Constraints: 100648
1010.28/1012.48 c #Conflicts: 98000 | #Constraints: 101648
1010.28/1012.48 c #Conflicts: 99000 | #Constraints: 102648
1010.28/1012.48 c #Conflicts: 100000 | #Constraints: 103648
1010.28/1012.48 c #Conflicts: 101000 | #Constraints: 104648
1010.28/1012.48 c #Conflicts: 102000 | #Constraints: 105648
1010.28/1012.48 c #Conflicts: 103000 | #Constraints: 106648
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 104000 | #Constraints: 101299
1010.28/1012.48 c #Conflicts: 105000 | #Constraints: 102299
1010.28/1012.48 c #Conflicts: 106000 | #Constraints: 103299
1010.28/1012.48 c #Conflicts: 107000 | #Constraints: 104299
1010.28/1012.48 c #Conflicts: 108000 | #Constraints: 105299
1010.28/1012.48 c #Conflicts: 109000 | #Constraints: 106299
1010.28/1012.48 c #Conflicts: 110000 | #Constraints: 107299
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 111000 | #Constraints: 101737
1010.28/1012.48 c #Conflicts: 112000 | #Constraints: 102737
1010.28/1012.48 c #Conflicts: 113000 | #Constraints: 103737
1010.28/1012.48 c #Conflicts: 114000 | #Constraints: 104737
1010.28/1012.48 c #Conflicts: 115000 | #Constraints: 105737
1010.28/1012.48 c #Conflicts: 116000 | #Constraints: 106737
1010.28/1012.48 c #Conflicts: 117000 | #Constraints: 107737
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 118000 | #Constraints: 101955
1010.28/1012.48 c #Conflicts: 119000 | #Constraints: 102955
1010.28/1012.48 c #Conflicts: 120000 | #Constraints: 103955
1010.28/1012.48 c #Conflicts: 121000 | #Constraints: 104955
1010.28/1012.48 c #Conflicts: 122000 | #Constraints: 105955
1010.28/1012.48 c #Conflicts: 123000 | #Constraints: 106955
1010.28/1012.48 c #Conflicts: 124000 | #Constraints: 107955
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 125000 | #Constraints: 101981
1010.28/1012.48 c #Conflicts: 126000 | #Constraints: 102981
1010.28/1012.48 c #Conflicts: 127000 | #Constraints: 103981
1010.28/1012.48 c #Conflicts: 128000 | #Constraints: 104981
1010.28/1012.48 c #Conflicts: 129000 | #Constraints: 105981
1010.28/1012.48 c #Conflicts: 130000 | #Constraints: 106981
1010.28/1012.48 c #Conflicts: 131000 | #Constraints: 107981
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 132000 | #Constraints: 101818
1010.28/1012.48 c #Conflicts: 133000 | #Constraints: 102818
1010.28/1012.48 c #Conflicts: 134000 | #Constraints: 103818
1010.28/1012.48 c #Conflicts: 135000 | #Constraints: 104818
1010.28/1012.48 c #Conflicts: 136000 | #Constraints: 105818
1010.28/1012.48 c #Conflicts: 137000 | #Constraints: 106818
1010.28/1012.48 c #Conflicts: 138000 | #Constraints: 107818
1010.28/1012.48 c #Conflicts: 139000 | #Constraints: 108818
1010.28/1012.48 c INPROCESSING
1010.28/1012.48 c GARBAGE COLLECT
1010.28/1012.48 c #Conflicts: 140000 | #Constraints: 102446
1537.27/1540.53 c #Conflicts: 141000 | #Constraints: 103446
1537.27/1540.53 c #Conflicts: 142000 | #Constraints: 104446
1537.27/1540.53 c #Conflicts: 143000 | #Constraints: 105446
1537.27/1540.53 c #Conflicts: 144000 | #Constraints: 106446
1537.27/1540.53 c #Conflicts: 145000 | #Constraints: 107446
1537.27/1540.53 c #Conflicts: 146000 | #Constraints: 108446
1537.27/1540.53 c #Conflicts: 147000 | #Constraints: 109446
1537.27/1540.53 c INPROCESSING
1537.27/1540.53 c GARBAGE COLLECT
1537.27/1540.53 c #Conflicts: 148000 | #Constraints: 102892
1537.27/1540.53 c #Conflicts: 149000 | #Constraints: 103892
1537.27/1540.53 c #Conflicts: 150000 | #Constraints: 104892
1537.27/1540.53 c #Conflicts: 151000 | #Constraints: 105892
1537.27/1540.53 c #Conflicts: 152000 | #Constraints: 106892
1537.27/1540.53 c #Conflicts: 153000 | #Constraints: 107892
1537.27/1540.53 c #Conflicts: 154000 | #Constraints: 108892
1537.27/1540.53 c #Conflicts: 155000 | #Constraints: 109892
1537.27/1540.53 c INPROCESSING
1537.27/1540.53 c GARBAGE COLLECT
1537.27/1540.53 c #Conflicts: 156000 | #Constraints: 103199
1537.27/1540.53 c #Conflicts: 157000 | #Constraints: 104199
1537.27/1540.53 c #Conflicts: 158000 | #Constraints: 105199
1537.27/1540.53 c #Conflicts: 159000 | #Constraints: 106199
1537.27/1540.53 c #Conflicts: 160000 | #Constraints: 107199
1537.27/1540.53 c #Conflicts: 161000 | #Constraints: 108199
1537.27/1540.53 c #Conflicts: 162000 | #Constraints: 109199
1537.27/1540.53 c #Conflicts: 163000 | #Constraints: 110199
1537.27/1540.53 c INPROCESSING
1537.27/1540.53 c GARBAGE COLLECT
1537.27/1540.53 c #Conflicts: 164000 | #Constraints: 103272
1537.27/1540.53 c #Conflicts: 165000 | #Constraints: 104272
1537.27/1540.53 c #Conflicts: 166000 | #Constraints: 105272
1537.27/1540.53 c #Conflicts: 167000 | #Constraints: 106272
1537.27/1540.53 c #Conflicts: 168000 | #Constraints: 107272
1537.27/1540.53 c #Conflicts: 169000 | #Constraints: 108272
1537.27/1540.53 c #Conflicts: 170000 | #Constraints: 109272
1537.27/1540.53 c #Conflicts: 171000 | #Constraints: 110272
1537.27/1540.53 c INPROCESSING
1537.27/1540.53 c GARBAGE COLLECT
1537.27/1540.53 c #Conflicts: 172000 | #Constraints: 103193
1537.27/1540.53 c #Conflicts: 173000 | #Constraints: 104193
1537.27/1540.53 c #Conflicts: 174000 | #Constraints: 105193
1537.27/1540.53 c #Conflicts: 175000 | #Constraints: 106193
1537.27/1540.53 c #Conflicts: 176000 | #Constraints: 107193
1537.27/1540.53 c #Conflicts: 177000 | #Constraints: 108193
1537.27/1540.53 c #Conflicts: 178000 | #Constraints: 109193
1537.27/1540.53 c #Conflicts: 179000 | #Constraints: 110193
1537.27/1540.53 c #Conflicts: 180000 | #Constraints: 111193
1537.27/1540.53 c #Conflicts: 181000 | #Constraints: 112193
1537.27/1540.53 c #Conflicts: 182000 | #Constraints: 113193
1537.27/1540.53 c #Conflicts: 183000 | #Constraints: 114193
1537.27/1540.53 c #Conflicts: 184000 | #Constraints: 115193
1537.27/1540.53 c #Conflicts: 185000 | #Constraints: 116193
1537.27/1540.53 c #Conflicts: 186000 | #Constraints: 117193
1537.27/1540.53 c #Conflicts: 187000 | #Constraints: 118193
1537.27/1540.53 c #Conflicts: 188000 | #Constraints: 119193
1537.27/1540.53 c #Conflicts: 189000 | #Constraints: 120193
1537.27/1540.53 c #Conflicts: 190000 | #Constraints: 121193
1537.27/1540.53 c cpu time 679.857 s
1537.27/1540.53 c deterministic time 5796198305 5.80e+09
1537.27/1540.53 c optimization time 5.1e-05 s
1537.27/1540.53 c total solve time 678.203 s
1537.27/1540.53 c core-guided solve time 0 s
1537.27/1540.53 c propagation time 336.27 s
1537.27/1540.53 c conflict analysis time 9.27465 s
1537.27/1540.53 c propagations 63353153
1537.27/1540.53 c resolve steps 427748
1537.27/1540.53 c decisions 1338704416
1537.27/1540.53 c conflicts 190488
1537.27/1540.53 c restarts 505
1537.27/1540.53 c inprocessing phases 33
1537.27/1540.53 c garbage collections 32 ,( 96.97 )
1537.27/1540.53 c input clauses 47477 ,( 50.55 )
1537.27/1540.53 c input cardinalities 46442 ,( 49.45 )
1537.27/1540.53 c input general constraints 0 ,( 0.00 )
1537.27/1540.53 c input average constraint length 42.83
1537.27/1540.53 c input average constraint degree 21.27
1537.27/1540.53 c learned clauses 16677 ,( 8.75 )
1537.27/1540.53 c learned cardinalities 173788 ,( 91.23 )
1537.27/1540.53 c learned general constraints 22 ,( 0.01 )
1537.27/1540.53 c learned average constraint length 570.30
1537.27/1540.53 c learned average constraint degree 293.07
1537.27/1540.53 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1537.27/1540.53 c counting CF 32, 64, 128, Arb: 21 , 0 , 0 , 0
1537.27/1540.53 c watched constraints 1 ,( 4.55 )
1537.27/1540.53 c counting constraints 21 ,( 95.45 )
1537.27/1540.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33734792 , 33341413 , 302 ,( 55 , 247 )
1537.27/1540.53 c gcd simplifications 2
1537.27/1540.53 c detected cardinalities 1
1537.27/1540.53 c weakened non-implied lits 985
1537.27/1540.53 c weakened non-implying lits 0
1537.27/1540.53 c original variables 1871280
1537.27/1540.53 c clausal propagations 32098385
1537.27/1540.53 c cardinality propagations 29907192
1537.27/1540.53 c watched propagations 0
1537.27/1540.53 c counting propagations 549
1537.27/1540.53 c watch lookups 67117878
1537.27/1540.53 c watch backjump lookups 0
1537.47/1540.71 c watch checks 1362717034
1537.47/1540.71 c propagation checks 1437473257
1537.47/1540.71 c constraint additions 124521563
1537.47/1540.71 c trail pops 1402248003
1537.47/1540.71 c formula constraints 93919
1537.47/1540.71 c learned constraints 190487
1537.47/1540.71 c bound constraints 0
1537.47/1540.71 c core-guided constraints 0
1537.47/1540.71 c encountered formula constraints 366917
1537.47/1540.71 c encountered learned constraints 251319
1537.47/1540.71 c encountered bound constraints 0
1537.47/1540.71 c encountered core-guided constraints 0
1537.47/1540.71 c LP total time 11.8658 s
1537.47/1540.71 c LP solve time 10.78 s
1537.47/1540.71 c LP constraints added 93919
1537.47/1540.71 c LP constraints removed 0
1537.47/1540.71 c LP pivots internal 42000
1537.47/1540.71 c LP pivots root 21000
1537.47/1540.71 c LP calls 6
1537.47/1540.71 c LP optimalities 0
1537.47/1540.71 c LP no pivot count 0
1537.47/1540.71 c LP infeasibilities 0
1537.47/1540.71 c LP valid Farkas constraints 0
1537.47/1540.71 c LP learned Farkas constraints 0
1537.47/1540.71 c LP basis resets 0
1537.47/1540.71 c LP cycling count 0
1537.47/1540.71 c LP singular count 0
1537.47/1540.71 c LP no primal count 0
1537.47/1540.71 c LP no farkas count 0
1537.47/1540.71 c LP other issue count 0
1537.47/1540.71 c LP Gomory cuts 0
1537.47/1540.71 c LP learned cuts 0
1537.47/1540.71 c LP deleted cuts 0
1537.47/1540.71 c LP encountered Gomory constraints 0
1537.47/1540.71 c LP encountered Farkas constraints 0
1537.47/1540.71 c LP encountered learned Farkas constraints 0
1537.47/1540.71 c CG auxiliary variables introduced 0
1537.47/1540.71 c CG solutions found 0
1537.47/1540.71 c CG cores constructed 0
1537.47/1540.71 c CG core cardinality constraints returned 0
1537.47/1540.71 c CG unit cores 0
1537.47/1540.71 c CG single cores 0
1537.47/1540.71 c CG blocks removed during cardinality reduction 0
1537.47/1540.71 c CG first core best 0
1537.47/1540.71 c CG decision core best 0
1537.47/1540.71 c CG core reduction tie 0
1537.47/1540.71 c CG core degree average 0.00
1537.47/1540.71 c CG core slack average 0.00
1537.47/1540.71 c CG core upper bound improvements 0
1537.47/1540.71 c STR number of successful calls 0
1537.47/1540.71 c STR number of unsuccessful calls 0
1537.47/1540.71 c STR number of inconclusive calls 0
1537.47/1540.71 c STR number of successful attempts 0
1537.47/1540.71 c STR number of unsuccessful attempts 0
1537.47/1540.71 c STR number of inconclusive attempts 0
1537.47/1540.71 c STR average degree increase per successful call inf
1537.47/1540.71 c STR average degree increase per successful attempt inf
1537.47/1540.71 c STR total number of conflicts for successful attempts 0
1537.47/1540.71 c STR total number of conflicts for unsuccessful attempts 0
1537.47/1540.71 c STR total number of conflicts for inconclusive attempts 0
1537.47/1540.71 c STR average number of conflicts per successful attempt inf
1537.47/1540.71 c STR average number of conflicts per unsuccessful attempt inf
1537.47/1540.71 c STR average number of conflicts per inconclusive attempt inf
1537.47/1540.71 c AVG.sumWPerc 71.12
1537.47/1540.71 c bigint constraints 0
1537.47/1540.71 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: 63708 MiB (62007 MiB free)
memory of node 1: 64465 MiB (62460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542464-1753206208/watcher-4542464-1753206208 -o /tmp/evaluation-result-4542464-1753206208/solver-4542464-1753206208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542464-1753206208.opb /tmp/proof-4542464-1753206208
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=150418, runsolver pid=150414
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.18 4.18 4.18 4/258 150434
/proc/meminfo: memFree=128154512/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=296252 memory=233880 CPUtime=0.07 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 4665 0 0 0 3 4 0 0 20 0 1 0 236299486 303362048 58470 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 74063 58470 1888 1147 0 61490 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 300444 KiB
Current children cumulated memory: 236824 KiB
[startup+0.205871 s]*
/proc/loadavg: 4.18 4.18 4.18 4/260 150444
/proc/meminfo: memFree=127819200/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=373592 memory=328824 CPUtime=0.18 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 7375 0 0 0 12 6 0 0 20 0 1 0 236299486 382558208 82206 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 93398 82206 1952 1147 0 80825 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 377784 KiB
Current children cumulated memory: 331768 KiB
[startup+0.305705 s]*
/proc/loadavg: 4.18 4.18 4.18 4/266 150453
/proc/meminfo: memFree=127453060/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=378824 memory=336056 CPUtime=0.28 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 8697 0 0 0 21 7 0 0 20 0 1 0 236299486 387915776 84014 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 94706 84014 1952 1147 0 82133 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 383016 KiB
Current children cumulated memory: 339000 KiB
[startup+0.700196 s]
/proc/loadavg: 4.18 4.18 4.18 5/269 150460
/proc/meminfo: memFree=127100692/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=406672 memory=360596 CPUtime=0.67 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 15006 0 0 0 56 11 0 0 20 0 1 0 236299486 416432128 90149 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 101668 90149 1952 1147 0 89095 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 410864 KiB
Current children cumulated memory: 363540 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.18 4.18 5/269 150460
/proc/meminfo: memFree=126835068/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=699236 memory=639024 CPUtime=1.47 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 27063 0 0 0 125 22 0 0 20 0 1 0 236299486 716017664 159756 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 174809 159756 2176 1147 0 162236 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 703428 KiB
Current children cumulated memory: 641968 KiB
[startup+3.10588 s]
/proc/loadavg: 4.16 4.18 4.18 5/269 150460
/proc/meminfo: memFree=124611396/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1014744 memory=943780 CPUtime=3.07 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 72097 0 0 0 256 51 0 0 20 0 1 0 236299486 1039097856 235945 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 253686 235945 2240 1147 0 241113 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1018936 KiB
Current children cumulated memory: 946724 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.18 4.18 5/269 150460
/proc/meminfo: memFree=122308872/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1681420 memory=1556720 CPUtime=6.25 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 94459 0 0 0 479 146 0 0 20 0 1 0 236299486 1721774080 389180 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 420355 389180 2304 1147 0 407782 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1685612 KiB
Current children cumulated memory: 1559664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.18 4.18 5/269 150460
/proc/meminfo: memFree=122242280/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1681420 memory=1562584 CPUtime=12.64 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 95050 0 0 0 803 461 0 0 20 0 1 0 236299486 1721774080 390646 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 420355 390646 2304 1147 0 407782 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1685612 KiB
Current children cumulated memory: 1565528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.17 4.17 5/269 150460
/proc/meminfo: memFree=122155460/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1689032 memory=1572344 CPUtime=25.4 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 96192 0 0 0 1442 1098 0 0 20 0 1 0 236299486 1729568768 393086 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 422258 393086 2304 1147 0 409685 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1693224 KiB
Current children cumulated memory: 1575288 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.17 4.18 5/269 150460
/proc/meminfo: memFree=121896652/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1752296 memory=1636068 CPUtime=50.95 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 110310 0 0 0 2689 2406 0 0 20 0 1 0 236299486 1794351104 409017 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 438074 409017 2304 1147 0 425501 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1756488 KiB
Current children cumulated memory: 1639012 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/270 150708
/proc/meminfo: memFree=121532844/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1878972 memory=1741916 CPUtime=102.04 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 126745 0 0 0 4966 5238 0 0 20 0 1 0 236299486 1924067328 435479 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 469743 435479 2304 1147 0 457170 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1883164 KiB
Current children cumulated memory: 1744860 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/270 150711
/proc/meminfo: memFree=120003664/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1974572 memory=1841348 CPUtime=161.92 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 151346 0 0 0 7639 8553 0 0 20 0 1 0 236299486 2021961728 460337 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 493643 460337 2304 1147 0 481070 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1978764 KiB
Current children cumulated memory: 1844292 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/272 150715
/proc/meminfo: memFree=118719224/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2013280 memory=1871132 CPUtime=221.79 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 157158 0 0 0 10378 11801 0 0 20 0 1 0 236299486 2061598720 467783 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 503320 467783 2304 1147 0 490747 0
################
# More data... #
################
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 246760 0 0 0 62794 79137 0 0 20 0 1 0 236299486 2420858880 564761 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 591030 564761 2304 1147 0 578457 0
Current children cumulated CPU time: 1419.31 s
Current children cumulated vsize: 2368312 KiB
Current children cumulated memory: 2261988 KiB
[startup+1482.3 s]
/proc/loadavg: 4.30 4.20 4.17 5/270 150824
/proc/meminfo: memFree=101797716/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2400080 memory=2301308 CPUtime=1479.19 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 255773 0 0 0 65428 82491 0 0 20 0 1 0 236299486 2457681920 575327 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 600020 575327 2304 1147 0 587447 0
Current children cumulated CPU time: 1479.19 s
Current children cumulated vsize: 2404272 KiB
Current children cumulated memory: 2304252 KiB
[startup+1540.73 s]
# the end of solver process 150418 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=680.036 s, system=857.473 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.27 4.19 4.17 5/270 150824
/proc/meminfo: memFree=101788896/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2400080 memory=2303372 CPUtime=1481.68 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 255774 0 0 0 65540 82628 0 0 20 0 1 0 236299486 2457681920 575843 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 600020 575843 2304 1147 0 587447 0
Current children cumulated CPU time: 1481.68 s
Current children cumulated vsize: 2404272 KiB
Current children cumulated memory: 2306316 KiB
[startup+1510.4 s]
/proc/loadavg: 4.24 4.19 4.17 5/270 150824
/proc/meminfo: memFree=101649548/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2440200 memory=2315816 CPUtime=1507.23 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 258387 0 0 0 66658 84065 0 0 20 0 1 0 236299486 2498764800 578954 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 610050 578954 2304 1147 0 597477 0
Current children cumulated CPU time: 1507.23 s
Current children cumulated vsize: 2444392 KiB
Current children cumulated memory: 2318760 KiB
[startup+1523.2 s]
/proc/loadavg: 4.20 4.19 4.17 5/270 150824
/proc/meminfo: memFree=101593532/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2443260 memory=2322972 CPUtime=1520.01 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 259167 0 0 0 67214 84787 0 0 20 0 1 0 236299486 2501898240 580743 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 610815 580743 2304 1147 0 598242 0
Current children cumulated CPU time: 1520.01 s
Current children cumulated vsize: 2447452 KiB
Current children cumulated memory: 2325916 KiB
[startup+1529.6 s]
/proc/loadavg: 4.17 4.18 4.17 5/270 150825
/proc/meminfo: memFree=101573884/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2443260 memory=2323100 CPUtime=1526.39 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 259174 0 0 0 67497 85142 0 0 20 0 1 0 236299486 2501898240 580775 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 610815 580775 2304 1147 0 598242 0
Current children cumulated CPU time: 1526.39 s
Current children cumulated vsize: 2447452 KiB
Current children cumulated memory: 2326044 KiB
[startup+1536 s]*
/proc/loadavg: 4.24 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101540036/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2446460 memory=2328352 CPUtime=1532.78 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 259980 0 0 0 67781 85497 0 0 20 0 1 0 236299486 2505175040 582088 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 611615 582088 2304 1147 0 599042 0
Current children cumulated CPU time: 1532.78 s
Current children cumulated vsize: 2450652 KiB
Current children cumulated memory: 2331296 KiB
[startup+1539.2 s]
/proc/loadavg: 4.22 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101530440/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2451624 memory=2335504 CPUtime=1535.97 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 261254 0 0 0 67924 85673 0 0 20 0 1 0 236299486 2510462976 583876 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 612906 583876 2304 1147 0 600333 0
Current children cumulated CPU time: 1535.97 s
Current children cumulated vsize: 2455816 KiB
Current children cumulated memory: 2338448 KiB
[startup+1540 s]*
/proc/loadavg: 4.22 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101515140/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2452024 memory=2338004 CPUtime=1536.78 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 261367 0 0 0 67962 85716 0 0 20 0 1 0 236299486 2510872576 584501 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 613006 584501 2304 1147 0 600433 0
Current children cumulated CPU time: 1536.78 s
Current children cumulated vsize: 2456216 KiB
Current children cumulated memory: 2340948 KiB
[startup+1540.4 s]
/proc/loadavg: 4.22 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101515140/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=2452688 memory=2338644 CPUtime=1537.17 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 261530 0 0 0 67979 85738 0 0 20 0 1 0 236299486 2511552512 584661 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 613172 584661 2304 1147 0 600599 0
Current children cumulated CPU time: 1537.17 s
Current children cumulated vsize: 2456880 KiB
Current children cumulated memory: 2341588 KiB
[startup+1540.6 s]
/proc/loadavg: 4.22 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101515140/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1882276 memory=1786168 CPUtime=1537.37 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 261677 0 0 0 67992 85745 0 0 20 0 1 0 236299486 1927450624 446542 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 470569 446542 2304 1147 0 457996 0
Current children cumulated CPU time: 1537.37 s
Current children cumulated vsize: 1886468 KiB
Current children cumulated memory: 1789112 KiB
[startup+1540.7 s]
/proc/loadavg: 4.22 4.19 4.17 5/270 150826
/proc/meminfo: memFree=101515140/131250000 swapFree=33010672/33010684
[pid=150418] ppid=150414 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150418/stat : 150418 (run-dec-log.sh) S 150414 150418 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236299486 4292608 736 18446744073709551615 94707054977024 94707055871557 140733793269040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94707056110608 94707056158352 94707058270208 140733793278277 140733793278434 140733793278434 140733793284038 0
/proc/150418/statm: 1048 736 672 219 0 110 0
[pid=150422] ppid=150418 vsize=1702572 memory=1624616 CPUtime=1537.47 cores=0,2
/proc/150422/stat : 150422 (roundingsat) R 150418 150418 149629 0 -1 4194304 261691 0 0 0 68002 85745 0 0 20 0 1 0 236299486 1743433728 406154 18446744073709551615 4227072 8923433 140721158997376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21008384 140721159002507 140721159002662 140721159002662 140721159008234 0
/proc/150422/statm: 425643 406154 2304 1147 0 413070 0
Current children cumulated CPU time: 1537.47 s
Current children cumulated vsize: 1706764 KiB
Current children cumulated memory: 1627560 KiB
Child status: 0
Real time (s): 1540.73
CPU time (s): 1537.51
CPU user time (s): 680.036
CPU system time (s): 857.473
CPU usage (%): 99.7911
Max. virtual memory (cumulated for all children) (KiB): 2456880
Max. memory (cumulated for all children) (KiB): 2341588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.036
system time used= 857.473
maximum resident set size= 2339028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163
involuntary context switches= 3517
# summary of solver processes directly reported to runsolver:
# pid: 150418
# total CPU time (s): 1537.51
# total CPU user time (s): 680.036
# total CPU system time (s): 857.473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07425 second user time and 6.81403 second system time
The end
Begin job on nodeC026 at 2025-07-22 19:43:28
IDJOB=4542464
IDBENCH=163928
IDSOLVER=3352
FILE ID=nodeC026/4542464-1753206208
RUNJOBID= nodeC026-1753198973-149646
SLURM_JOB_ID= 9687759
Free space on /tmp= 423588 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542464-1753206208/watcher-4542464-1753206208 -o /tmp/evaluation-result-4542464-1753206208/solver-4542464-1753206208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542464-1753206208.opb /tmp/proof-4542464-1753206208
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=2091113130
nodeC026 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 : 3597.415
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.59
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 : 3600.949
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.59
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.741
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.59
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.825
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.59
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 : 3737.126
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.59
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.638
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.59
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.835
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.59
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 : 3599.796
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126438360 kB
MemAvailable: 129534896 kB
Buffers: 2128 kB
Cached: 3722456 kB
SwapCached: 4 kB
Active: 1221592 kB
Inactive: 2580316 kB
Active(anon): 98252 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 2574972 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 174048 kB
Writeback: 0 kB
AnonPages: 80444 kB
Mapped: 109496 kB
Shmem: 26268 kB
KReclaimable: 459024 kB
Slab: 563304 kB
SReclaimable: 459024 kB
SUnreclaim: 104280 kB
KernelStack: 4064 kB
PageTables: 2908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 350880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 417984 MiB
End job on nodeC026 at 2025-07-22 20:09:09