0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.38 c #variables 595 #constraints 27931
0.30/0.38 c objective is ce32
0.49/0.58 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.49/0.58 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.49/0.58 c GLOBAL bounds - >= -595 @ 0.427469
0.49/0.59 c GLOBAL bounds - >= -595 @ 0.427857
0.49/0.59 c GLOBAL bounds - >= -595 @ 0.428393
0.49/0.59 c GLOBAL bounds - >= -595 @ 0.428851
0.49/0.59 c GLOBAL bounds - >= -595 @ 0.432422
0.49/0.60 c GLOBAL bounds - >= -595 @ 0.438869
0.49/0.60 c GLOBAL bounds - >= -595 @ 0.439992
0.49/0.60 c GLOBAL bounds - >= -595 @ 0.440991
0.49/0.61 c GLOBAL bounds - >= -595 @ 0.444955
0.58/0.68 c GLOBAL bounds - >= -595 @ 0.517967
0.58/0.68 c GLOBAL bounds - >= -595 @ 0.522283
0.58/0.68 c GLOBAL bounds - >= -595 @ 0.523627
0.58/0.69 c GLOBAL bounds - >= -595 @ 0.533046
0.67/0.70 c GLOBAL bounds - >= -595 @ 0.534691
0.67/0.70 c GLOBAL bounds - >= -595 @ 0.535593
0.67/0.70 c GLOBAL bounds - >= -595 @ 0.535627
0.67/0.70 c GLOBAL bounds - >= -595 @ 0.53713
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.544049
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.5446
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.54542
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.545593
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.546323
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.546994
0.67/0.71 c GLOBAL bounds - >= -595 @ 0.548284
0.67/0.72 c GLOBAL bounds - >= -595 @ 0.548997
0.67/0.72 c GLOBAL bounds - >= -595 @ 0.550674
0.67/0.72 c GLOBAL bounds - >= -595 @ 0.556438
0.67/0.73 c GLOBAL bounds - >= -595 @ 0.559153
0.67/0.73 c GLOBAL bounds - >= -595 @ 0.562077
0.67/0.73 c GLOBAL bounds - >= -595 @ 0.565826
135.94/136.47 c #Conflicts: 1000 | #Constraints: 28987
135.94/136.47 c #Conflicts: 2000 | #Constraints: 29987
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 3000 | #Constraints: 29986
135.94/136.47 c #Conflicts: 4000 | #Constraints: 30986
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 5000 | #Constraints: 30391
135.94/136.47 c #Conflicts: 6000 | #Constraints: 31391
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 7000 | #Constraints: 30396
135.94/136.47 c #Conflicts: 8000 | #Constraints: 31396
135.94/136.47 c #Conflicts: 9000 | #Constraints: 32396
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 10000 | #Constraints: 31096
135.94/136.47 c #Conflicts: 11000 | #Constraints: 32096
135.94/136.47 c #Conflicts: 12000 | #Constraints: 33096
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 13000 | #Constraints: 31547
135.94/136.47 c #Conflicts: 14000 | #Constraints: 32547
135.94/136.47 c #Conflicts: 15000 | #Constraints: 33547
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 16000 | #Constraints: 31771
135.94/136.47 c #Conflicts: 17000 | #Constraints: 32771
135.94/136.47 c #Conflicts: 18000 | #Constraints: 33771
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 19000 | #Constraints: 31787
135.94/136.47 c #Conflicts: 20000 | #Constraints: 32787
135.94/136.47 c #Conflicts: 21000 | #Constraints: 33787
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 22000 | #Constraints: 31594
135.94/136.47 c #Conflicts: 23000 | #Constraints: 32594
135.94/136.47 c #Conflicts: 24000 | #Constraints: 33594
135.94/136.47 c #Conflicts: 25000 | #Constraints: 34594
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 26000 | #Constraints: 32194
135.94/136.47 c #Conflicts: 27000 | #Constraints: 33194
135.94/136.47 c #Conflicts: 28000 | #Constraints: 34194
135.94/136.47 c #Conflicts: 29000 | #Constraints: 35194
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 30000 | #Constraints: 32596
135.94/136.47 c #Conflicts: 31000 | #Constraints: 33596
135.94/136.47 c #Conflicts: 32000 | #Constraints: 34596
135.94/136.47 c #Conflicts: 33000 | #Constraints: 35596
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 34000 | #Constraints: 32801
135.94/136.47 c #Conflicts: 35000 | #Constraints: 33801
135.94/136.47 c #Conflicts: 36000 | #Constraints: 34801
135.94/136.47 c #Conflicts: 37000 | #Constraints: 35801
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 38000 | #Constraints: 32801
135.94/136.47 c #Conflicts: 39000 | #Constraints: 33801
135.94/136.47 c #Conflicts: 40000 | #Constraints: 34801
135.94/136.47 c #Conflicts: 41000 | #Constraints: 35801
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 42000 | #Constraints: 32602
135.94/136.47 c #Conflicts: 43000 | #Constraints: 33602
135.94/136.47 c #Conflicts: 44000 | #Constraints: 34602
135.94/136.47 c #Conflicts: 45000 | #Constraints: 35602
135.94/136.47 c #Conflicts: 46000 | #Constraints: 36602
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 47000 | #Constraints: 33200
135.94/136.47 c #Conflicts: 48000 | #Constraints: 34200
135.94/136.47 c #Conflicts: 49000 | #Constraints: 35200
135.94/136.47 c #Conflicts: 50000 | #Constraints: 36200
135.94/136.47 c #Conflicts: 51000 | #Constraints: 37200
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 52000 | #Constraints: 33601
135.94/136.47 c #Conflicts: 53000 | #Constraints: 34601
135.94/136.47 c #Conflicts: 54000 | #Constraints: 35601
135.94/136.47 c #Conflicts: 55000 | #Constraints: 36601
135.94/136.47 c #Conflicts: 56000 | #Constraints: 37601
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 57000 | #Constraints: 33802
135.94/136.47 c #Conflicts: 58000 | #Constraints: 34802
135.94/136.47 c #Conflicts: 59000 | #Constraints: 35802
135.94/136.47 c #Conflicts: 60000 | #Constraints: 36802
135.94/136.47 c #Conflicts: 61000 | #Constraints: 37802
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 62000 | #Constraints: 33801
135.94/136.47 c #Conflicts: 63000 | #Constraints: 34801
135.94/136.47 c #Conflicts: 64000 | #Constraints: 35801
135.94/136.47 c #Conflicts: 65000 | #Constraints: 36801
135.94/136.47 c #Conflicts: 66000 | #Constraints: 37801
135.94/136.47 c INPROCESSING
135.94/136.47 c GARBAGE COLLECT
135.94/136.47 c #Conflicts: 67000 | #Constraints: 33602
135.94/136.47 c #Conflicts: 68000 | #Constraints: 34602
400.37/401.77 c #Conflicts: 69000 | #Constraints: 35602
400.37/401.77 c #Conflicts: 70000 | #Constraints: 36602
400.37/401.77 c #Conflicts: 71000 | #Constraints: 37602
400.37/401.77 c #Conflicts: 72000 | #Constraints: 38602
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 73000 | #Constraints: 34202
400.37/401.77 c #Conflicts: 74000 | #Constraints: 35202
400.37/401.77 c #Conflicts: 75000 | #Constraints: 36202
400.37/401.77 c #Conflicts: 76000 | #Constraints: 37202
400.37/401.77 c #Conflicts: 77000 | #Constraints: 38202
400.37/401.77 c #Conflicts: 78000 | #Constraints: 39202
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 79000 | #Constraints: 34601
400.37/401.77 c #Conflicts: 80000 | #Constraints: 35601
400.37/401.77 c #Conflicts: 81000 | #Constraints: 36601
400.37/401.77 c #Conflicts: 82000 | #Constraints: 37601
400.37/401.77 c #Conflicts: 83000 | #Constraints: 38601
400.37/401.77 c #Conflicts: 84000 | #Constraints: 39601
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 85000 | #Constraints: 34801
400.37/401.77 c #Conflicts: 86000 | #Constraints: 35801
400.37/401.77 c #Conflicts: 87000 | #Constraints: 36801
400.37/401.77 c #Conflicts: 88000 | #Constraints: 37801
400.37/401.77 c #Conflicts: 89000 | #Constraints: 38801
400.37/401.77 c #Conflicts: 90000 | #Constraints: 39801
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 91000 | #Constraints: 34802
400.37/401.77 c #Conflicts: 92000 | #Constraints: 35802
400.37/401.77 c #Conflicts: 93000 | #Constraints: 36802
400.37/401.77 c #Conflicts: 94000 | #Constraints: 37802
400.37/401.77 c #Conflicts: 95000 | #Constraints: 38802
400.37/401.77 c #Conflicts: 96000 | #Constraints: 39802
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 97000 | #Constraints: 34601
400.37/401.77 c #Conflicts: 98000 | #Constraints: 35601
400.37/401.77 c #Conflicts: 99000 | #Constraints: 36601
400.37/401.77 c #Conflicts: 100000 | #Constraints: 37601
400.37/401.77 c #Conflicts: 101000 | #Constraints: 38601
400.37/401.77 c #Conflicts: 102000 | #Constraints: 39601
400.37/401.77 c #Conflicts: 103000 | #Constraints: 40601
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 104000 | #Constraints: 35201
400.37/401.77 c #Conflicts: 105000 | #Constraints: 36201
400.37/401.77 c #Conflicts: 106000 | #Constraints: 37201
400.37/401.77 c #Conflicts: 107000 | #Constraints: 38201
400.37/401.77 c #Conflicts: 108000 | #Constraints: 39201
400.37/401.77 c #Conflicts: 109000 | #Constraints: 40201
400.37/401.77 c #Conflicts: 110000 | #Constraints: 41201
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 111000 | #Constraints: 35600
400.37/401.77 c #Conflicts: 112000 | #Constraints: 36600
400.37/401.77 c #Conflicts: 113000 | #Constraints: 37600
400.37/401.77 c #Conflicts: 114000 | #Constraints: 38600
400.37/401.77 c #Conflicts: 115000 | #Constraints: 39600
400.37/401.77 c #Conflicts: 116000 | #Constraints: 40600
400.37/401.77 c #Conflicts: 117000 | #Constraints: 41600
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 118000 | #Constraints: 35801
400.37/401.77 c #Conflicts: 119000 | #Constraints: 36801
400.37/401.77 c #Conflicts: 120000 | #Constraints: 37801
400.37/401.77 c #Conflicts: 121000 | #Constraints: 38801
400.37/401.77 c #Conflicts: 122000 | #Constraints: 39801
400.37/401.77 c #Conflicts: 123000 | #Constraints: 40801
400.37/401.77 c #Conflicts: 124000 | #Constraints: 41801
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 125000 | #Constraints: 35798
400.37/401.77 c #Conflicts: 126000 | #Constraints: 36798
400.37/401.77 c #Conflicts: 127000 | #Constraints: 37798
400.37/401.77 c #Conflicts: 128000 | #Constraints: 38798
400.37/401.77 c #Conflicts: 129000 | #Constraints: 39798
400.37/401.77 c #Conflicts: 130000 | #Constraints: 40798
400.37/401.77 c #Conflicts: 131000 | #Constraints: 41798
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 132000 | #Constraints: 35600
400.37/401.77 c #Conflicts: 133000 | #Constraints: 36600
400.37/401.77 c #Conflicts: 134000 | #Constraints: 37600
400.37/401.77 c #Conflicts: 135000 | #Constraints: 38600
400.37/401.77 c #Conflicts: 136000 | #Constraints: 39600
400.37/401.77 c #Conflicts: 137000 | #Constraints: 40600
400.37/401.77 c #Conflicts: 138000 | #Constraints: 41600
400.37/401.77 c #Conflicts: 139000 | #Constraints: 42600
400.37/401.77 c INPROCESSING
400.37/401.77 c GARBAGE COLLECT
400.37/401.77 c #Conflicts: 140000 | #Constraints: 36199
739.88/742.32 c #Conflicts: 141000 | #Constraints: 37199
739.88/742.32 c #Conflicts: 142000 | #Constraints: 38199
739.88/742.32 c #Conflicts: 143000 | #Constraints: 39199
739.88/742.32 c #Conflicts: 144000 | #Constraints: 40199
739.88/742.32 c #Conflicts: 145000 | #Constraints: 41199
739.88/742.32 c #Conflicts: 146000 | #Constraints: 42199
739.88/742.32 c #Conflicts: 147000 | #Constraints: 43199
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 148000 | #Constraints: 36600
739.88/742.32 c #Conflicts: 149000 | #Constraints: 37600
739.88/742.32 c #Conflicts: 150000 | #Constraints: 38600
739.88/742.32 c #Conflicts: 151000 | #Constraints: 39600
739.88/742.32 c #Conflicts: 152000 | #Constraints: 40600
739.88/742.32 c #Conflicts: 153000 | #Constraints: 41600
739.88/742.32 c #Conflicts: 154000 | #Constraints: 42600
739.88/742.32 c #Conflicts: 155000 | #Constraints: 43600
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 156000 | #Constraints: 36800
739.88/742.32 c #Conflicts: 157000 | #Constraints: 37800
739.88/742.32 c #Conflicts: 158000 | #Constraints: 38800
739.88/742.32 c #Conflicts: 159000 | #Constraints: 39800
739.88/742.32 c #Conflicts: 160000 | #Constraints: 40800
739.88/742.32 c #Conflicts: 161000 | #Constraints: 41800
739.88/742.32 c #Conflicts: 162000 | #Constraints: 42800
739.88/742.32 c #Conflicts: 163000 | #Constraints: 43800
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 164000 | #Constraints: 36798
739.88/742.32 c #Conflicts: 165000 | #Constraints: 37798
739.88/742.32 c #Conflicts: 166000 | #Constraints: 38798
739.88/742.32 c #Conflicts: 167000 | #Constraints: 39798
739.88/742.32 c #Conflicts: 168000 | #Constraints: 40798
739.88/742.32 c #Conflicts: 169000 | #Constraints: 41798
739.88/742.32 c #Conflicts: 170000 | #Constraints: 42798
739.88/742.32 c #Conflicts: 171000 | #Constraints: 43798
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 172000 | #Constraints: 36600
739.88/742.32 c #Conflicts: 173000 | #Constraints: 37600
739.88/742.32 c #Conflicts: 174000 | #Constraints: 38600
739.88/742.32 c #Conflicts: 175000 | #Constraints: 39600
739.88/742.32 c #Conflicts: 176000 | #Constraints: 40600
739.88/742.32 c #Conflicts: 177000 | #Constraints: 41600
739.88/742.32 c #Conflicts: 178000 | #Constraints: 42600
739.88/742.32 c #Conflicts: 179000 | #Constraints: 43600
739.88/742.32 c #Conflicts: 180000 | #Constraints: 44600
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 181000 | #Constraints: 37199
739.88/742.32 c #Conflicts: 182000 | #Constraints: 38199
739.88/742.32 c #Conflicts: 183000 | #Constraints: 39199
739.88/742.32 c #Conflicts: 184000 | #Constraints: 40199
739.88/742.32 c #Conflicts: 185000 | #Constraints: 41199
739.88/742.32 c #Conflicts: 186000 | #Constraints: 42199
739.88/742.32 c #Conflicts: 187000 | #Constraints: 43199
739.88/742.32 c #Conflicts: 188000 | #Constraints: 44199
739.88/742.32 c #Conflicts: 189000 | #Constraints: 45199
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 190000 | #Constraints: 37597
739.88/742.32 c #Conflicts: 191000 | #Constraints: 38597
739.88/742.32 c #Conflicts: 192000 | #Constraints: 39597
739.88/742.32 c #Conflicts: 193000 | #Constraints: 40597
739.88/742.32 c #Conflicts: 194000 | #Constraints: 41597
739.88/742.32 c #Conflicts: 195000 | #Constraints: 42597
739.88/742.32 c #Conflicts: 196000 | #Constraints: 43597
739.88/742.32 c #Conflicts: 197000 | #Constraints: 44597
739.88/742.32 c #Conflicts: 198000 | #Constraints: 45597
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 199000 | #Constraints: 37798
739.88/742.32 c #Conflicts: 200000 | #Constraints: 38798
739.88/742.32 c #Conflicts: 201000 | #Constraints: 39798
739.88/742.32 c #Conflicts: 202000 | #Constraints: 40798
739.88/742.32 c #Conflicts: 203000 | #Constraints: 41798
739.88/742.32 c #Conflicts: 204000 | #Constraints: 42798
739.88/742.32 c #Conflicts: 205000 | #Constraints: 43798
739.88/742.32 c #Conflicts: 206000 | #Constraints: 44798
739.88/742.32 c #Conflicts: 207000 | #Constraints: 45798
739.88/742.32 c INPROCESSING
739.88/742.32 c GARBAGE COLLECT
739.88/742.32 c #Conflicts: 208000 | #Constraints: 37797
739.88/742.32 c #Conflicts: 209000 | #Constraints: 38797
739.88/742.32 c #Conflicts: 210000 | #Constraints: 39797
739.88/742.32 c #Conflicts: 211000 | #Constraints: 40797
739.88/742.32 c #Conflicts: 212000 | #Constraints: 41797
739.88/742.32 c #Conflicts: 213000 | #Constraints: 42797
1174.03/1177.85 c #Conflicts: 214000 | #Constraints: 43797
1174.03/1177.85 c #Conflicts: 215000 | #Constraints: 44797
1174.03/1177.85 c #Conflicts: 216000 | #Constraints: 45797
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 217000 | #Constraints: 37596
1174.03/1177.85 c #Conflicts: 218000 | #Constraints: 38596
1174.03/1177.85 c #Conflicts: 219000 | #Constraints: 39596
1174.03/1177.85 c #Conflicts: 220000 | #Constraints: 40596
1174.03/1177.85 c #Conflicts: 221000 | #Constraints: 41596
1174.03/1177.85 c #Conflicts: 222000 | #Constraints: 42596
1174.03/1177.85 c #Conflicts: 223000 | #Constraints: 43596
1174.03/1177.85 c #Conflicts: 224000 | #Constraints: 44596
1174.03/1177.85 c #Conflicts: 225000 | #Constraints: 45596
1174.03/1177.85 c #Conflicts: 226000 | #Constraints: 46596
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 227000 | #Constraints: 38199
1174.03/1177.85 c #Conflicts: 228000 | #Constraints: 39199
1174.03/1177.85 c #Conflicts: 229000 | #Constraints: 40199
1174.03/1177.85 c #Conflicts: 230000 | #Constraints: 41199
1174.03/1177.85 c #Conflicts: 231000 | #Constraints: 42199
1174.03/1177.85 c #Conflicts: 232000 | #Constraints: 43199
1174.03/1177.85 c #Conflicts: 233000 | #Constraints: 44199
1174.03/1177.85 c #Conflicts: 234000 | #Constraints: 45199
1174.03/1177.85 c #Conflicts: 235000 | #Constraints: 46199
1174.03/1177.85 c #Conflicts: 236000 | #Constraints: 47199
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 237000 | #Constraints: 38603
1174.03/1177.85 c #Conflicts: 238000 | #Constraints: 39603
1174.03/1177.85 c #Conflicts: 239000 | #Constraints: 40603
1174.03/1177.85 c #Conflicts: 240000 | #Constraints: 41603
1174.03/1177.85 c #Conflicts: 241000 | #Constraints: 42603
1174.03/1177.85 c #Conflicts: 242000 | #Constraints: 43603
1174.03/1177.85 c #Conflicts: 243000 | #Constraints: 44603
1174.03/1177.85 c #Conflicts: 244000 | #Constraints: 45603
1174.03/1177.85 c #Conflicts: 245000 | #Constraints: 46603
1174.03/1177.85 c #Conflicts: 246000 | #Constraints: 47603
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 247000 | #Constraints: 38802
1174.03/1177.85 c #Conflicts: 248000 | #Constraints: 39802
1174.03/1177.85 c #Conflicts: 249000 | #Constraints: 40802
1174.03/1177.85 c #Conflicts: 250000 | #Constraints: 41802
1174.03/1177.85 c #Conflicts: 251000 | #Constraints: 42802
1174.03/1177.85 c #Conflicts: 252000 | #Constraints: 43802
1174.03/1177.85 c #Conflicts: 253000 | #Constraints: 44802
1174.03/1177.85 c #Conflicts: 254000 | #Constraints: 45802
1174.03/1177.85 c #Conflicts: 255000 | #Constraints: 46802
1174.03/1177.85 c #Conflicts: 256000 | #Constraints: 47802
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 257000 | #Constraints: 38805
1174.03/1177.85 c #Conflicts: 258000 | #Constraints: 39805
1174.03/1177.85 c #Conflicts: 259000 | #Constraints: 40805
1174.03/1177.85 c #Conflicts: 260000 | #Constraints: 41805
1174.03/1177.85 c #Conflicts: 261000 | #Constraints: 42805
1174.03/1177.85 c #Conflicts: 262000 | #Constraints: 43805
1174.03/1177.85 c #Conflicts: 263000 | #Constraints: 44805
1174.03/1177.85 c #Conflicts: 264000 | #Constraints: 45805
1174.03/1177.85 c #Conflicts: 265000 | #Constraints: 46805
1174.03/1177.85 c #Conflicts: 266000 | #Constraints: 47805
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 267000 | #Constraints: 38604
1174.03/1177.85 c #Conflicts: 268000 | #Constraints: 39604
1174.03/1177.85 c #Conflicts: 269000 | #Constraints: 40604
1174.03/1177.85 c #Conflicts: 270000 | #Constraints: 41604
1174.03/1177.85 c #Conflicts: 271000 | #Constraints: 42604
1174.03/1177.85 c #Conflicts: 272000 | #Constraints: 43604
1174.03/1177.85 c #Conflicts: 273000 | #Constraints: 44604
1174.03/1177.85 c #Conflicts: 274000 | #Constraints: 45604
1174.03/1177.85 c #Conflicts: 275000 | #Constraints: 46604
1174.03/1177.85 c #Conflicts: 276000 | #Constraints: 47604
1174.03/1177.85 c #Conflicts: 277000 | #Constraints: 48604
1174.03/1177.85 c INPROCESSING
1174.03/1177.85 c GARBAGE COLLECT
1174.03/1177.85 c #Conflicts: 278000 | #Constraints: 39204
1174.03/1177.85 c #Conflicts: 279000 | #Constraints: 40204
1174.03/1177.85 c #Conflicts: 280000 | #Constraints: 41204
1174.03/1177.85 c #Conflicts: 281000 | #Constraints: 42204
1174.03/1177.85 c #Conflicts: 282000 | #Constraints: 43204
1174.03/1177.85 c #Conflicts: 283000 | #Constraints: 44204
1174.03/1177.85 c #Conflicts: 284000 | #Constraints: 45204
1174.03/1177.85 c #Conflicts: 285000 | #Constraints: 46204
1174.03/1177.85 c #Conflicts: 286000 | #Constraints: 47204
1174.03/1177.85 c #Conflicts: 287000 | #Constraints: 48204
1174.03/1177.85 c #Conflicts: 288000 | #Constraints: 49204
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 289000 | #Constraints: 39602
1608.58/1613.77 c #Conflicts: 290000 | #Constraints: 40602
1608.58/1613.77 c #Conflicts: 291000 | #Constraints: 41602
1608.58/1613.77 c #Conflicts: 292000 | #Constraints: 42602
1608.58/1613.77 c #Conflicts: 293000 | #Constraints: 43602
1608.58/1613.77 c #Conflicts: 294000 | #Constraints: 44602
1608.58/1613.77 c #Conflicts: 295000 | #Constraints: 45602
1608.58/1613.77 c #Conflicts: 296000 | #Constraints: 46602
1608.58/1613.77 c #Conflicts: 297000 | #Constraints: 47602
1608.58/1613.77 c #Conflicts: 298000 | #Constraints: 48602
1608.58/1613.77 c #Conflicts: 299000 | #Constraints: 49602
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 300000 | #Constraints: 39802
1608.58/1613.77 c #Conflicts: 301000 | #Constraints: 40802
1608.58/1613.77 c #Conflicts: 302000 | #Constraints: 41802
1608.58/1613.77 c #Conflicts: 303000 | #Constraints: 42802
1608.58/1613.77 c #Conflicts: 304000 | #Constraints: 43802
1608.58/1613.77 c #Conflicts: 305000 | #Constraints: 44802
1608.58/1613.77 c #Conflicts: 306000 | #Constraints: 45802
1608.58/1613.77 c #Conflicts: 307000 | #Constraints: 46802
1608.58/1613.77 c #Conflicts: 308000 | #Constraints: 47802
1608.58/1613.77 c #Conflicts: 309000 | #Constraints: 48802
1608.58/1613.77 c #Conflicts: 310000 | #Constraints: 49802
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 311000 | #Constraints: 39801
1608.58/1613.77 c #Conflicts: 312000 | #Constraints: 40801
1608.58/1613.77 c #Conflicts: 313000 | #Constraints: 41801
1608.58/1613.77 c #Conflicts: 314000 | #Constraints: 42801
1608.58/1613.77 c #Conflicts: 315000 | #Constraints: 43801
1608.58/1613.77 c #Conflicts: 316000 | #Constraints: 44801
1608.58/1613.77 c #Conflicts: 317000 | #Constraints: 45801
1608.58/1613.77 c #Conflicts: 318000 | #Constraints: 46801
1608.58/1613.77 c #Conflicts: 319000 | #Constraints: 47801
1608.58/1613.77 c #Conflicts: 320000 | #Constraints: 48801
1608.58/1613.77 c #Conflicts: 321000 | #Constraints: 49801
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 322000 | #Constraints: 39603
1608.58/1613.77 c #Conflicts: 323000 | #Constraints: 40603
1608.58/1613.77 c #Conflicts: 324000 | #Constraints: 41603
1608.58/1613.77 c #Conflicts: 325000 | #Constraints: 42603
1608.58/1613.77 c #Conflicts: 326000 | #Constraints: 43603
1608.58/1613.77 c #Conflicts: 327000 | #Constraints: 44603
1608.58/1613.77 c #Conflicts: 328000 | #Constraints: 45603
1608.58/1613.77 c #Conflicts: 329000 | #Constraints: 46603
1608.58/1613.77 c #Conflicts: 330000 | #Constraints: 47603
1608.58/1613.77 c #Conflicts: 331000 | #Constraints: 48603
1608.58/1613.77 c #Conflicts: 332000 | #Constraints: 49603
1608.58/1613.77 c #Conflicts: 333000 | #Constraints: 50603
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 334000 | #Constraints: 40201
1608.58/1613.77 c #Conflicts: 335000 | #Constraints: 41201
1608.58/1613.77 c #Conflicts: 336000 | #Constraints: 42201
1608.58/1613.77 c #Conflicts: 337000 | #Constraints: 43201
1608.58/1613.77 c #Conflicts: 338000 | #Constraints: 44201
1608.58/1613.77 c #Conflicts: 339000 | #Constraints: 45201
1608.58/1613.77 c #Conflicts: 340000 | #Constraints: 46201
1608.58/1613.77 c #Conflicts: 341000 | #Constraints: 47201
1608.58/1613.77 c #Conflicts: 342000 | #Constraints: 48201
1608.58/1613.77 c #Conflicts: 343000 | #Constraints: 49201
1608.58/1613.77 c #Conflicts: 344000 | #Constraints: 50201
1608.58/1613.77 c #Conflicts: 345000 | #Constraints: 51201
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 346000 | #Constraints: 40599
1608.58/1613.77 c #Conflicts: 347000 | #Constraints: 41599
1608.58/1613.77 c #Conflicts: 348000 | #Constraints: 42599
1608.58/1613.77 c #Conflicts: 349000 | #Constraints: 43599
1608.58/1613.77 c #Conflicts: 350000 | #Constraints: 44599
1608.58/1613.77 c #Conflicts: 351000 | #Constraints: 45599
1608.58/1613.77 c #Conflicts: 352000 | #Constraints: 46599
1608.58/1613.77 c #Conflicts: 353000 | #Constraints: 47599
1608.58/1613.77 c #Conflicts: 354000 | #Constraints: 48599
1608.58/1613.77 c #Conflicts: 355000 | #Constraints: 49599
1608.58/1613.77 c #Conflicts: 356000 | #Constraints: 50599
1608.58/1613.77 c #Conflicts: 357000 | #Constraints: 51599
1608.58/1613.77 c INPROCESSING
1608.58/1613.77 c GARBAGE COLLECT
1608.58/1613.77 c #Conflicts: 358000 | #Constraints: 40798
1608.58/1613.77 c #Conflicts: 359000 | #Constraints: 41798
1608.58/1613.77 c #Conflicts: 360000 | #Constraints: 42798
1608.58/1613.77 c #Conflicts: 361000 | #Constraints: 43798
1608.58/1613.77 c #Conflicts: 362000 | #Constraints: 44798
2132.28/2139.28 c #Conflicts: 363000 | #Constraints: 45798
2132.28/2139.28 c #Conflicts: 364000 | #Constraints: 46798
2132.28/2139.28 c #Conflicts: 365000 | #Constraints: 47798
2132.28/2139.28 c #Conflicts: 366000 | #Constraints: 48798
2132.28/2139.28 c #Conflicts: 367000 | #Constraints: 49798
2132.28/2139.28 c #Conflicts: 368000 | #Constraints: 50798
2132.28/2139.28 c #Conflicts: 369000 | #Constraints: 51798
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 370000 | #Constraints: 40800
2132.28/2139.28 c #Conflicts: 371000 | #Constraints: 41800
2132.28/2139.28 c #Conflicts: 372000 | #Constraints: 42800
2132.28/2139.28 c #Conflicts: 373000 | #Constraints: 43800
2132.28/2139.28 c #Conflicts: 374000 | #Constraints: 44800
2132.28/2139.28 c #Conflicts: 375000 | #Constraints: 45800
2132.28/2139.28 c #Conflicts: 376000 | #Constraints: 46800
2132.28/2139.28 c #Conflicts: 377000 | #Constraints: 47800
2132.28/2139.28 c #Conflicts: 378000 | #Constraints: 48800
2132.28/2139.28 c #Conflicts: 379000 | #Constraints: 49800
2132.28/2139.28 c #Conflicts: 380000 | #Constraints: 50800
2132.28/2139.28 c #Conflicts: 381000 | #Constraints: 51800
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 382000 | #Constraints: 40598
2132.28/2139.28 c #Conflicts: 383000 | #Constraints: 41598
2132.28/2139.28 c #Conflicts: 384000 | #Constraints: 42598
2132.28/2139.28 c #Conflicts: 385000 | #Constraints: 43598
2132.28/2139.28 c #Conflicts: 386000 | #Constraints: 44598
2132.28/2139.28 c #Conflicts: 387000 | #Constraints: 45598
2132.28/2139.28 c #Conflicts: 388000 | #Constraints: 46598
2132.28/2139.28 c #Conflicts: 389000 | #Constraints: 47598
2132.28/2139.28 c #Conflicts: 390000 | #Constraints: 48598
2132.28/2139.28 c #Conflicts: 391000 | #Constraints: 49598
2132.28/2139.28 c #Conflicts: 392000 | #Constraints: 50598
2132.28/2139.28 c #Conflicts: 393000 | #Constraints: 51598
2132.28/2139.28 c #Conflicts: 394000 | #Constraints: 52598
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 395000 | #Constraints: 41198
2132.28/2139.28 c #Conflicts: 396000 | #Constraints: 42198
2132.28/2139.28 c #Conflicts: 397000 | #Constraints: 43198
2132.28/2139.28 c #Conflicts: 398000 | #Constraints: 44198
2132.28/2139.28 c #Conflicts: 399000 | #Constraints: 45198
2132.28/2139.28 c #Conflicts: 400000 | #Constraints: 46198
2132.28/2139.28 c #Conflicts: 401000 | #Constraints: 47198
2132.28/2139.28 c #Conflicts: 402000 | #Constraints: 48198
2132.28/2139.28 c #Conflicts: 403000 | #Constraints: 49198
2132.28/2139.28 c #Conflicts: 404000 | #Constraints: 50198
2132.28/2139.28 c #Conflicts: 405000 | #Constraints: 51198
2132.28/2139.28 c #Conflicts: 406000 | #Constraints: 52198
2132.28/2139.28 c #Conflicts: 407000 | #Constraints: 53198
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 408000 | #Constraints: 41601
2132.28/2139.28 c #Conflicts: 409000 | #Constraints: 42601
2132.28/2139.28 c #Conflicts: 410000 | #Constraints: 43601
2132.28/2139.28 c #Conflicts: 411000 | #Constraints: 44601
2132.28/2139.28 c #Conflicts: 412000 | #Constraints: 45601
2132.28/2139.28 c #Conflicts: 413000 | #Constraints: 46601
2132.28/2139.28 c #Conflicts: 414000 | #Constraints: 47601
2132.28/2139.28 c #Conflicts: 415000 | #Constraints: 48601
2132.28/2139.28 c #Conflicts: 416000 | #Constraints: 49601
2132.28/2139.28 c #Conflicts: 417000 | #Constraints: 50601
2132.28/2139.28 c #Conflicts: 418000 | #Constraints: 51601
2132.28/2139.28 c #Conflicts: 419000 | #Constraints: 52601
2132.28/2139.28 c #Conflicts: 420000 | #Constraints: 53601
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 421000 | #Constraints: 41801
2132.28/2139.28 c #Conflicts: 422000 | #Constraints: 42801
2132.28/2139.28 c #Conflicts: 423000 | #Constraints: 43801
2132.28/2139.28 c #Conflicts: 424000 | #Constraints: 44801
2132.28/2139.28 c #Conflicts: 425000 | #Constraints: 45801
2132.28/2139.28 c #Conflicts: 426000 | #Constraints: 46801
2132.28/2139.28 c #Conflicts: 427000 | #Constraints: 47801
2132.28/2139.28 c #Conflicts: 428000 | #Constraints: 48801
2132.28/2139.28 c #Conflicts: 429000 | #Constraints: 49801
2132.28/2139.28 c #Conflicts: 430000 | #Constraints: 50801
2132.28/2139.28 c #Conflicts: 431000 | #Constraints: 51801
2132.28/2139.28 c #Conflicts: 432000 | #Constraints: 52801
2132.28/2139.28 c #Conflicts: 433000 | #Constraints: 53801
2132.28/2139.28 c INPROCESSING
2132.28/2139.28 c GARBAGE COLLECT
2132.28/2139.28 c #Conflicts: 434000 | #Constraints: 41802
2132.28/2139.28 c #Conflicts: 435000 | #Constraints: 42802
2132.28/2139.28 c #Conflicts: 436000 | #Constraints: 43802
2132.28/2139.28 c #Conflicts: 437000 | #Constraints: 44802
2768.66/2777.84 c #Conflicts: 438000 | #Constraints: 45802
2768.66/2777.84 c #Conflicts: 439000 | #Constraints: 46802
2768.66/2777.84 c #Conflicts: 440000 | #Constraints: 47802
2768.66/2777.84 c #Conflicts: 441000 | #Constraints: 48802
2768.66/2777.84 c #Conflicts: 442000 | #Constraints: 49802
2768.66/2777.84 c #Conflicts: 443000 | #Constraints: 50802
2768.66/2777.84 c #Conflicts: 444000 | #Constraints: 51802
2768.66/2777.84 c #Conflicts: 445000 | #Constraints: 52802
2768.66/2777.84 c #Conflicts: 446000 | #Constraints: 53802
2768.66/2777.84 c INPROCESSING
2768.66/2777.84 c GARBAGE COLLECT
2768.66/2777.84 c #Conflicts: 447000 | #Constraints: 41601
2768.66/2777.84 c #Conflicts: 448000 | #Constraints: 42601
2768.66/2777.84 c #Conflicts: 449000 | #Constraints: 43601
2768.66/2777.84 c #Conflicts: 450000 | #Constraints: 44601
2768.66/2777.84 c #Conflicts: 451000 | #Constraints: 45601
2768.66/2777.84 c #Conflicts: 452000 | #Constraints: 46601
2768.66/2777.84 c #Conflicts: 453000 | #Constraints: 47601
2768.66/2777.84 c #Conflicts: 454000 | #Constraints: 48601
2768.66/2777.84 c #Conflicts: 455000 | #Constraints: 49601
2768.66/2777.84 c #Conflicts: 456000 | #Constraints: 50601
2768.66/2777.84 c #Conflicts: 457000 | #Constraints: 51601
2768.66/2777.84 c #Conflicts: 458000 | #Constraints: 52601
2768.66/2777.84 c #Conflicts: 459000 | #Constraints: 53601
2768.66/2777.84 c #Conflicts: 460000 | #Constraints: 54601
2768.66/2777.84 c INPROCESSING
2768.66/2777.84 c GARBAGE COLLECT
2768.66/2777.84 c #Conflicts: 461000 | #Constraints: 42202
2768.66/2777.84 c #Conflicts: 462000 | #Constraints: 43202
2768.66/2777.84 c #Conflicts: 463000 | #Constraints: 44202
2768.66/2777.84 c #Conflicts: 464000 | #Constraints: 45202
2768.66/2777.84 c #Conflicts: 465000 | #Constraints: 46202
2768.66/2777.84 c #Conflicts: 466000 | #Constraints: 47202
2768.66/2777.84 c #Conflicts: 467000 | #Constraints: 48202
2768.66/2777.84 c #Conflicts: 468000 | #Constraints: 49202
2768.66/2777.84 c #Conflicts: 469000 | #Constraints: 50202
2768.66/2777.84 c #Conflicts: 470000 | #Constraints: 51202
2768.66/2777.84 c #Conflicts: 471000 | #Constraints: 52202
2768.66/2777.84 c #Conflicts: 472000 | #Constraints: 53202
2768.66/2777.84 c #Conflicts: 473000 | #Constraints: 54202
2768.66/2777.84 c #Conflicts: 474000 | #Constraints: 55202
2768.66/2777.84 c INPROCESSING
2768.66/2777.84 c GARBAGE COLLECT
2768.66/2777.84 c #Conflicts: 475000 | #Constraints: 42601
2768.66/2777.84 c #Conflicts: 476000 | #Constraints: 43601
2768.66/2777.84 c #Conflicts: 477000 | #Constraints: 44601
2768.66/2777.84 c #Conflicts: 478000 | #Constraints: 45601
2768.66/2777.84 c #Conflicts: 479000 | #Constraints: 46601
2768.66/2777.84 c #Conflicts: 480000 | #Constraints: 47601
2768.66/2777.84 c #Conflicts: 481000 | #Constraints: 48601
2768.66/2777.84 c #Conflicts: 482000 | #Constraints: 49601
2768.66/2777.84 c #Conflicts: 483000 | #Constraints: 50601
2768.66/2777.84 c #Conflicts: 484000 | #Constraints: 51601
2768.66/2777.84 c #Conflicts: 485000 | #Constraints: 52601
2768.66/2777.84 c #Conflicts: 486000 | #Constraints: 53601
2768.66/2777.84 c #Conflicts: 487000 | #Constraints: 54601
2768.66/2777.84 c #Conflicts: 488000 | #Constraints: 55601
2768.66/2777.84 c INPROCESSING
2768.66/2777.84 c GARBAGE COLLECT
2768.66/2777.84 c #Conflicts: 489000 | #Constraints: 42805
2768.66/2777.84 c #Conflicts: 490000 | #Constraints: 43805
2768.66/2777.84 c #Conflicts: 491000 | #Constraints: 44805
2768.66/2777.84 c #Conflicts: 492000 | #Constraints: 45805
2768.66/2777.84 c #Conflicts: 493000 | #Constraints: 46805
2768.66/2777.84 c #Conflicts: 494000 | #Constraints: 47805
2768.66/2777.84 c #Conflicts: 495000 | #Constraints: 48805
2768.66/2777.84 c #Conflicts: 496000 | #Constraints: 49805
2768.66/2777.84 c #Conflicts: 497000 | #Constraints: 50805
2768.66/2777.84 c #Conflicts: 498000 | #Constraints: 51805
2768.66/2777.84 c #Conflicts: 499000 | #Constraints: 52805
2768.66/2777.84 c #Conflicts: 500000 | #Constraints: 53805
2768.66/2777.84 c #Conflicts: 501000 | #Constraints: 54805
2768.66/2777.84 c #Conflicts: 502000 | #Constraints: 55805
2768.66/2777.84 c INPROCESSING
2768.66/2777.84 c GARBAGE COLLECT
2768.66/2777.84 c #Conflicts: 503000 | #Constraints: 42806
2768.66/2777.84 c #Conflicts: 504000 | #Constraints: 43806
2768.66/2777.84 c #Conflicts: 505000 | #Constraints: 44806
2768.66/2777.84 c #Conflicts: 506000 | #Constraints: 45806
2768.66/2777.84 c #Conflicts: 507000 | #Constraints: 46806
2768.66/2777.84 c #Conflicts: 508000 | #Constraints: 47806
2768.66/2777.84 c #Conflicts: 509000 | #Constraints: 48806
2768.66/2777.84 c #Conflicts: 510000 | #Constraints: 49806
2768.66/2777.84 c #Conflicts: 511000 | #Constraints: 50806
2768.66/2777.84 c #Conflicts: 512000 | #Constraints: 51806
2768.66/2777.84 c #Conflicts: 513000 | #Constraints: 52806
3361.68/3372.97 c #Conflicts: 514000 | #Constraints: 53806
3361.68/3372.97 c #Conflicts: 515000 | #Constraints: 54806
3361.68/3372.97 c #Conflicts: 516000 | #Constraints: 55806
3361.68/3372.97 c INPROCESSING
3361.68/3372.97 c GARBAGE COLLECT
3361.68/3372.97 c #Conflicts: 517000 | #Constraints: 42605
3361.68/3372.97 c #Conflicts: 518000 | #Constraints: 43605
3361.68/3372.97 c #Conflicts: 519000 | #Constraints: 44605
3361.68/3372.97 c #Conflicts: 520000 | #Constraints: 45605
3361.68/3372.97 c #Conflicts: 521000 | #Constraints: 46605
3361.68/3372.97 c #Conflicts: 522000 | #Constraints: 47605
3361.68/3372.97 c #Conflicts: 523000 | #Constraints: 48605
3361.68/3372.97 c #Conflicts: 524000 | #Constraints: 49605
3361.68/3372.97 c #Conflicts: 525000 | #Constraints: 50605
3361.68/3372.97 c #Conflicts: 526000 | #Constraints: 51605
3361.68/3372.97 c #Conflicts: 527000 | #Constraints: 52605
3361.68/3372.97 c #Conflicts: 528000 | #Constraints: 53605
3361.68/3372.97 c #Conflicts: 529000 | #Constraints: 54605
3361.68/3372.97 c #Conflicts: 530000 | #Constraints: 55605
3361.68/3372.97 c #Conflicts: 531000 | #Constraints: 56605
3361.68/3372.97 c INPROCESSING
3361.68/3372.97 c GARBAGE COLLECT
3361.68/3372.97 c #Conflicts: 532000 | #Constraints: 43203
3361.68/3372.97 c #Conflicts: 533000 | #Constraints: 44203
3361.68/3372.97 c #Conflicts: 534000 | #Constraints: 45203
3361.68/3372.97 c #Conflicts: 535000 | #Constraints: 46203
3361.68/3372.97 c #Conflicts: 536000 | #Constraints: 47203
3361.68/3372.97 c #Conflicts: 537000 | #Constraints: 48203
3361.68/3372.97 c #Conflicts: 538000 | #Constraints: 49203
3361.68/3372.97 c #Conflicts: 539000 | #Constraints: 50203
3361.68/3372.97 c #Conflicts: 540000 | #Constraints: 51203
3361.68/3372.97 c #Conflicts: 541000 | #Constraints: 52203
3361.68/3372.97 c #Conflicts: 542000 | #Constraints: 53203
3361.68/3372.97 c #Conflicts: 543000 | #Constraints: 54203
3361.68/3372.97 c #Conflicts: 544000 | #Constraints: 55203
3361.68/3372.97 c #Conflicts: 545000 | #Constraints: 56203
3361.68/3372.97 c #Conflicts: 546000 | #Constraints: 57203
3361.68/3372.97 c INPROCESSING
3361.68/3372.97 c GARBAGE COLLECT
3361.68/3372.97 c #Conflicts: 547000 | #Constraints: 43600
3361.68/3372.97 c #Conflicts: 548000 | #Constraints: 44600
3361.68/3372.97 c #Conflicts: 549000 | #Constraints: 45600
3361.68/3372.97 c #Conflicts: 550000 | #Constraints: 46600
3361.68/3372.97 c #Conflicts: 551000 | #Constraints: 47600
3361.68/3372.97 c #Conflicts: 552000 | #Constraints: 48600
3361.68/3372.97 c #Conflicts: 553000 | #Constraints: 49600
3361.68/3372.97 c #Conflicts: 554000 | #Constraints: 50600
3361.68/3372.97 c #Conflicts: 555000 | #Constraints: 51600
3361.68/3372.97 c #Conflicts: 556000 | #Constraints: 52600
3361.68/3372.97 c #Conflicts: 557000 | #Constraints: 53600
3361.68/3372.97 c #Conflicts: 558000 | #Constraints: 54600
3361.68/3372.97 c #Conflicts: 559000 | #Constraints: 55600
3361.68/3372.97 c #Conflicts: 560000 | #Constraints: 56600
3361.68/3372.97 c #Conflicts: 561000 | #Constraints: 57600
3361.68/3372.97 c INPROCESSING
3361.68/3372.97 c GARBAGE COLLECT
3361.68/3372.97 c #Conflicts: 562000 | #Constraints: 43799
3361.68/3372.97 c #Conflicts: 563000 | #Constraints: 44799
3361.68/3372.97 c #Conflicts: 564000 | #Constraints: 45799
3361.68/3372.97 c #Conflicts: 565000 | #Constraints: 46799
3361.68/3372.97 c #Conflicts: 566000 | #Constraints: 47799
3361.68/3372.97 c #Conflicts: 567000 | #Constraints: 48799
3361.68/3372.97 c #Conflicts: 568000 | #Constraints: 49799
3361.68/3372.97 c #Conflicts: 569000 | #Constraints: 50799
3361.68/3372.97 c #Conflicts: 570000 | #Constraints: 51799
3361.68/3372.97 c #Conflicts: 571000 | #Constraints: 52799
3361.68/3372.97 c #Conflicts: 572000 | #Constraints: 53799
3361.68/3372.97 c #Conflicts: 573000 | #Constraints: 54799
3361.68/3372.97 c #Conflicts: 574000 | #Constraints: 55799
3361.68/3372.97 c #Conflicts: 575000 | #Constraints: 56799
3361.68/3372.97 c #Conflicts: 576000 | #Constraints: 57799
3361.68/3372.97 c INPROCESSING
3361.68/3372.97 c GARBAGE COLLECT
3361.68/3372.97 c #Conflicts: 577000 | #Constraints: 43799
3361.68/3372.97 c #Conflicts: 578000 | #Constraints: 44799
3361.68/3372.97 c #Conflicts: 579000 | #Constraints: 45799
3361.68/3372.97 c #Conflicts: 580000 | #Constraints: 46799
3361.68/3372.97 c #Conflicts: 581000 | #Constraints: 47799
3361.68/3372.97 c #Conflicts: 582000 | #Constraints: 48799
3361.68/3372.97 c #Conflicts: 583000 | #Constraints: 49799
3361.68/3372.97 c #Conflicts: 584000 | #Constraints: 50799
3361.68/3372.97 c #Conflicts: 585000 | #Constraints: 51799
3361.68/3372.97 c #Conflicts: 586000 | #Constraints: 52799
3361.68/3372.97 c #Conflicts: 587000 | #Constraints: 53799
3361.68/3372.97 c #Conflicts: 588000 | #Constraints: 54799
3600.04/3612.11 c #Conflicts: 589000 | #Constraints: 55799
3600.04/3612.11 c #Conflicts: 590000 | #Constraints: 56799
3600.04/3612.11 c #Conflicts: 591000 | #Constraints: 57799
3600.04/3612.11 c INPROCESSING
3600.04/3612.11 c GARBAGE COLLECT
3600.04/3612.11 c #Conflicts: 592000 | #Constraints: 43599
3600.04/3612.11 c #Conflicts: 593000 | #Constraints: 44599
3600.04/3612.11 c #Conflicts: 594000 | #Constraints: 45599
3600.04/3612.11 c #Conflicts: 595000 | #Constraints: 46599
3600.04/3612.11 c #Conflicts: 596000 | #Constraints: 47599
3600.04/3612.11 c #Conflicts: 597000 | #Constraints: 48599
3600.04/3612.11 c #Conflicts: 598000 | #Constraints: 49599
3600.04/3612.11 c #Conflicts: 599000 | #Constraints: 50599
3600.04/3612.11 c #Conflicts: 600000 | #Constraints: 51599
3600.04/3612.11 c #Conflicts: 601000 | #Constraints: 52599
3600.04/3612.11 c #Conflicts: 602000 | #Constraints: 53599
3600.04/3612.11 c #Conflicts: 603000 | #Constraints: 54599
3600.04/3612.11 c #Conflicts: 604000 | #Constraints: 55599
3600.04/3612.11 c #Conflicts: 605000 | #Constraints: 56599
3600.04/3612.11 c #Conflicts: 606000 | #Constraints: 57599
3600.04/3612.11 c #Conflicts: 607000 | #Constraints: 58599
3600.04/3612.12 c INPROCESSING
3600.04/3612.12 c GARBAGE COLLECT
3600.04/3612.12 c #Conflicts: 608000 | #Constraints: 44203
3600.04/3612.12 c #Conflicts: 609000 | #Constraints: 45203
3600.04/3612.12 c #Conflicts: 610000 | #Constraints: 46203
3600.04/3612.12 c #Conflicts: 611000 | #Constraints: 47203
3600.04/3612.12 c #Conflicts: 612000 | #Constraints: 48203
3600.04/3612.12 c #Conflicts: 613000 | #Constraints: 49203
3600.04/3612.12 c cpu time 3596.45 s
3600.04/3612.12 c deterministic time 1 1.00e+00
3600.04/3612.12 c optimization time 3596.17 s
3600.04/3612.12 c total solve time 0 s
3600.04/3612.12 c core-guided solve time 0 s
3600.04/3612.12 c propagation time 0.02547 s
3600.04/3612.12 c conflict analysis time 0 s
3600.04/3612.12 c propagations 0
3600.04/3612.12 c resolve steps 0
3600.04/3612.12 c decisions 0
3600.04/3612.12 c conflicts 0
3600.04/3612.12 c restarts 0
3600.04/3612.12 c inprocessing phases 0
3600.04/3612.12 c garbage collections 0 ,( -nan )
3600.04/3612.12 c input clauses 27931 ,( 100.00 )
3600.04/3612.12 c input cardinalities 0 ,( 0.00 )
3600.04/3612.12 c input general constraints 0 ,( 0.00 )
3600.04/3612.12 c input average constraint length 2.00
3600.04/3612.12 c input average constraint degree 1.00
3600.04/3612.12 c learned clauses 0 ,( 0.00 )
3600.04/3612.12 c learned cardinalities 0 ,( 0.00 )
3600.04/3612.12 c learned general constraints 0 ,( 0.00 )
3600.04/3612.12 c learned average constraint length 0.00
3600.04/3612.12 c learned average constraint degree 0.00
3600.04/3612.12 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3612.12 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3612.12 c watched constraints 0 ,( -nan )
3600.04/3612.12 c counting constraints 0 ,( -nan )
3600.04/3612.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3612.12 c gcd simplifications 0
3600.04/3612.12 c detected cardinalities 0
3600.04/3612.12 c weakened non-implied lits 0
3600.04/3612.12 c weakened non-implying lits 0
3600.04/3612.12 c original variables 595
3600.04/3612.12 c clausal propagations 0
3600.04/3612.12 c cardinality propagations 0
3600.04/3612.12 c watched propagations 0
3600.04/3612.12 c counting propagations 0
3600.04/3612.12 c watch lookups 0
3600.04/3612.12 c watch backjump lookups 0
3600.04/3612.12 c watch checks 0
3600.04/3612.12 c propagation checks 0
3600.04/3612.12 c constraint additions 0
3600.04/3612.12 c trail pops 0
3600.04/3612.12 c formula constraints 27931
3600.04/3612.12 c learned constraints 0
3600.04/3612.12 c bound constraints 0
3600.04/3612.12 c core-guided constraints 0
3600.04/3612.12 c encountered formula constraints 0
3600.04/3612.12 c encountered learned constraints 0
3600.04/3612.12 c encountered bound constraints 0
3600.04/3612.12 c encountered core-guided constraints 0
3600.04/3612.12 c LP total time 0 s
3600.04/3612.12 c LP solve time 0 s
3600.04/3612.12 c LP constraints added 0
3600.04/3612.12 c LP constraints removed 0
3600.04/3612.12 c LP pivots internal 0
3600.04/3612.12 c LP pivots root 0
3600.04/3612.12 c LP calls 0
3600.04/3612.12 c LP optimalities 0
3600.04/3612.12 c LP no pivot count 0
3600.04/3612.12 c LP infeasibilities 0
3600.04/3612.12 c LP valid Farkas constraints 0
3600.04/3612.12 c LP learned Farkas constraints 0
3600.04/3612.12 c LP basis resets 0
3600.04/3612.12 c LP cycling count 0
3600.04/3612.12 c LP singular count 0
3600.04/3612.12 c LP no primal count 0
3600.04/3612.12 c LP no farkas count 0
3600.04/3612.12 c LP other issue count 0
3600.04/3612.12 c LP Gomory cuts 0
3600.04/3612.12 c LP learned cuts 0
3600.04/3612.12 c LP deleted cuts 0
3600.04/3612.12 c LP encountered Gomory constraints 0
3600.04/3612.12 c LP encountered Farkas constraints 0
3600.04/3612.12 c LP encountered learned Farkas constraints 0
3600.04/3612.12 c CG auxiliary variables introduced 0
3600.04/3612.12 c CG solutions found 0
3600.04/3612.12 c CG cores constructed 0
3600.04/3612.12 c CG core cardinality constraints returned 0
3600.04/3612.12 c CG unit cores 0
3600.04/3612.12 c CG single cores 0
3600.04/3612.12 c CG blocks removed during cardinality reduction 0
3600.04/3612.12 c CG first core best 0
3600.04/3612.12 c CG decision core best 0
3600.04/3612.12 c CG core reduction tie 0
3600.04/3612.12 c CG core degree average 0.00
3600.04/3612.12 c CG core slack average 0.00
3600.04/3612.12 c CG core upper bound improvements 0
3600.04/3612.12 c STR number of successful calls 0
3600.04/3612.12 c STR number of unsuccessful calls 0
3600.04/3612.12 c STR number of inconclusive calls 0
3600.04/3612.12 c STR number of successful attempts 0
3600.04/3612.12 c STR number of unsuccessful attempts 0
3600.04/3612.12 c STR number of inconclusive attempts 0
3600.04/3612.12 c STR average degree increase per successful call inf
3600.04/3612.12 c STR average degree increase per successful attempt inf
3600.04/3612.12 c STR total number of conflicts for successful attempts 0
3600.04/3612.12 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3612.12 c STR total number of conflicts for inconclusive attempts 0
3600.04/3612.12 c STR average number of conflicts per successful attempt inf
3600.04/3612.12 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3612.12 c STR average number of conflicts per inconclusive attempt inf
3600.04/3612.12 c AVG.sumWPerc -nan
3600.04/3612.12 c bigint constraints 0
3600.04/3612.12 s UNKNOWN
3600.04/3612.12 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62995 MiB free)
memory of node 1: 64465 MiB (62780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485045-1751299470/watcher-4485045-1751299470 -o /tmp/evaluation-result-4485045-1751299470/solver-4485045-1751299470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39155 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485045-1751299470.opb PROOFDIR/proof-4485045-1751299470
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40067, runsolver pid=40064
[startup+0.100072 s]*
/proc/loadavg: 4.18 4.15 4.13 5/257 40069
/proc/meminfo: memFree=128795928/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=56592 memory=11500 CPUtime=0.08 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 706 0 0 0 6 2 0 0 20 0 1 0 45626420 57950208 2875 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 14148 2875 1920 1147 0 1575 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60784 KiB
Current children cumulated memory: 14572 KiB
[startup+0.213818 s]*
/proc/loadavg: 4.18 4.15 4.13 5/257 40069
/proc/meminfo: memFree=128795928/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=57980 memory=12908 CPUtime=0.19 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 1113 0 0 0 14 5 0 0 20 0 1 0 45626420 59371520 3227 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 14495 3227 1920 1147 0 1922 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 15980 KiB
[startup+0.313631 s]*
/proc/loadavg: 4.18 4.15 4.13 5/257 40069
/proc/meminfo: memFree=128790888/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=68280 memory=24104 CPUtime=0.3 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 3646 0 0 0 23 7 0 0 20 0 1 0 45626420 69918720 6026 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 17070 6026 2208 1147 0 4497 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72472 KiB
Current children cumulated memory: 27176 KiB
[startup+0.700346 s]
/proc/loadavg: 4.18 4.15 4.13 5/257 40069
/proc/meminfo: memFree=128775012/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=99900 memory=52480 CPUtime=0.67 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 8738 0 0 0 54 13 0 0 20 0 1 0 45626420 102297600 13120 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 24975 13120 2336 1147 0 12402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 104092 KiB
Current children cumulated memory: 55552 KiB
[startup+1.5004 s]
/proc/loadavg: 4.18 4.15 4.13 6/257 40069
/proc/meminfo: memFree=128766996/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=99900 memory=54016 CPUtime=1.46 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 9122 0 0 0 132 14 0 0 20 0 1 0 45626420 102297600 13504 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 24975 13504 2336 1147 0 12402 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 104092 KiB
Current children cumulated memory: 57088 KiB
[startup+3.11333 s]
/proc/loadavg: 4.25 4.16 4.14 5/256 40069
/proc/meminfo: memFree=128762528/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=100048 memory=54272 CPUtime=3.07 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 9167 0 0 0 291 16 0 0 20 0 1 0 45626420 102449152 13568 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 25012 13568 2336 1147 0 12439 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 104240 KiB
Current children cumulated memory: 57344 KiB
[startup+6.30039 s]
/proc/loadavg: 4.25 4.16 4.14 5/256 40069
/proc/meminfo: memFree=128738052/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=118884 memory=71316 CPUtime=6.24 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 9345 0 0 0 607 17 0 0 20 0 1 0 45626420 121737216 17829 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 29721 17829 2336 1147 0 17148 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 123076 KiB
Current children cumulated memory: 74388 KiB
[startup+12.7004 s]
/proc/loadavg: 4.31 4.17 4.14 5/257 40071
/proc/meminfo: memFree=128732700/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=118884 memory=72596 CPUtime=12.63 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 9701 0 0 0 1243 20 0 0 20 0 1 0 45626420 121737216 18149 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 29721 18149 2336 1147 0 17148 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 123076 KiB
Current children cumulated memory: 75668 KiB
[startup+25.5004 s]
/proc/loadavg: 4.53 4.23 4.16 5/257 40071
/proc/meminfo: memFree=128708876/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=131616 memory=77876 CPUtime=25.38 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 10506 0 0 0 2514 24 0 0 20 0 1 0 45626420 134774784 19469 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 32904 19469 2336 1147 0 20331 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 135808 KiB
Current children cumulated memory: 80948 KiB
[startup+51.1135 s]
/proc/loadavg: 4.61 4.28 4.18 5/258 40072
/proc/meminfo: memFree=128678736/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=139748 memory=90428 CPUtime=50.92 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 12106 0 0 0 5060 32 0 0 20 0 1 0 45626420 143101952 22607 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 34937 22607 2336 1147 0 22364 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 143940 KiB
Current children cumulated memory: 93500 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.27 4.18 5/258 40074
/proc/meminfo: memFree=128613796/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=167740 memory=101292 CPUtime=101.95 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 14318 0 0 0 10152 43 0 0 20 0 1 0 45626420 171765760 25323 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 41935 25323 2336 1147 0 29362 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 171932 KiB
Current children cumulated memory: 104364 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.26 4.18 5/257 40122
/proc/meminfo: memFree=128980276/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=174396 memory=113544 CPUtime=161.76 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 15829 0 0 0 16120 56 0 0 20 0 1 0 45626420 178581504 28386 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 43599 28386 2336 1147 0 31026 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 178588 KiB
Current children cumulated memory: 116616 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/256 40124
/proc/meminfo: memFree=128917356/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=182112 memory=124096 CPUtime=221.56 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 17466 0 0 0 22088 68 0 0 20 0 1 0 45626420 186482688 31024 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
################
# More data... #
################
/proc/40069/statm: 87680 68093 2336 1147 0 75107 0
Current children cumulated CPU time: 3092.02 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 275444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.14 4.11 5/255 40270
/proc/meminfo: memFree=127915660/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=353464 memory=278192 CPUtime=3151.81 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 35460 0 0 0 314849 332 0 0 20 0 1 0 45626420 361947136 69548 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 88366 69548 2336 1147 0 75793 0
Current children cumulated CPU time: 3151.81 s
Current children cumulated vsize: 357656 KiB
Current children cumulated memory: 281264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/253 40272
/proc/meminfo: memFree=127911128/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=353464 memory=278192 CPUtime=3211.61 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 35460 0 0 0 320825 336 0 0 20 0 1 0 45626420 361947136 69548 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 88366 69548 2336 1147 0 75793 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 357656 KiB
Current children cumulated memory: 281264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/253 40274
/proc/meminfo: memFree=127868328/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=354940 memory=279216 CPUtime=3271.4 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 35723 0 0 0 326800 340 0 0 20 0 1 0 45626420 363458560 69804 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 88735 69804 2336 1147 0 76162 0
Current children cumulated CPU time: 3271.4 s
Current children cumulated vsize: 359132 KiB
Current children cumulated memory: 282288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/254 40277
/proc/meminfo: memFree=127854052/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=354940 memory=279216 CPUtime=3331.19 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 35723 0 0 0 332774 345 0 0 20 0 1 0 45626420 363458560 69804 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 88735 69804 2336 1147 0 76162 0
Current children cumulated CPU time: 3331.19 s
Current children cumulated vsize: 359132 KiB
Current children cumulated memory: 282288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/254 40290
/proc/meminfo: memFree=127852076/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=354940 memory=279216 CPUtime=3390.97 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 35730 0 0 0 338749 348 0 0 20 0 1 0 45626420 363458560 69804 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 88735 69804 2336 1147 0 76162 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 359132 KiB
Current children cumulated memory: 282288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 40299
/proc/meminfo: memFree=127848740/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=356992 memory=280624 CPUtime=3450.77 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 36070 0 0 0 344724 353 0 0 20 0 1 0 45626420 365559808 70156 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 89248 70156 2336 1147 0 76675 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 361184 KiB
Current children cumulated memory: 283696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 40301
/proc/meminfo: memFree=127832544/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=356992 memory=280624 CPUtime=3510.56 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 36070 0 0 0 350700 356 0 0 20 0 1 0 45626420 365559808 70156 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 89248 70156 2336 1147 0 76675 0
Current children cumulated CPU time: 3510.56 s
Current children cumulated vsize: 361184 KiB
Current children cumulated memory: 283696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 40303
/proc/meminfo: memFree=127805704/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=359556 memory=284544 CPUtime=3570.34 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 36585 0 0 0 356676 358 0 0 20 0 1 0 45626420 368185344 71136 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 89889 71136 2336 1147 0 77316 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 363748 KiB
Current children cumulated memory: 287616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 3.96 4.09 4.08 3/241 40365
/proc/meminfo: memFree=128818328/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=359556 memory=284544 CPUtime=3600.04 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 36585 0 0 0 359644 360 0 0 20 0 1 0 45626420 368185344 71136 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 89889 71136 2336 1147 0 77316 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 363748 KiB
Current children cumulated memory: 287616 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.12 s]
# the end of solver process 40067 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001285 s, system=0.00387 s
Sleeping 2 seconds
[startup+3612.13 s]
# the end of solver process 40069 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.46 s, system=3.61182 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 3.96 4.09 4.08 3/241 40365
/proc/meminfo: memFree=128818328/131382116 swapFree=33010684/33010684
[pid=40067] ppid=40064 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40067/stat : 40067 (run-opt-log.sh) S 40064 40067 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626419 4292608 768 18446744073709551615 94541678784512 94541679679045 140735655592928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94541679918096 94541679965840 94541689790464 140735655594273 140735655594468 140735655594468 140735655600070 0
/proc/40067/statm: 1048 768 704 219 0 110 0
[pid=40069] ppid=40067 vsize=359556 memory=284544 CPUtime=3600.04 cores=1,3
/proc/40069/stat : 40069 (roundingsat) R 40067 40067 39143 0 -1 4194304 36585 0 0 0 359644 360 0 0 20 0 1 0 45626420 368185344 71136 18446744073709551615 4227072 8923433 140725827429552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16830464 140725827434834 140725827435048 140725827435048 140725827440618 0
/proc/40069/statm: 89889 71136 2336 1147 0 77316 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 363748 KiB
Current children cumulated memory: 287616 KiB
Child status: 2
Real time (s): 3612.13
CPU time (s): 3600.07
CPU user time (s): 3596.46
CPU system time (s): 3.61182
CPU usage (%): 99.6663
Max. virtual memory (cumulated for all children) (KiB): 363748
Max. memory (cumulated for all children) (KiB): 287616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.46
system time used= 3.61182
maximum resident set size= 284928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 191968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229
involuntary context switches= 21932
# summary of solver processes directly reported to runsolver:
# pid: 40067,40069
# total CPU time (s): 3600.07
# total CPU user time (s): 3596.46
# total CPU system time (s): 3.61182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5534 second user time and 37.2384 second system time
The end
Begin job on nodeC010 at 2025-06-30 18:04:30
IDJOB=4485045
IDBENCH=146691
IDSOLVER=3351
FILE ID=nodeC010/4485045-1751299470
RUNJOBID= nodeC010-1751292234-39155
SLURM_JOB_ID= 9594261
Free space on /tmp= 432664 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485045-1751299470/watcher-4485045-1751299470 -o /tmp/evaluation-result-4485045-1751299470/solver-4485045-1751299470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39155 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485045-1751299470.opb PROOFDIR/proof-4485045-1751299470
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2
RANDOM SEED=781912770
nodeC010 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.450
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.36
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 : 1197.072
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.36
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.513
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.36
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 : 1197.157
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.36
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 : 3662.283
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.36
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 : 3662.125
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.36
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 : 3700.000
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.36
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128794940 kB
MemAvailable: 129264728 kB
Buffers: 3280 kB
Cached: 1277564 kB
SwapCached: 0 kB
Active: 1058264 kB
Inactive: 972736 kB
Active(anon): 768168 kB
Inactive(anon): 0 kB
Active(file): 290096 kB
Inactive(file): 972736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28980 kB
Writeback: 4 kB
AnonPages: 752260 kB
Mapped: 117164 kB
Shmem: 17960 kB
KReclaimable: 93164 kB
Slab: 176748 kB
SReclaimable: 93164 kB
SUnreclaim: 83584 kB
KernelStack: 4128 kB
PageTables: 4676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1186652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC010 at 2025-06-30 19:04:43