0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.20/0.24 c [STEP] preprocessing with Papilo
0.30/0.36 c [STEP] solving with SCIP
299.60/300.44 c [STEP] preprocessing done, loading into solver
299.60/300.46 c [STEP] solving
299.60/300.46 c #variables 7311 #constraints 7573
299.60/300.46 c SMALL=int, LARGE=long long
299.60/300.47 d SCIPUB 3464007
299.60/300.47 c bounds - >= -85 @ 299.527
299.60/300.47 c stratification level: 3456000
503.81/505.21 c #Conflicts: 1000 | #Constraints: 8573
503.81/505.21 c #Conflicts: 2000 | #Constraints: 9573
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 3000 | #Constraints: 6743
503.81/505.21 c #Conflicts: 4000 | #Constraints: 7743
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 5000 | #Constraints: 7154
503.81/505.21 c #Conflicts: 6000 | #Constraints: 8154
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 7000 | #Constraints: 7179
503.81/505.21 c #Conflicts: 8000 | #Constraints: 8179
503.81/505.21 c #Conflicts: 9000 | #Constraints: 9179
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 10000 | #Constraints: 7902
503.81/505.21 c #Conflicts: 11000 | #Constraints: 8902
503.81/505.21 c #Conflicts: 12000 | #Constraints: 9902
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 13000 | #Constraints: 8343
503.81/505.21 c #Conflicts: 14000 | #Constraints: 9343
503.81/505.21 c #Conflicts: 15000 | #Constraints: 10343
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 16000 | #Constraints: 8597
503.81/505.21 c #Conflicts: 17000 | #Constraints: 9597
503.81/505.21 c #Conflicts: 18000 | #Constraints: 10597
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 19000 | #Constraints: 8604
503.81/505.21 c #Conflicts: 20000 | #Constraints: 9604
503.81/505.21 c #Conflicts: 21000 | #Constraints: 10604
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 22000 | #Constraints: 8497
503.81/505.21 c #Conflicts: 23000 | #Constraints: 9497
503.81/505.21 c #Conflicts: 24000 | #Constraints: 10497
503.81/505.21 c #Conflicts: 25000 | #Constraints: 11497
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 26000 | #Constraints: 9127
503.81/505.21 c #Conflicts: 27000 | #Constraints: 10127
503.81/505.21 c #Conflicts: 28000 | #Constraints: 11127
503.81/505.21 c #Conflicts: 29000 | #Constraints: 12127
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 30000 | #Constraints: 9567
503.81/505.21 c #Conflicts: 31000 | #Constraints: 10567
503.81/505.21 c #Conflicts: 32000 | #Constraints: 11567
503.81/505.21 c #Conflicts: 33000 | #Constraints: 12567
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 34000 | #Constraints: 9736
503.81/505.21 c #Conflicts: 35000 | #Constraints: 10736
503.81/505.21 c #Conflicts: 36000 | #Constraints: 11736
503.81/505.21 c #Conflicts: 37000 | #Constraints: 12736
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 38000 | #Constraints: 9712
503.81/505.21 c #Conflicts: 39000 | #Constraints: 10712
503.81/505.21 c #Conflicts: 40000 | #Constraints: 11712
503.81/505.21 c #Conflicts: 41000 | #Constraints: 12712
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 42000 | #Constraints: 9510
503.81/505.21 c #Conflicts: 43000 | #Constraints: 10510
503.81/505.21 c #Conflicts: 44000 | #Constraints: 11510
503.81/505.21 c #Conflicts: 45000 | #Constraints: 12510
503.81/505.21 c #Conflicts: 46000 | #Constraints: 13510
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 47000 | #Constraints: 10087
503.81/505.21 c #Conflicts: 48000 | #Constraints: 11087
503.81/505.21 c #Conflicts: 49000 | #Constraints: 12087
503.81/505.21 c #Conflicts: 50000 | #Constraints: 13087
503.81/505.21 c #Conflicts: 51000 | #Constraints: 14087
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 52000 | #Constraints: 10516
503.81/505.21 c #Conflicts: 53000 | #Constraints: 11516
503.81/505.21 c #Conflicts: 54000 | #Constraints: 12516
503.81/505.21 c #Conflicts: 55000 | #Constraints: 13516
503.81/505.21 c #Conflicts: 56000 | #Constraints: 14516
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 57000 | #Constraints: 10707
503.81/505.21 c #Conflicts: 58000 | #Constraints: 11707
503.81/505.21 c #Conflicts: 59000 | #Constraints: 12707
503.81/505.21 c #Conflicts: 60000 | #Constraints: 13707
503.81/505.21 c #Conflicts: 61000 | #Constraints: 14707
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 62000 | #Constraints: 10762
503.81/505.21 c #Conflicts: 63000 | #Constraints: 11762
503.81/505.21 c #Conflicts: 64000 | #Constraints: 12762
503.81/505.21 c #Conflicts: 65000 | #Constraints: 13762
503.81/505.21 c #Conflicts: 66000 | #Constraints: 14762
503.81/505.21 c INPROCESSING
503.81/505.21 c GARBAGE COLLECT
503.81/505.21 c #Conflicts: 67000 | #Constraints: 10510
503.81/505.21 c #Conflicts: 68000 | #Constraints: 11510
777.52/779.79 c #Conflicts: 69000 | #Constraints: 12510
777.52/779.79 c #Conflicts: 70000 | #Constraints: 13510
777.52/779.79 c #Conflicts: 71000 | #Constraints: 14510
777.52/779.79 c #Conflicts: 72000 | #Constraints: 15510
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 73000 | #Constraints: 11203
777.52/779.79 c #Conflicts: 74000 | #Constraints: 12203
777.52/779.79 c #Conflicts: 75000 | #Constraints: 13203
777.52/779.79 c #Conflicts: 76000 | #Constraints: 14203
777.52/779.79 c #Conflicts: 77000 | #Constraints: 15203
777.52/779.79 c #Conflicts: 78000 | #Constraints: 16203
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 79000 | #Constraints: 11519
777.52/779.79 c #Conflicts: 80000 | #Constraints: 12519
777.52/779.79 c #Conflicts: 81000 | #Constraints: 13519
777.52/779.79 c #Conflicts: 82000 | #Constraints: 14519
777.52/779.79 c #Conflicts: 83000 | #Constraints: 15519
777.52/779.79 c #Conflicts: 84000 | #Constraints: 16519
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 85000 | #Constraints: 11701
777.52/779.79 c #Conflicts: 86000 | #Constraints: 12701
777.52/779.79 c #Conflicts: 87000 | #Constraints: 13701
777.52/779.79 c #Conflicts: 88000 | #Constraints: 14701
777.52/779.79 c #Conflicts: 89000 | #Constraints: 15701
777.52/779.79 c #Conflicts: 90000 | #Constraints: 16701
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 91000 | #Constraints: 11735
777.52/779.79 c #Conflicts: 92000 | #Constraints: 12735
777.52/779.79 c #Conflicts: 93000 | #Constraints: 13735
777.52/779.79 c #Conflicts: 94000 | #Constraints: 14735
777.52/779.79 c #Conflicts: 95000 | #Constraints: 15735
777.52/779.79 c #Conflicts: 96000 | #Constraints: 16735
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 97000 | #Constraints: 11498
777.52/779.79 c #Conflicts: 98000 | #Constraints: 12498
777.52/779.79 c #Conflicts: 99000 | #Constraints: 13498
777.52/779.79 c #Conflicts: 100000 | #Constraints: 14498
777.52/779.79 c #Conflicts: 101000 | #Constraints: 15498
777.52/779.79 c #Conflicts: 102000 | #Constraints: 16498
777.52/779.79 c #Conflicts: 103000 | #Constraints: 17498
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 104000 | #Constraints: 12191
777.52/779.79 c #Conflicts: 105000 | #Constraints: 13191
777.52/779.79 c #Conflicts: 106000 | #Constraints: 14191
777.52/779.79 c #Conflicts: 107000 | #Constraints: 15191
777.52/779.79 c #Conflicts: 108000 | #Constraints: 16191
777.52/779.79 c #Conflicts: 109000 | #Constraints: 17191
777.52/779.79 c #Conflicts: 110000 | #Constraints: 18191
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 111000 | #Constraints: 12609
777.52/779.79 c #Conflicts: 112000 | #Constraints: 13609
777.52/779.79 c #Conflicts: 113000 | #Constraints: 14609
777.52/779.79 c #Conflicts: 114000 | #Constraints: 15609
777.52/779.79 c #Conflicts: 115000 | #Constraints: 16609
777.52/779.79 c #Conflicts: 116000 | #Constraints: 17609
777.52/779.79 c #Conflicts: 117000 | #Constraints: 18609
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 118000 | #Constraints: 12875
777.52/779.79 c #Conflicts: 119000 | #Constraints: 13875
777.52/779.79 c #Conflicts: 120000 | #Constraints: 14875
777.52/779.79 c #Conflicts: 121000 | #Constraints: 15875
777.52/779.79 c #Conflicts: 122000 | #Constraints: 16875
777.52/779.79 c #Conflicts: 123000 | #Constraints: 17875
777.52/779.79 c #Conflicts: 124000 | #Constraints: 18875
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 125000 | #Constraints: 12819
777.52/779.79 c #Conflicts: 126000 | #Constraints: 13819
777.52/779.79 c #Conflicts: 127000 | #Constraints: 14819
777.52/779.79 c #Conflicts: 128000 | #Constraints: 15819
777.52/779.79 c #Conflicts: 129000 | #Constraints: 16819
777.52/779.79 c #Conflicts: 130000 | #Constraints: 17819
777.52/779.79 c #Conflicts: 131000 | #Constraints: 18819
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 132000 | #Constraints: 12632
777.52/779.79 c #Conflicts: 133000 | #Constraints: 13632
777.52/779.79 c #Conflicts: 134000 | #Constraints: 14632
777.52/779.79 c #Conflicts: 135000 | #Constraints: 15632
777.52/779.79 c #Conflicts: 136000 | #Constraints: 16632
777.52/779.79 c #Conflicts: 137000 | #Constraints: 17632
777.52/779.79 c #Conflicts: 138000 | #Constraints: 18632
777.52/779.79 c #Conflicts: 139000 | #Constraints: 19632
777.52/779.79 c INPROCESSING
777.52/779.79 c GARBAGE COLLECT
777.52/779.79 c #Conflicts: 140000 | #Constraints: 13130
1072.60/1075.62 c #Conflicts: 141000 | #Constraints: 14130
1072.60/1075.62 c #Conflicts: 142000 | #Constraints: 15130
1072.60/1075.62 c #Conflicts: 143000 | #Constraints: 16130
1072.60/1075.62 c #Conflicts: 144000 | #Constraints: 17130
1072.60/1075.62 c #Conflicts: 145000 | #Constraints: 18130
1072.60/1075.62 c #Conflicts: 146000 | #Constraints: 19130
1072.60/1075.62 c #Conflicts: 147000 | #Constraints: 20130
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 148000 | #Constraints: 13512
1072.60/1075.62 c #Conflicts: 149000 | #Constraints: 14512
1072.60/1075.62 c #Conflicts: 150000 | #Constraints: 15512
1072.60/1075.62 c #Conflicts: 151000 | #Constraints: 16512
1072.60/1075.62 c #Conflicts: 152000 | #Constraints: 17512
1072.60/1075.62 c #Conflicts: 153000 | #Constraints: 18512
1072.60/1075.62 c #Conflicts: 154000 | #Constraints: 19512
1072.60/1075.62 c #Conflicts: 155000 | #Constraints: 20512
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 156000 | #Constraints: 13792
1072.60/1075.62 c #Conflicts: 157000 | #Constraints: 14792
1072.60/1075.62 c #Conflicts: 158000 | #Constraints: 15792
1072.60/1075.62 c #Conflicts: 159000 | #Constraints: 16792
1072.60/1075.62 c #Conflicts: 160000 | #Constraints: 17792
1072.60/1075.62 c #Conflicts: 161000 | #Constraints: 18792
1072.60/1075.62 c #Conflicts: 162000 | #Constraints: 19792
1072.60/1075.62 c #Conflicts: 163000 | #Constraints: 20792
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 164000 | #Constraints: 13767
1072.60/1075.62 c #Conflicts: 165000 | #Constraints: 14767
1072.60/1075.62 c #Conflicts: 166000 | #Constraints: 15767
1072.60/1075.62 c #Conflicts: 167000 | #Constraints: 16767
1072.60/1075.62 c #Conflicts: 168000 | #Constraints: 17767
1072.60/1075.62 c #Conflicts: 169000 | #Constraints: 18767
1072.60/1075.62 c #Conflicts: 170000 | #Constraints: 19767
1072.60/1075.62 c #Conflicts: 171000 | #Constraints: 20767
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 172000 | #Constraints: 13625
1072.60/1075.62 c #Conflicts: 173000 | #Constraints: 14625
1072.60/1075.62 c #Conflicts: 174000 | #Constraints: 15625
1072.60/1075.62 c #Conflicts: 175000 | #Constraints: 16625
1072.60/1075.62 c #Conflicts: 176000 | #Constraints: 17625
1072.60/1075.62 c #Conflicts: 177000 | #Constraints: 18625
1072.60/1075.62 c #Conflicts: 178000 | #Constraints: 19625
1072.60/1075.62 c #Conflicts: 179000 | #Constraints: 20625
1072.60/1075.62 c #Conflicts: 180000 | #Constraints: 21625
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 181000 | #Constraints: 14270
1072.60/1075.62 c #Conflicts: 182000 | #Constraints: 15270
1072.60/1075.62 c #Conflicts: 183000 | #Constraints: 16270
1072.60/1075.62 c #Conflicts: 184000 | #Constraints: 17270
1072.60/1075.62 c #Conflicts: 185000 | #Constraints: 18270
1072.60/1075.62 c #Conflicts: 186000 | #Constraints: 19270
1072.60/1075.62 c #Conflicts: 187000 | #Constraints: 20270
1072.60/1075.62 c #Conflicts: 188000 | #Constraints: 21270
1072.60/1075.62 c #Conflicts: 189000 | #Constraints: 22270
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 190000 | #Constraints: 14627
1072.60/1075.62 c #Conflicts: 191000 | #Constraints: 15627
1072.60/1075.62 c #Conflicts: 192000 | #Constraints: 16627
1072.60/1075.62 c #Conflicts: 193000 | #Constraints: 17627
1072.60/1075.62 c #Conflicts: 194000 | #Constraints: 18627
1072.60/1075.62 c #Conflicts: 195000 | #Constraints: 19627
1072.60/1075.62 c #Conflicts: 196000 | #Constraints: 20627
1072.60/1075.62 c #Conflicts: 197000 | #Constraints: 21627
1072.60/1075.62 c #Conflicts: 198000 | #Constraints: 22627
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 199000 | #Constraints: 14822
1072.60/1075.62 c #Conflicts: 200000 | #Constraints: 15822
1072.60/1075.62 c #Conflicts: 201000 | #Constraints: 16822
1072.60/1075.62 c #Conflicts: 202000 | #Constraints: 17822
1072.60/1075.62 c #Conflicts: 203000 | #Constraints: 18822
1072.60/1075.62 c #Conflicts: 204000 | #Constraints: 19822
1072.60/1075.62 c #Conflicts: 205000 | #Constraints: 20822
1072.60/1075.62 c #Conflicts: 206000 | #Constraints: 21822
1072.60/1075.62 c #Conflicts: 207000 | #Constraints: 22822
1072.60/1075.62 c INPROCESSING
1072.60/1075.62 c GARBAGE COLLECT
1072.60/1075.62 c #Conflicts: 208000 | #Constraints: 14752
1072.60/1075.62 c #Conflicts: 209000 | #Constraints: 15752
1072.60/1075.62 c #Conflicts: 210000 | #Constraints: 16752
1072.60/1075.62 c #Conflicts: 211000 | #Constraints: 17752
1072.60/1075.62 c #Conflicts: 212000 | #Constraints: 18752
1072.60/1075.62 c #Conflicts: 213000 | #Constraints: 19752
1403.08/1407.07 c #Conflicts: 214000 | #Constraints: 20752
1403.08/1407.07 c #Conflicts: 215000 | #Constraints: 21752
1403.08/1407.07 c #Conflicts: 216000 | #Constraints: 22752
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 217000 | #Constraints: 14546
1403.08/1407.07 c #Conflicts: 218000 | #Constraints: 15546
1403.08/1407.07 c #Conflicts: 219000 | #Constraints: 16546
1403.08/1407.07 c #Conflicts: 220000 | #Constraints: 17546
1403.08/1407.07 c #Conflicts: 221000 | #Constraints: 18546
1403.08/1407.07 c #Conflicts: 222000 | #Constraints: 19546
1403.08/1407.07 c #Conflicts: 223000 | #Constraints: 20546
1403.08/1407.07 c #Conflicts: 224000 | #Constraints: 21546
1403.08/1407.07 c #Conflicts: 225000 | #Constraints: 22546
1403.08/1407.07 c #Conflicts: 226000 | #Constraints: 23546
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 227000 | #Constraints: 15179
1403.08/1407.07 c #Conflicts: 228000 | #Constraints: 16179
1403.08/1407.07 c #Conflicts: 229000 | #Constraints: 17179
1403.08/1407.07 c #Conflicts: 230000 | #Constraints: 18179
1403.08/1407.07 c #Conflicts: 231000 | #Constraints: 19179
1403.08/1407.07 c #Conflicts: 232000 | #Constraints: 20179
1403.08/1407.07 c #Conflicts: 233000 | #Constraints: 21179
1403.08/1407.07 c #Conflicts: 234000 | #Constraints: 22179
1403.08/1407.07 c #Conflicts: 235000 | #Constraints: 23179
1403.08/1407.07 c #Conflicts: 236000 | #Constraints: 24179
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 237000 | #Constraints: 15502
1403.08/1407.07 c #Conflicts: 238000 | #Constraints: 16502
1403.08/1407.07 c #Conflicts: 239000 | #Constraints: 17502
1403.08/1407.07 c #Conflicts: 240000 | #Constraints: 18502
1403.08/1407.07 c #Conflicts: 241000 | #Constraints: 19502
1403.08/1407.07 c #Conflicts: 242000 | #Constraints: 20502
1403.08/1407.07 c #Conflicts: 243000 | #Constraints: 21502
1403.08/1407.07 c #Conflicts: 244000 | #Constraints: 22502
1403.08/1407.07 c #Conflicts: 245000 | #Constraints: 23502
1403.08/1407.07 c #Conflicts: 246000 | #Constraints: 24502
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 247000 | #Constraints: 15784
1403.08/1407.07 c #Conflicts: 248000 | #Constraints: 16784
1403.08/1407.07 c #Conflicts: 249000 | #Constraints: 17784
1403.08/1407.07 c #Conflicts: 250000 | #Constraints: 18784
1403.08/1407.07 c #Conflicts: 251000 | #Constraints: 19784
1403.08/1407.07 c #Conflicts: 252000 | #Constraints: 20784
1403.08/1407.07 c #Conflicts: 253000 | #Constraints: 21784
1403.08/1407.07 c #Conflicts: 254000 | #Constraints: 22784
1403.08/1407.07 c #Conflicts: 255000 | #Constraints: 23784
1403.08/1407.07 c #Conflicts: 256000 | #Constraints: 24784
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 257000 | #Constraints: 15841
1403.08/1407.07 c #Conflicts: 258000 | #Constraints: 16841
1403.08/1407.07 c #Conflicts: 259000 | #Constraints: 17841
1403.08/1407.07 c #Conflicts: 260000 | #Constraints: 18841
1403.08/1407.07 c #Conflicts: 261000 | #Constraints: 19841
1403.08/1407.07 c #Conflicts: 262000 | #Constraints: 20841
1403.08/1407.07 c #Conflicts: 263000 | #Constraints: 21841
1403.08/1407.07 c #Conflicts: 264000 | #Constraints: 22841
1403.08/1407.07 c #Conflicts: 265000 | #Constraints: 23841
1403.08/1407.07 c #Conflicts: 266000 | #Constraints: 24841
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 267000 | #Constraints: 15641
1403.08/1407.07 c #Conflicts: 268000 | #Constraints: 16641
1403.08/1407.07 c #Conflicts: 269000 | #Constraints: 17641
1403.08/1407.07 c #Conflicts: 270000 | #Constraints: 18641
1403.08/1407.07 c #Conflicts: 271000 | #Constraints: 19641
1403.08/1407.07 c #Conflicts: 272000 | #Constraints: 20641
1403.08/1407.07 c #Conflicts: 273000 | #Constraints: 21641
1403.08/1407.07 c #Conflicts: 274000 | #Constraints: 22641
1403.08/1407.07 c #Conflicts: 275000 | #Constraints: 23641
1403.08/1407.07 c #Conflicts: 276000 | #Constraints: 24641
1403.08/1407.07 c #Conflicts: 277000 | #Constraints: 25641
1403.08/1407.07 c INPROCESSING
1403.08/1407.07 c GARBAGE COLLECT
1403.08/1407.07 c #Conflicts: 278000 | #Constraints: 16184
1403.08/1407.07 c #Conflicts: 279000 | #Constraints: 17184
1403.08/1407.07 c #Conflicts: 280000 | #Constraints: 18184
1403.08/1407.07 c #Conflicts: 281000 | #Constraints: 19184
1403.08/1407.07 c #Conflicts: 282000 | #Constraints: 20184
1403.08/1407.07 c #Conflicts: 283000 | #Constraints: 21184
1403.08/1407.07 c #Conflicts: 284000 | #Constraints: 22184
1403.08/1407.07 c #Conflicts: 285000 | #Constraints: 23184
1403.08/1407.07 c #Conflicts: 286000 | #Constraints: 24184
1403.08/1407.07 c #Conflicts: 287000 | #Constraints: 25184
1403.08/1407.07 c #Conflicts: 288000 | #Constraints: 26184
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 289000 | #Constraints: 16631
1773.14/1778.12 c #Conflicts: 290000 | #Constraints: 17631
1773.14/1778.12 c #Conflicts: 291000 | #Constraints: 18631
1773.14/1778.12 c #Conflicts: 292000 | #Constraints: 19631
1773.14/1778.12 c #Conflicts: 293000 | #Constraints: 20631
1773.14/1778.12 c #Conflicts: 294000 | #Constraints: 21631
1773.14/1778.12 c #Conflicts: 295000 | #Constraints: 22631
1773.14/1778.12 c #Conflicts: 296000 | #Constraints: 23631
1773.14/1778.12 c #Conflicts: 297000 | #Constraints: 24631
1773.14/1778.12 c #Conflicts: 298000 | #Constraints: 25631
1773.14/1778.12 c #Conflicts: 299000 | #Constraints: 26631
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 300000 | #Constraints: 16866
1773.14/1778.12 c #Conflicts: 301000 | #Constraints: 17866
1773.14/1778.12 c #Conflicts: 302000 | #Constraints: 18866
1773.14/1778.12 c #Conflicts: 303000 | #Constraints: 19866
1773.14/1778.12 c #Conflicts: 304000 | #Constraints: 20866
1773.14/1778.12 c #Conflicts: 305000 | #Constraints: 21866
1773.14/1778.12 c #Conflicts: 306000 | #Constraints: 22866
1773.14/1778.12 c #Conflicts: 307000 | #Constraints: 23866
1773.14/1778.12 c #Conflicts: 308000 | #Constraints: 24866
1773.14/1778.12 c #Conflicts: 309000 | #Constraints: 25866
1773.14/1778.12 c #Conflicts: 310000 | #Constraints: 26866
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 311000 | #Constraints: 16871
1773.14/1778.12 c #Conflicts: 312000 | #Constraints: 17871
1773.14/1778.12 c #Conflicts: 313000 | #Constraints: 18871
1773.14/1778.12 c #Conflicts: 314000 | #Constraints: 19871
1773.14/1778.12 c #Conflicts: 315000 | #Constraints: 20871
1773.14/1778.12 c #Conflicts: 316000 | #Constraints: 21871
1773.14/1778.12 c #Conflicts: 317000 | #Constraints: 22871
1773.14/1778.12 c #Conflicts: 318000 | #Constraints: 23871
1773.14/1778.12 c #Conflicts: 319000 | #Constraints: 24871
1773.14/1778.12 c #Conflicts: 320000 | #Constraints: 25871
1773.14/1778.12 c #Conflicts: 321000 | #Constraints: 26871
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 322000 | #Constraints: 16681
1773.14/1778.12 c #Conflicts: 323000 | #Constraints: 17681
1773.14/1778.12 c #Conflicts: 324000 | #Constraints: 18681
1773.14/1778.12 c #Conflicts: 325000 | #Constraints: 19681
1773.14/1778.12 c #Conflicts: 326000 | #Constraints: 20681
1773.14/1778.12 c #Conflicts: 327000 | #Constraints: 21681
1773.14/1778.12 c #Conflicts: 328000 | #Constraints: 22681
1773.14/1778.12 c #Conflicts: 329000 | #Constraints: 23681
1773.14/1778.12 c #Conflicts: 330000 | #Constraints: 24681
1773.14/1778.12 c #Conflicts: 331000 | #Constraints: 25681
1773.14/1778.12 c #Conflicts: 332000 | #Constraints: 26681
1773.14/1778.12 c #Conflicts: 333000 | #Constraints: 27681
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 334000 | #Constraints: 17298
1773.14/1778.12 c #Conflicts: 335000 | #Constraints: 18298
1773.14/1778.12 c #Conflicts: 336000 | #Constraints: 19298
1773.14/1778.12 c #Conflicts: 337000 | #Constraints: 20298
1773.14/1778.12 c #Conflicts: 338000 | #Constraints: 21298
1773.14/1778.12 c #Conflicts: 339000 | #Constraints: 22298
1773.14/1778.12 c #Conflicts: 340000 | #Constraints: 23298
1773.14/1778.12 c #Conflicts: 341000 | #Constraints: 24298
1773.14/1778.12 c #Conflicts: 342000 | #Constraints: 25298
1773.14/1778.12 c #Conflicts: 343000 | #Constraints: 26298
1773.14/1778.12 c #Conflicts: 344000 | #Constraints: 27298
1773.14/1778.12 c #Conflicts: 345000 | #Constraints: 28298
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 346000 | #Constraints: 17700
1773.14/1778.12 c #Conflicts: 347000 | #Constraints: 18700
1773.14/1778.12 c #Conflicts: 348000 | #Constraints: 19700
1773.14/1778.12 c #Conflicts: 349000 | #Constraints: 20700
1773.14/1778.12 c #Conflicts: 350000 | #Constraints: 21700
1773.14/1778.12 c #Conflicts: 351000 | #Constraints: 22700
1773.14/1778.12 c #Conflicts: 352000 | #Constraints: 23700
1773.14/1778.12 c #Conflicts: 353000 | #Constraints: 24700
1773.14/1778.12 c #Conflicts: 354000 | #Constraints: 25700
1773.14/1778.12 c #Conflicts: 355000 | #Constraints: 26700
1773.14/1778.12 c #Conflicts: 356000 | #Constraints: 27700
1773.14/1778.12 c #Conflicts: 357000 | #Constraints: 28700
1773.14/1778.12 c INPROCESSING
1773.14/1778.12 c GARBAGE COLLECT
1773.14/1778.12 c #Conflicts: 358000 | #Constraints: 17851
1773.14/1778.12 c #Conflicts: 359000 | #Constraints: 18851
1773.14/1778.12 c #Conflicts: 360000 | #Constraints: 19851
1773.14/1778.12 c #Conflicts: 361000 | #Constraints: 20851
1773.14/1778.12 c #Conflicts: 362000 | #Constraints: 21851
2192.55/2198.78 c #Conflicts: 363000 | #Constraints: 22851
2192.55/2198.78 c #Conflicts: 364000 | #Constraints: 23851
2192.55/2198.78 c #Conflicts: 365000 | #Constraints: 24851
2192.55/2198.78 c #Conflicts: 366000 | #Constraints: 25851
2192.55/2198.78 c #Conflicts: 367000 | #Constraints: 26851
2192.55/2198.78 c #Conflicts: 368000 | #Constraints: 27851
2192.55/2198.78 c #Conflicts: 369000 | #Constraints: 28851
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 370000 | #Constraints: 17805
2192.55/2198.78 c #Conflicts: 371000 | #Constraints: 18805
2192.55/2198.78 c #Conflicts: 372000 | #Constraints: 19805
2192.55/2198.78 c #Conflicts: 373000 | #Constraints: 20805
2192.55/2198.78 c #Conflicts: 374000 | #Constraints: 21805
2192.55/2198.78 c #Conflicts: 375000 | #Constraints: 22805
2192.55/2198.78 c #Conflicts: 376000 | #Constraints: 23805
2192.55/2198.78 c #Conflicts: 377000 | #Constraints: 24805
2192.55/2198.78 c #Conflicts: 378000 | #Constraints: 25805
2192.55/2198.78 c #Conflicts: 379000 | #Constraints: 26805
2192.55/2198.78 c #Conflicts: 380000 | #Constraints: 27805
2192.55/2198.78 c #Conflicts: 381000 | #Constraints: 28805
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 382000 | #Constraints: 17602
2192.55/2198.78 c #Conflicts: 383000 | #Constraints: 18602
2192.55/2198.78 c #Conflicts: 384000 | #Constraints: 19602
2192.55/2198.78 c #Conflicts: 385000 | #Constraints: 20602
2192.55/2198.78 c #Conflicts: 386000 | #Constraints: 21602
2192.55/2198.78 c #Conflicts: 387000 | #Constraints: 22602
2192.55/2198.78 c #Conflicts: 388000 | #Constraints: 23602
2192.55/2198.78 c #Conflicts: 389000 | #Constraints: 24602
2192.55/2198.78 c #Conflicts: 390000 | #Constraints: 25602
2192.55/2198.78 c #Conflicts: 391000 | #Constraints: 26602
2192.55/2198.78 c #Conflicts: 392000 | #Constraints: 27602
2192.55/2198.78 c #Conflicts: 393000 | #Constraints: 28602
2192.55/2198.78 c #Conflicts: 394000 | #Constraints: 29602
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 395000 | #Constraints: 18281
2192.55/2198.78 c #Conflicts: 396000 | #Constraints: 19281
2192.55/2198.78 c #Conflicts: 397000 | #Constraints: 20281
2192.55/2198.78 c #Conflicts: 398000 | #Constraints: 21281
2192.55/2198.78 c #Conflicts: 399000 | #Constraints: 22281
2192.55/2198.78 c #Conflicts: 400000 | #Constraints: 23281
2192.55/2198.78 c #Conflicts: 401000 | #Constraints: 24281
2192.55/2198.78 c #Conflicts: 402000 | #Constraints: 25281
2192.55/2198.78 c #Conflicts: 403000 | #Constraints: 26281
2192.55/2198.78 c #Conflicts: 404000 | #Constraints: 27281
2192.55/2198.78 c #Conflicts: 405000 | #Constraints: 28281
2192.55/2198.78 c #Conflicts: 406000 | #Constraints: 29281
2192.55/2198.78 c #Conflicts: 407000 | #Constraints: 30281
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 408000 | #Constraints: 18575
2192.55/2198.78 c #Conflicts: 409000 | #Constraints: 19575
2192.55/2198.78 c #Conflicts: 410000 | #Constraints: 20575
2192.55/2198.78 c #Conflicts: 411000 | #Constraints: 21575
2192.55/2198.78 c #Conflicts: 412000 | #Constraints: 22575
2192.55/2198.78 c #Conflicts: 413000 | #Constraints: 23575
2192.55/2198.78 c #Conflicts: 414000 | #Constraints: 24575
2192.55/2198.78 c #Conflicts: 415000 | #Constraints: 25575
2192.55/2198.78 c #Conflicts: 416000 | #Constraints: 26575
2192.55/2198.78 c #Conflicts: 417000 | #Constraints: 27575
2192.55/2198.78 c #Conflicts: 418000 | #Constraints: 28575
2192.55/2198.78 c #Conflicts: 419000 | #Constraints: 29575
2192.55/2198.78 c #Conflicts: 420000 | #Constraints: 30575
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 421000 | #Constraints: 18818
2192.55/2198.78 c #Conflicts: 422000 | #Constraints: 19818
2192.55/2198.78 c #Conflicts: 423000 | #Constraints: 20818
2192.55/2198.78 c #Conflicts: 424000 | #Constraints: 21818
2192.55/2198.78 c #Conflicts: 425000 | #Constraints: 22818
2192.55/2198.78 c #Conflicts: 426000 | #Constraints: 23818
2192.55/2198.78 c #Conflicts: 427000 | #Constraints: 24818
2192.55/2198.78 c #Conflicts: 428000 | #Constraints: 25818
2192.55/2198.78 c #Conflicts: 429000 | #Constraints: 26818
2192.55/2198.78 c #Conflicts: 430000 | #Constraints: 27818
2192.55/2198.78 c #Conflicts: 431000 | #Constraints: 28818
2192.55/2198.78 c #Conflicts: 432000 | #Constraints: 29818
2192.55/2198.78 c #Conflicts: 433000 | #Constraints: 30818
2192.55/2198.78 c INPROCESSING
2192.55/2198.78 c GARBAGE COLLECT
2192.55/2198.78 c #Conflicts: 434000 | #Constraints: 18786
2192.55/2198.78 c #Conflicts: 435000 | #Constraints: 19786
2192.55/2198.78 c #Conflicts: 436000 | #Constraints: 20786
2192.55/2198.78 c #Conflicts: 437000 | #Constraints: 21786
2646.61/2654.12 c #Conflicts: 438000 | #Constraints: 22786
2646.61/2654.12 c #Conflicts: 439000 | #Constraints: 23786
2646.61/2654.12 c #Conflicts: 440000 | #Constraints: 24786
2646.61/2654.12 c #Conflicts: 441000 | #Constraints: 25786
2646.61/2654.12 c #Conflicts: 442000 | #Constraints: 26786
2646.61/2654.12 c #Conflicts: 443000 | #Constraints: 27786
2646.61/2654.12 c #Conflicts: 444000 | #Constraints: 28786
2646.61/2654.12 c #Conflicts: 445000 | #Constraints: 29786
2646.61/2654.12 c #Conflicts: 446000 | #Constraints: 30786
2646.61/2654.12 c INPROCESSING
2646.61/2654.12 c GARBAGE COLLECT
2646.61/2654.12 c #Conflicts: 447000 | #Constraints: 18601
2646.61/2654.12 c #Conflicts: 448000 | #Constraints: 19601
2646.61/2654.12 c #Conflicts: 449000 | #Constraints: 20601
2646.61/2654.12 c #Conflicts: 450000 | #Constraints: 21601
2646.61/2654.12 c #Conflicts: 451000 | #Constraints: 22601
2646.61/2654.12 c #Conflicts: 452000 | #Constraints: 23601
2646.61/2654.12 c #Conflicts: 453000 | #Constraints: 24601
2646.61/2654.12 c #Conflicts: 454000 | #Constraints: 25601
2646.61/2654.12 c #Conflicts: 455000 | #Constraints: 26601
2646.61/2654.12 c #Conflicts: 456000 | #Constraints: 27601
2646.61/2654.12 c #Conflicts: 457000 | #Constraints: 28601
2646.61/2654.12 c #Conflicts: 458000 | #Constraints: 29601
2646.61/2654.12 c #Conflicts: 459000 | #Constraints: 30601
2646.61/2654.12 c #Conflicts: 460000 | #Constraints: 31601
2646.61/2654.12 c INPROCESSING
2646.61/2654.12 c GARBAGE COLLECT
2646.61/2654.12 c #Conflicts: 461000 | #Constraints: 19215
2646.61/2654.12 c #Conflicts: 462000 | #Constraints: 20215
2646.61/2654.12 c #Conflicts: 463000 | #Constraints: 21215
2646.61/2654.12 c #Conflicts: 464000 | #Constraints: 22215
2646.61/2654.12 c #Conflicts: 465000 | #Constraints: 23215
2646.61/2654.12 c #Conflicts: 466000 | #Constraints: 24215
2646.61/2654.12 c #Conflicts: 467000 | #Constraints: 25215
2646.61/2654.12 c #Conflicts: 468000 | #Constraints: 26215
2646.61/2654.12 c #Conflicts: 469000 | #Constraints: 27215
2646.61/2654.12 c #Conflicts: 470000 | #Constraints: 28215
2646.61/2654.12 c #Conflicts: 471000 | #Constraints: 29215
2646.61/2654.12 c #Conflicts: 472000 | #Constraints: 30215
2646.61/2654.12 c #Conflicts: 473000 | #Constraints: 31215
2646.61/2654.12 c #Conflicts: 474000 | #Constraints: 32215
2646.61/2654.12 c INPROCESSING
2646.61/2654.12 c GARBAGE COLLECT
2646.61/2654.12 c #Conflicts: 475000 | #Constraints: 19597
2646.61/2654.12 c #Conflicts: 476000 | #Constraints: 20597
2646.61/2654.12 c #Conflicts: 477000 | #Constraints: 21597
2646.61/2654.12 c #Conflicts: 478000 | #Constraints: 22597
2646.61/2654.12 c #Conflicts: 479000 | #Constraints: 23597
2646.61/2654.12 c #Conflicts: 480000 | #Constraints: 24597
2646.61/2654.12 c #Conflicts: 481000 | #Constraints: 25597
2646.61/2654.12 c #Conflicts: 482000 | #Constraints: 26597
2646.61/2654.12 c #Conflicts: 483000 | #Constraints: 27597
2646.61/2654.12 c #Conflicts: 484000 | #Constraints: 28597
2646.61/2654.12 c #Conflicts: 485000 | #Constraints: 29597
2646.61/2654.12 c #Conflicts: 486000 | #Constraints: 30597
2646.61/2654.12 c #Conflicts: 487000 | #Constraints: 31597
2646.61/2654.12 c #Conflicts: 488000 | #Constraints: 32597
2646.61/2654.12 c INPROCESSING
2646.61/2654.12 c GARBAGE COLLECT
2646.61/2654.12 c #Conflicts: 489000 | #Constraints: 19732
2646.61/2654.12 c #Conflicts: 490000 | #Constraints: 20732
2646.61/2654.12 c #Conflicts: 491000 | #Constraints: 21732
2646.61/2654.12 c #Conflicts: 492000 | #Constraints: 22732
2646.61/2654.12 c #Conflicts: 493000 | #Constraints: 23732
2646.61/2654.12 c #Conflicts: 494000 | #Constraints: 24732
2646.61/2654.12 c #Conflicts: 495000 | #Constraints: 25732
2646.61/2654.12 c #Conflicts: 496000 | #Constraints: 26732
2646.61/2654.12 c #Conflicts: 497000 | #Constraints: 27732
2646.61/2654.12 c #Conflicts: 498000 | #Constraints: 28732
2646.61/2654.12 c #Conflicts: 499000 | #Constraints: 29732
2646.61/2654.12 c #Conflicts: 500000 | #Constraints: 30732
2646.61/2654.12 c #Conflicts: 501000 | #Constraints: 31732
2646.61/2654.12 c #Conflicts: 502000 | #Constraints: 32732
2646.61/2654.12 c INPROCESSING
2646.61/2654.12 c GARBAGE COLLECT
2646.61/2654.12 c #Conflicts: 503000 | #Constraints: 19763
2646.61/2654.12 c #Conflicts: 504000 | #Constraints: 20763
2646.61/2654.12 c #Conflicts: 505000 | #Constraints: 21763
2646.61/2654.12 c #Conflicts: 506000 | #Constraints: 22763
2646.61/2654.12 c #Conflicts: 507000 | #Constraints: 23763
2646.61/2654.12 c #Conflicts: 508000 | #Constraints: 24763
2646.61/2654.12 c #Conflicts: 509000 | #Constraints: 25763
2646.61/2654.12 c #Conflicts: 510000 | #Constraints: 26763
2646.61/2654.12 c #Conflicts: 511000 | #Constraints: 27763
2646.61/2654.12 c #Conflicts: 512000 | #Constraints: 28763
2646.61/2654.12 c #Conflicts: 513000 | #Constraints: 29763
3094.93/3103.82 c #Conflicts: 514000 | #Constraints: 30763
3094.93/3103.82 c #Conflicts: 515000 | #Constraints: 31763
3094.93/3103.82 c #Conflicts: 516000 | #Constraints: 32763
3094.93/3103.82 c INPROCESSING
3094.93/3103.82 c GARBAGE COLLECT
3094.93/3103.82 c #Conflicts: 517000 | #Constraints: 19585
3094.93/3103.82 c #Conflicts: 518000 | #Constraints: 20585
3094.93/3103.82 c #Conflicts: 519000 | #Constraints: 21585
3094.93/3103.82 c #Conflicts: 520000 | #Constraints: 22585
3094.93/3103.82 c #Conflicts: 521000 | #Constraints: 23585
3094.93/3103.82 c #Conflicts: 522000 | #Constraints: 24585
3094.93/3103.82 c #Conflicts: 523000 | #Constraints: 25585
3094.93/3103.82 c #Conflicts: 524000 | #Constraints: 26585
3094.93/3103.82 c #Conflicts: 525000 | #Constraints: 27585
3094.93/3103.82 c #Conflicts: 526000 | #Constraints: 28585
3094.93/3103.82 c #Conflicts: 527000 | #Constraints: 29585
3094.93/3103.82 c #Conflicts: 528000 | #Constraints: 30585
3094.93/3103.82 c #Conflicts: 529000 | #Constraints: 31585
3094.93/3103.82 c #Conflicts: 530000 | #Constraints: 32585
3094.93/3103.82 c #Conflicts: 531000 | #Constraints: 33585
3094.93/3103.82 c INPROCESSING
3094.93/3103.82 c GARBAGE COLLECT
3094.93/3103.82 c #Conflicts: 532000 | #Constraints: 20169
3094.93/3103.82 c #Conflicts: 533000 | #Constraints: 21169
3094.93/3103.82 c #Conflicts: 534000 | #Constraints: 22169
3094.93/3103.82 c #Conflicts: 535000 | #Constraints: 23169
3094.93/3103.82 c #Conflicts: 536000 | #Constraints: 24169
3094.93/3103.82 c #Conflicts: 537000 | #Constraints: 25169
3094.93/3103.82 c #Conflicts: 538000 | #Constraints: 26169
3094.93/3103.82 c #Conflicts: 539000 | #Constraints: 27169
3094.93/3103.82 c #Conflicts: 540000 | #Constraints: 28169
3094.93/3103.82 c #Conflicts: 541000 | #Constraints: 29169
3094.93/3103.82 c #Conflicts: 542000 | #Constraints: 30169
3094.93/3103.82 c #Conflicts: 543000 | #Constraints: 31169
3094.93/3103.82 c #Conflicts: 544000 | #Constraints: 32169
3094.93/3103.82 c #Conflicts: 545000 | #Constraints: 33169
3094.93/3103.82 c #Conflicts: 546000 | #Constraints: 34169
3094.93/3103.82 c INPROCESSING
3094.93/3103.82 c GARBAGE COLLECT
3094.93/3103.82 c #Conflicts: 547000 | #Constraints: 20545
3094.93/3103.82 c #Conflicts: 548000 | #Constraints: 21545
3094.93/3103.82 c #Conflicts: 549000 | #Constraints: 22545
3094.93/3103.82 c #Conflicts: 550000 | #Constraints: 23545
3094.93/3103.82 c #Conflicts: 551000 | #Constraints: 24545
3094.93/3103.82 c #Conflicts: 552000 | #Constraints: 25545
3094.93/3103.82 c #Conflicts: 553000 | #Constraints: 26545
3094.93/3103.82 c #Conflicts: 554000 | #Constraints: 27545
3094.93/3103.82 c #Conflicts: 555000 | #Constraints: 28545
3094.93/3103.82 c #Conflicts: 556000 | #Constraints: 29545
3094.93/3103.82 c #Conflicts: 557000 | #Constraints: 30545
3094.93/3103.82 c #Conflicts: 558000 | #Constraints: 31545
3094.93/3103.82 c #Conflicts: 559000 | #Constraints: 32545
3094.93/3103.82 c #Conflicts: 560000 | #Constraints: 33545
3094.93/3103.82 c #Conflicts: 561000 | #Constraints: 34545
3094.93/3103.82 c INPROCESSING
3094.93/3103.82 c GARBAGE COLLECT
3094.93/3103.82 c #Conflicts: 562000 | #Constraints: 20685
3094.93/3103.82 c #Conflicts: 563000 | #Constraints: 21685
3094.93/3103.82 c #Conflicts: 564000 | #Constraints: 22685
3094.93/3103.82 c #Conflicts: 565000 | #Constraints: 23685
3094.93/3103.82 c #Conflicts: 566000 | #Constraints: 24685
3094.93/3103.82 c #Conflicts: 567000 | #Constraints: 25685
3094.93/3103.82 c #Conflicts: 568000 | #Constraints: 26685
3094.93/3103.82 c #Conflicts: 569000 | #Constraints: 27685
3094.93/3103.82 c #Conflicts: 570000 | #Constraints: 28685
3094.93/3103.82 c #Conflicts: 571000 | #Constraints: 29685
3094.93/3103.82 c #Conflicts: 572000 | #Constraints: 30685
3094.93/3103.82 c #Conflicts: 573000 | #Constraints: 31685
3094.93/3103.82 c #Conflicts: 574000 | #Constraints: 32685
3094.93/3103.82 c #Conflicts: 575000 | #Constraints: 33685
3094.93/3103.82 c #Conflicts: 576000 | #Constraints: 34685
3094.93/3103.82 c INPROCESSING
3094.93/3103.82 c GARBAGE COLLECT
3094.93/3103.82 c #Conflicts: 577000 | #Constraints: 20715
3094.93/3103.82 c #Conflicts: 578000 | #Constraints: 21715
3094.93/3103.82 c #Conflicts: 579000 | #Constraints: 22715
3094.93/3103.82 c #Conflicts: 580000 | #Constraints: 23715
3094.93/3103.82 c #Conflicts: 581000 | #Constraints: 24715
3094.93/3103.82 c #Conflicts: 582000 | #Constraints: 25715
3094.93/3103.82 c #Conflicts: 583000 | #Constraints: 26715
3094.93/3103.82 c #Conflicts: 584000 | #Constraints: 27715
3094.93/3103.82 c #Conflicts: 585000 | #Constraints: 28715
3094.93/3103.82 c #Conflicts: 586000 | #Constraints: 29715
3094.93/3103.82 c #Conflicts: 587000 | #Constraints: 30715
3094.93/3103.82 c #Conflicts: 588000 | #Constraints: 31715
3508.91/3519.02 c #Conflicts: 589000 | #Constraints: 32715
3508.91/3519.02 c #Conflicts: 590000 | #Constraints: 33715
3508.91/3519.02 c #Conflicts: 591000 | #Constraints: 34715
3508.91/3519.02 c INPROCESSING
3508.91/3519.02 c GARBAGE COLLECT
3508.91/3519.02 c #Conflicts: 592000 | #Constraints: 20563
3508.91/3519.02 c #Conflicts: 593000 | #Constraints: 21563
3508.91/3519.02 c #Conflicts: 594000 | #Constraints: 22563
3508.91/3519.02 c #Conflicts: 595000 | #Constraints: 23563
3508.91/3519.02 c #Conflicts: 596000 | #Constraints: 24563
3508.91/3519.02 c #Conflicts: 597000 | #Constraints: 25563
3508.91/3519.02 c #Conflicts: 598000 | #Constraints: 26563
3508.91/3519.02 c #Conflicts: 599000 | #Constraints: 27563
3508.91/3519.02 c #Conflicts: 600000 | #Constraints: 28563
3508.91/3519.02 c #Conflicts: 601000 | #Constraints: 29563
3508.91/3519.02 c #Conflicts: 602000 | #Constraints: 30563
3508.91/3519.02 c #Conflicts: 603000 | #Constraints: 31563
3508.91/3519.02 c #Conflicts: 604000 | #Constraints: 32563
3508.91/3519.02 c #Conflicts: 605000 | #Constraints: 33563
3508.91/3519.02 c #Conflicts: 606000 | #Constraints: 34563
3508.91/3519.02 c #Conflicts: 607000 | #Constraints: 35563
3508.91/3519.02 c INPROCESSING
3508.91/3519.02 c GARBAGE COLLECT
3508.91/3519.02 c #Conflicts: 608000 | #Constraints: 21198
3508.91/3519.02 c #Conflicts: 609000 | #Constraints: 22198
3508.91/3519.02 c #Conflicts: 610000 | #Constraints: 23198
3508.91/3519.02 c #Conflicts: 611000 | #Constraints: 24198
3508.91/3519.02 c #Conflicts: 612000 | #Constraints: 25198
3508.91/3519.02 c #Conflicts: 613000 | #Constraints: 26198
3508.91/3519.02 c #Conflicts: 614000 | #Constraints: 27198
3508.91/3519.02 c #Conflicts: 615000 | #Constraints: 28198
3508.91/3519.02 c #Conflicts: 616000 | #Constraints: 29198
3508.91/3519.02 c #Conflicts: 617000 | #Constraints: 30198
3508.91/3519.02 c #Conflicts: 618000 | #Constraints: 31198
3508.91/3519.02 c #Conflicts: 619000 | #Constraints: 32198
3508.91/3519.02 c #Conflicts: 620000 | #Constraints: 33198
3508.91/3519.02 c #Conflicts: 621000 | #Constraints: 34198
3508.91/3519.02 c #Conflicts: 622000 | #Constraints: 35198
3508.91/3519.02 c #Conflicts: 623000 | #Constraints: 36198
3508.91/3519.02 c INPROCESSING
3508.91/3519.02 c GARBAGE COLLECT
3508.91/3519.02 c #Conflicts: 624000 | #Constraints: 21603
3508.91/3519.02 c #Conflicts: 625000 | #Constraints: 22603
3508.91/3519.02 c #Conflicts: 626000 | #Constraints: 23603
3508.91/3519.02 c #Conflicts: 627000 | #Constraints: 24603
3508.91/3519.02 c #Conflicts: 628000 | #Constraints: 25603
3508.91/3519.02 c #Conflicts: 629000 | #Constraints: 26603
3508.91/3519.02 c #Conflicts: 630000 | #Constraints: 27603
3508.91/3519.02 c #Conflicts: 631000 | #Constraints: 28603
3508.91/3519.02 c #Conflicts: 632000 | #Constraints: 29603
3508.91/3519.02 c #Conflicts: 633000 | #Constraints: 30603
3508.91/3519.02 c #Conflicts: 634000 | #Constraints: 31603
3508.91/3519.02 c #Conflicts: 635000 | #Constraints: 32603
3508.91/3519.02 c #Conflicts: 636000 | #Constraints: 33603
3508.91/3519.02 c #Conflicts: 637000 | #Constraints: 34603
3508.91/3519.02 c #Conflicts: 638000 | #Constraints: 35603
3508.91/3519.02 c #Conflicts: 639000 | #Constraints: 36603
3508.91/3519.02 c INPROCESSING
3508.91/3519.02 c GARBAGE COLLECT
3508.91/3519.02 c #Conflicts: 640000 | #Constraints: 21770
3508.91/3519.02 c #Conflicts: 641000 | #Constraints: 22770
3508.91/3519.02 c #Conflicts: 642000 | #Constraints: 23770
3508.91/3519.02 c #Conflicts: 643000 | #Constraints: 24770
3508.91/3519.02 c #Conflicts: 644000 | #Constraints: 25770
3508.91/3519.02 c #Conflicts: 645000 | #Constraints: 26770
3508.91/3519.02 c #Conflicts: 646000 | #Constraints: 27770
3508.91/3519.02 c #Conflicts: 647000 | #Constraints: 28770
3508.91/3519.02 c #Conflicts: 648000 | #Constraints: 29770
3508.91/3519.02 c #Conflicts: 649000 | #Constraints: 30770
3508.91/3519.02 c #Conflicts: 650000 | #Constraints: 31770
3508.91/3519.02 c #Conflicts: 651000 | #Constraints: 32770
3508.91/3519.02 c #Conflicts: 652000 | #Constraints: 33770
3508.91/3519.02 c #Conflicts: 653000 | #Constraints: 34770
3508.91/3519.02 c #Conflicts: 654000 | #Constraints: 35770
3508.91/3519.02 c #Conflicts: 655000 | #Constraints: 36770
3508.91/3519.02 c INPROCESSING
3508.91/3519.02 c GARBAGE COLLECT
3508.91/3519.02 c #Conflicts: 656000 | #Constraints: 21859
3508.91/3519.02 c #Conflicts: 657000 | #Constraints: 22859
3508.91/3519.02 c #Conflicts: 658000 | #Constraints: 23859
3508.91/3519.02 c #Conflicts: 659000 | #Constraints: 24859
3508.91/3519.02 c #Conflicts: 660000 | #Constraints: 25859
3508.91/3519.02 c #Conflicts: 661000 | #Constraints: 26859
3508.91/3519.02 c #Conflicts: 662000 | #Constraints: 27859
3508.91/3519.02 c #Conflicts: 663000 | #Constraints: 28859
3508.91/3519.02 c #Conflicts: 664000 | #Constraints: 29859
3600.02/3610.40 c #Conflicts: 665000 | #Constraints: 30859
3600.02/3610.40 c #Conflicts: 666000 | #Constraints: 31859
3600.02/3610.40 c #Conflicts: 667000 | #Constraints: 32859
3600.02/3610.40 c #Conflicts: 668000 | #Constraints: 33859
3600.02/3610.40 c #Conflicts: 669000 | #Constraints: 34859
3600.02/3610.40 c #Conflicts: 670000 | #Constraints: 35859
3600.02/3610.40 c #Conflicts: 671000 | #Constraints: 36859
3600.02/3610.40 c INPROCESSING
3600.02/3610.40 c GARBAGE COLLECT
3600.02/3610.40 c #Conflicts: 672000 | #Constraints: 21643
3600.02/3610.40 c #Conflicts: 673000 | #Constraints: 22643
3600.02/3610.40 c #Conflicts: 674000 | #Constraints: 23643
3600.02/3610.40 c #Conflicts: 675000 | #Constraints: 24643
3600.02/3610.40 c #Conflicts: 676000 | #Constraints: 25643
3600.02/3610.40 c #Conflicts: 677000 | #Constraints: 26643
3600.02/3610.40 c #Conflicts: 678000 | #Constraints: 27643
3600.02/3610.40 c #Conflicts: 679000 | #Constraints: 28643
3600.02/3610.40 c #Conflicts: 680000 | #Constraints: 29643
3600.02/3610.40 c Program interrupted by user.
3600.02/3610.40 c cpu time 3594.88 s
3600.02/3610.40 c deterministic time 248654997854 2.49e+11
3600.02/3610.40 c optimization time 41.7932 s
3600.02/3610.40 c total solve time 3253.56 s
3600.02/3610.40 c core-guided solve time 3253.56 s
3600.02/3610.40 c propagation time 1618.46 s
3600.02/3610.40 c conflict analysis time 1621.41 s
3600.02/3610.40 c propagations 566950302
3600.02/3610.40 c resolve steps 43153100
3600.02/3610.40 c decisions 1929874
3600.02/3610.40 c conflicts 680548
3600.02/3610.40 c restarts 1472
3600.02/3610.40 c inprocessing phases 73
3600.02/3610.40 c input clauses 3741
3600.02/3610.40 c input cardinalities 7
3600.02/3610.40 c input general constraints 3826
3600.02/3610.40 c input average constraint length 10.52
3600.02/3610.40 c input average constraint degree 15390712.93
3600.02/3610.40 c learned clauses 380871
3600.02/3610.40 c learned cardinalities 506
3600.02/3610.40 c learned general constraints 299170
3600.02/3610.40 c learned average constraint length 1231.24
3600.02/3610.40 c learned average constraint degree 150516258.26
3600.02/3610.40 c watched constraints 204503
3600.02/3610.40 c counting constraints 98493
3600.02/3610.40 c gcd simplifications 69177
3600.02/3610.40 c detected cardinalities 56
3600.02/3610.40 c weakened non-implied lits 306837347
3600.02/3610.40 c weakened non-implying lits 1755987
3600.02/3610.40 c original variables 14620
3600.02/3610.40 c clausal propagations 462590690
3600.02/3610.40 c cardinality propagations 2798251
3600.02/3610.40 c watched propagations 3131289
3600.02/3610.40 c counting propagations 97496851
3600.02/3610.40 c watch lookups 42796929198
3600.02/3610.40 c watch backjump lookups 40938097660
3600.02/3610.40 c watch checks 112327779817
3600.02/3610.40 c propagation checks 46663465235
3600.02/3610.40 c constraint additions 4790292104
3600.02/3610.40 c trail pops 569553663
3600.02/3610.40 c formula constraints 7573
3600.02/3610.40 c learned constraints 680547
3600.02/3610.40 c bound constraints 1
3600.02/3610.40 c core-guided constraints 0
3600.02/3610.40 c encountered formula constraints 37133012
3600.02/3610.40 c encountered learned constraints 6667208
3600.02/3610.40 c encountered bound constraints 33428
3600.02/3610.40 c encountered core-guided constraints 0
3600.02/3610.40 c LP total time 0 s
3600.02/3610.40 c LP solve time 0 s
3600.02/3610.40 c LP constraints added 0
3600.02/3610.40 c LP constraints removed 0
3600.02/3610.40 c LP pivots internal 0
3600.02/3610.40 c LP pivots root 0
3600.02/3610.40 c LP calls 0
3600.02/3610.40 c LP optimalities 0
3600.02/3610.40 c LP no pivot count 0
3600.02/3610.40 c LP infeasibilities 0
3600.02/3610.40 c LP valid Farkas constraints 0
3600.02/3610.40 c LP learned Farkas constraints 0
3600.02/3610.40 c LP basis resets 0
3600.02/3610.40 c LP cycling count 0
3600.02/3610.40 c LP singular count 0
3600.02/3610.40 c LP no primal count 0
3600.02/3610.40 c LP no farkas count 0
3600.02/3610.40 c LP other issue count 0
3600.02/3610.40 c LP Gomory cuts 0
3600.02/3610.40 c LP learned cuts 0
3600.02/3610.40 c LP deleted cuts 0
3600.02/3610.40 c LP encountered Gomory constraints 0
3600.02/3610.40 c LP encountered Farkas constraints 0
3600.02/3610.40 c LP encountered learned Farkas constraints 0
3600.02/3610.40 c CG auxiliary variables introduced 0
3600.02/3610.40 c CG solutions found 0
3600.02/3610.40 c CG cores constructed 0
3600.02/3610.40 c CG core cardinality constraints returned 0
3600.02/3610.40 c CG unit cores 0
3600.02/3610.40 c CG single cores 0
3600.02/3610.40 c CG blocks removed during cardinality reduction 0
3600.02/3610.40 c CG first core best 0
3600.02/3610.40 c CG decision core best 0
3600.02/3610.40 c CG core reduction tie 0
3600.02/3610.40 c CG core degree average 0.00
3600.02/3610.40 c CG core slack average 0.00
3600.02/3610.40 c CG exhausted 0
3600.02/3610.40 c CG exhaust time 0 s
3600.02/3610.40 c CG trimmed 0
3600.02/3610.40 c CG trim time 0 s
3600.02/3610.40 c CG minimized 0
3600.02/3610.40 c CG minimize time 0 s
3600.02/3610.40 c CG am1 prop time 3.1e-05 s
3600.02/3610.40 c CG # am1s reformulated 0
3600.02/3610.40 c CG lower bound derived from am1s 0
3600.02/3610.40 c CG # clausal cores 0
3600.02/3610.40 c CG # cardinality cores 0
3600.02/3610.40 c CG # pb cores 0
3600.02/3610.40 c CG # pb reforms 0
3600.02/3610.40 c CG # cores discarded because of pb reform 0
3600.02/3610.40 d LOWERBOUND 0
3600.02/3610.40 d NCORES 0
3600.02/3610.40 d NPBCORES 0
3600.02/3610.40 d NPBREFORM 0
3600.02/3610.40 d NTRIMMED 0
3600.02/3610.40 d NEXHAUSTED 0
3600.02/3610.40 d NAM1S 0
3600.02/3610.40 d AM1LB 0
3600.02/3610.40 c [Papilo Statistics]
3600.02/3610.40 c prepro time 0.114739s
3600.02/3610.40 c # tsx applied 18190
3600.02/3610.40 c # tsx conflicts 0
3600.02/3610.40 c # bound changes 170
3600.02/3610.40 c # side changes 3570
3600.02/3610.40 c # coef changes 46410
3600.02/3610.40 c # rounds 3
3600.02/3610.40 c # deted vars 7310
3600.02/3610.40 c # deted constrs 14282
3600.02/3610.40 c # consecutive rounds of only bound changes 0
3600.02/3610.40 s UNKNOWN
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: 63837 MiB (62646 MiB free)
memory of node 1: 64465 MiB (54475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529151-1752260195/watcher-4529151-1752260195 -o /tmp/evaluation-result-4529151-1752260195/solver-4529151-1752260195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122972 --watchdog 3760 mixed-bag HOME/instance-4529151-1752260195.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123980, runsolver pid=123977
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123981
/proc/meminfo: memFree=119933228/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=85480 memory=14268 CPUtime=0.09 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 2689 0 0 0 8 1 0 0 20 0 1 0 141698681 87531520 3567 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 21370 3567 2176 2834 0 4122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85480 KiB
Current children cumulated memory: 14268 KiB
[startup+0.213032 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123981
/proc/meminfo: memFree=119933228/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=88128 memory=17696 CPUtime=0.2 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 3550 0 0 0 19 1 0 0 20 0 1 0 141698681 90243072 4424 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 22032 4424 2176 2834 0 4784 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88128 KiB
Current children cumulated memory: 17696 KiB
[startup+0.312775 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123981
/proc/meminfo: memFree=119929460/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=113232 memory=34728 CPUtime=0.3 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 8281 0 0 0 27 3 0 0 20 0 1 0 141698681 115949568 8682 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 28308 8682 2336 2834 0 10513 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113232 KiB
Current children cumulated memory: 34728 KiB
[startup+0.700335 s]
/proc/loadavg: 4.08 4.09 4.05 5/251 123981
/proc/meminfo: memFree=120405936/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=162468 memory=89216 CPUtime=0.68 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 22111 0 0 0 61 7 0 0 20 0 1 0 141698681 166367232 22304 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 40617 22304 4096 2834 0 22822 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162468 KiB
Current children cumulated memory: 89216 KiB
[startup+1.50029 s]
/proc/loadavg: 4.08 4.09 4.05 5/251 123981
/proc/meminfo: memFree=120211896/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=223196 memory=136640 CPUtime=1.47 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 33844 0 0 0 138 9 0 0 20 0 1 0 141698681 228552704 34160 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 55799 34160 4320 2834 0 38004 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223196 KiB
Current children cumulated memory: 136640 KiB
[startup+3.11277 s]
/proc/loadavg: 4.15 4.10 4.06 5/251 123981
/proc/meminfo: memFree=120115632/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=224384 memory=138304 CPUtime=3.08 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 34242 0 0 0 299 9 0 0 20 0 1 0 141698681 229769216 34576 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 56096 34576 4320 2834 0 38301 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 224384 KiB
Current children cumulated memory: 138304 KiB
[startup+6.30025 s]
/proc/loadavg: 4.15 4.10 4.06 5/251 123981
/proc/meminfo: memFree=119793900/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=229808 memory=143424 CPUtime=6.27 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 35547 0 0 0 617 10 0 0 20 0 1 0 141698681 235323392 35856 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 57452 35856 4320 2834 0 39657 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 229808 KiB
Current children cumulated memory: 143424 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.06 5/251 123981
/proc/meminfo: memFree=119807692/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=239980 memory=151744 CPUtime=12.65 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 37708 0 0 0 1255 10 0 0 20 0 1 0 141698681 245739520 37936 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 59995 37936 4320 2834 0 42200 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239980 KiB
Current children cumulated memory: 151744 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.06 5/251 123981
/proc/meminfo: memFree=119866096/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=259812 memory=170560 CPUtime=25.42 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 42616 0 0 0 2531 11 0 0 20 0 1 0 141698681 266047488 42640 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 64953 42640 4320 2834 0 47158 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 259812 KiB
Current children cumulated memory: 170560 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.10 4.06 5/252 123983
/proc/meminfo: memFree=119787244/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=291576 memory=202176 CPUtime=50.96 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 50562 0 0 0 5084 12 0 0 20 0 1 0 141698681 298573824 50544 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 72894 50544 4320 2834 0 55099 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 291576 KiB
Current children cumulated memory: 202176 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/253 123986
/proc/meminfo: memFree=119692628/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=308228 memory=217920 CPUtime=102.01 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 54495 0 0 0 10188 13 0 0 20 0 1 0 141698681 315625472 54480 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 77057 54480 4320 2834 0 59262 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 308228 KiB
Current children cumulated memory: 217920 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/253 123988
/proc/meminfo: memFree=119687144/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=308228 memory=218048 CPUtime=161.85 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 54531 0 0 0 16172 13 0 0 20 0 1 0 141698681 315625472 54512 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 77057 54512 4320 2834 0 59262 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 308228 KiB
Current children cumulated memory: 218048 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/252 123990
/proc/meminfo: memFree=119588612/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=309176 memory=219840 CPUtime=221.71 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 55006 0 0 0 22157 14 0 0 20 0 1 0 141698681 316596224 54960 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 77294 54960 4320 2834 0 59499 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 309176 KiB
Current children cumulated memory: 219840 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.11 4.07 5/253 124096
/proc/meminfo: memFree=122466888/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=311340 memory=222144 CPUtime=281.55 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 55563 0 0 0 28141 14 0 0 20 0 1 0 141698681 318812160 55536 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 77835 55536 4320 2834 0 60040 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 311340 KiB
Current children cumulated memory: 222144 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.07 5/251 124102
/proc/meminfo: memFree=113845940/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=332664 memory=251744 CPUtime=341.38 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 58757 0 0 0 34108 30 0 0 20 0 1 0 141698681 340647936 62936 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 83166 62936 4480 2834 0 65371 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 332664 KiB
Current children cumulated memory: 251744 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/251 124104
/proc/meminfo: memFree=113237244/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=332664 memory=260792 CPUtime=401.21 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 58992 0 0 0 40074 47 0 0 20 0 1 0 141698681 340647936 65198 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 83166 65198 4480 2834 0 65371 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 332664 KiB
Current children cumulated memory: 260792 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/251 124107
/proc/meminfo: memFree=112027056/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=332664 memory=260920 CPUtime=461.03 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 59014 0 0 0 46042 61 0 0 20 0 1 0 141698681 340647936 65230 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 83166 65230 4480 2834 0 65371 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 341244 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 124225
/proc/meminfo: memFree=111711796/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=351484 CPUtime=2854.16 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61228 0 0 0 284987 429 0 0 20 0 1 0 141698681 506839040 87871 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 87871 4480 2834 0 105945 0
Current children cumulated CPU time: 2854.16 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 351484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/254 124227
/proc/meminfo: memFree=111714372/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=351484 CPUtime=2913.99 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61228 0 0 0 290964 435 0 0 20 0 1 0 141698681 506839040 87871 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 87871 4480 2834 0 105945 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 351484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/254 124229
/proc/meminfo: memFree=111507664/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=351484 CPUtime=2973.81 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61343 0 0 0 296939 442 0 0 20 0 1 0 141698681 506839040 87871 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 87871 4480 2834 0 105945 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 351484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/253 124231
/proc/meminfo: memFree=111458516/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=355580 CPUtime=3033.62 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61358 0 0 0 302916 446 0 0 20 0 1 0 141698681 506839040 88895 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 88895 4480 2834 0 105945 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 355580 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/253 124233
/proc/meminfo: memFree=111400724/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=357628 CPUtime=3093.44 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61360 0 0 0 308889 455 0 0 20 0 1 0 141698681 506839040 89407 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 89407 4480 2834 0 105945 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 357628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 124234
/proc/meminfo: memFree=111294308/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=357628 CPUtime=3153.26 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61360 0 0 0 314865 461 0 0 20 0 1 0 141698681 506839040 89407 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 89407 4480 2834 0 105945 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 357628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 124237
/proc/meminfo: memFree=111294224/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=357628 CPUtime=3213.08 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61360 0 0 0 320840 468 0 0 20 0 1 0 141698681 506839040 89407 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 89407 4480 2834 0 105945 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 357628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 124239
/proc/meminfo: memFree=111162824/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=357628 CPUtime=3272.9 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61360 0 0 0 326812 478 0 0 20 0 1 0 141698681 506839040 89407 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 89407 4480 2834 0 105945 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 357628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 124244
/proc/meminfo: memFree=111162956/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=357628 CPUtime=3332.72 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61360 0 0 0 332787 485 0 0 20 0 1 0 141698681 506839040 89407 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 89407 4480 2834 0 105945 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 357628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 124250
/proc/meminfo: memFree=111164080/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=361724 CPUtime=3392.54 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61362 0 0 0 338761 493 0 0 20 0 1 0 141698681 506839040 90431 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 90431 4480 2834 0 105945 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 361724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 124252
/proc/meminfo: memFree=111045052/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=361724 CPUtime=3452.37 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61362 0 0 0 344740 497 0 0 20 0 1 0 141698681 506839040 90431 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 90431 4480 2834 0 105945 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 361724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 124254
/proc/meminfo: memFree=111069492/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=361724 CPUtime=3512.19 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61362 0 0 0 350715 504 0 0 20 0 1 0 141698681 506839040 90431 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 90431 4480 2834 0 105945 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 361724 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 124301
/proc/meminfo: memFree=111420148/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=361724 CPUtime=3572 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61362 0 0 0 356690 510 0 0 20 0 1 0 141698681 506839040 90431 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 90431 4480 2834 0 105945 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 361724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 124437
/proc/meminfo: memFree=115688960/131382112 swapFree=33000116/33010684
[pid=123980] ppid=123977 vsize=494960 memory=361724 CPUtime=3600.02 cores=4,6
/proc/123980/stat : 123980 (mixed-bag) R 123977 123980 122961 0 -1 4194304 61362 0 0 0 359488 514 0 0 20 0 1 0 141698681 506839040 90431 18446744073709551615 4235264 15840557 140725645203376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 41021440 140725645207962 140725645208039 140725645208039 140725645213643 0
/proc/123980/statm: 123740 90431 4480 2834 0 105945 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 494960 KiB
Current children cumulated memory: 361724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 123980 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.89 s, system=5.14284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.03
CPU user time (s): 3594.89
CPU system time (s): 5.14284
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 494960
Max. memory (cumulated for all children) (KiB): 361724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.89
system time used= 5.14284
maximum resident set size= 362748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182
involuntary context switches= 1957
# summary of solver processes directly reported to runsolver:
# pid: 123980
# total CPU time (s): 3600.03
# total CPU user time (s): 3594.89
# total CPU system time (s): 5.14284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4546 second user time and 34.21 second system time
The end
Begin job on nodeC007 at 2025-07-11 20:56:35
IDJOB=4529151
IDBENCH=155611
IDSOLVER=3386
FILE ID=nodeC007/4529151-1752260195
RUNJOBID= nodeC007-1752256448-122972
SLURM_JOB_ID= 9682599
Free space on /tmp= 430992 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529151-1752260195/watcher-4529151-1752260195 -o /tmp/evaluation-result-4529151-1752260195/solver-4529151-1752260195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122972 --watchdog 3760 mixed-bag HOME/instance-4529151-1752260195.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be26e98499835c00c9c49f7164ad1e60
RANDOM SEED=2141197295
nodeC007 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 : 0xb00001f
cpu MHz : 3662.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.481
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.409
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.382
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.466
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.950
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 119929580 kB
MemAvailable: 124868460 kB
Buffers: 16 kB
Cached: 5604608 kB
SwapCached: 2800 kB
Active: 5205120 kB
Inactive: 5333920 kB
Active(anon): 4911404 kB
Inactive(anon): 35028 kB
Active(file): 293716 kB
Inactive(file): 5298892 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 78084 kB
Writeback: 80 kB
AnonPages: 4934808 kB
Mapped: 132480 kB
Shmem: 12016 kB
KReclaimable: 371800 kB
Slab: 464124 kB
SReclaimable: 371800 kB
SUnreclaim: 92324 kB
KernelStack: 4048 kB
PageTables: 13064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5959040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2357248 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430924 MiB
End job on nodeC007 at 2025-07-11 21:56:46