0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.07/0.15 c #variables 595 #constraints 27842
0.07/0.15 c objective is ce32
0.17/0.23 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.23 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.17/0.23 c GLOBAL bounds - >= -595 @ 0.134317
0.17/0.23 c GLOBAL bounds - >= -595 @ 0.135136
0.17/0.23 c GLOBAL bounds - >= -595 @ 0.135233
0.17/0.23 c GLOBAL bounds - >= -595 @ 0.135568
0.17/0.23 c GLOBAL bounds - >= -595 @ 0.140135
0.17/0.24 c GLOBAL bounds - >= -595 @ 0.142979
0.17/0.24 c GLOBAL bounds - >= -595 @ 0.143207
0.17/0.24 c GLOBAL bounds - >= -595 @ 0.143207
0.17/0.24 c GLOBAL bounds - >= -595 @ 0.147037
0.17/0.25 c GLOBAL bounds - >= -595 @ 0.160636
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.161157
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.162277
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.163699
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.164244
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.164677
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.165266
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.165822
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.16727
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.167671
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.168403
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.168954
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.169875
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.170259
0.17/0.26 c GLOBAL bounds - >= -595 @ 0.170924
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.172268
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.172839
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.173228
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.173581
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.174659
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.176915
0.17/0.27 c GLOBAL bounds - >= -595 @ 0.177709
122.90/123.30 c #Conflicts: 1000 | #Constraints: 28900
122.90/123.30 c #Conflicts: 2000 | #Constraints: 29900
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 3000 | #Constraints: 29905
122.90/123.30 c #Conflicts: 4000 | #Constraints: 30905
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 5000 | #Constraints: 30309
122.90/123.30 c #Conflicts: 6000 | #Constraints: 31309
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 7000 | #Constraints: 30309
122.90/123.30 c #Conflicts: 8000 | #Constraints: 31309
122.90/123.30 c #Conflicts: 9000 | #Constraints: 32309
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 10000 | #Constraints: 31009
122.90/123.30 c #Conflicts: 11000 | #Constraints: 32009
122.90/123.30 c #Conflicts: 12000 | #Constraints: 33009
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 13000 | #Constraints: 31461
122.90/123.30 c #Conflicts: 14000 | #Constraints: 32461
122.90/123.30 c #Conflicts: 15000 | #Constraints: 33461
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 16000 | #Constraints: 31685
122.90/123.30 c #Conflicts: 17000 | #Constraints: 32685
122.90/123.30 c #Conflicts: 18000 | #Constraints: 33685
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 19000 | #Constraints: 31698
122.90/123.30 c #Conflicts: 20000 | #Constraints: 32698
122.90/123.30 c #Conflicts: 21000 | #Constraints: 33698
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 22000 | #Constraints: 31505
122.90/123.30 c #Conflicts: 23000 | #Constraints: 32505
122.90/123.30 c #Conflicts: 24000 | #Constraints: 33505
122.90/123.30 c #Conflicts: 25000 | #Constraints: 34505
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 26000 | #Constraints: 32108
122.90/123.30 c #Conflicts: 27000 | #Constraints: 33108
122.90/123.30 c #Conflicts: 28000 | #Constraints: 34108
122.90/123.30 c #Conflicts: 29000 | #Constraints: 35108
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 30000 | #Constraints: 32507
122.90/123.30 c #Conflicts: 31000 | #Constraints: 33507
122.90/123.30 c #Conflicts: 32000 | #Constraints: 34507
122.90/123.30 c #Conflicts: 33000 | #Constraints: 35507
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 34000 | #Constraints: 32710
122.90/123.30 c #Conflicts: 35000 | #Constraints: 33710
122.90/123.30 c #Conflicts: 36000 | #Constraints: 34710
122.90/123.30 c #Conflicts: 37000 | #Constraints: 35710
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 38000 | #Constraints: 32709
122.90/123.30 c #Conflicts: 39000 | #Constraints: 33709
122.90/123.30 c #Conflicts: 40000 | #Constraints: 34709
122.90/123.30 c #Conflicts: 41000 | #Constraints: 35709
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 42000 | #Constraints: 32508
122.90/123.30 c #Conflicts: 43000 | #Constraints: 33508
122.90/123.30 c #Conflicts: 44000 | #Constraints: 34508
122.90/123.30 c #Conflicts: 45000 | #Constraints: 35508
122.90/123.30 c #Conflicts: 46000 | #Constraints: 36508
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 47000 | #Constraints: 33110
122.90/123.30 c #Conflicts: 48000 | #Constraints: 34110
122.90/123.30 c #Conflicts: 49000 | #Constraints: 35110
122.90/123.30 c #Conflicts: 50000 | #Constraints: 36110
122.90/123.30 c #Conflicts: 51000 | #Constraints: 37110
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 52000 | #Constraints: 33509
122.90/123.30 c #Conflicts: 53000 | #Constraints: 34509
122.90/123.30 c #Conflicts: 54000 | #Constraints: 35509
122.90/123.30 c #Conflicts: 55000 | #Constraints: 36509
122.90/123.30 c #Conflicts: 56000 | #Constraints: 37509
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 57000 | #Constraints: 33710
122.90/123.30 c #Conflicts: 58000 | #Constraints: 34710
122.90/123.30 c #Conflicts: 59000 | #Constraints: 35710
122.90/123.30 c #Conflicts: 60000 | #Constraints: 36710
122.90/123.30 c #Conflicts: 61000 | #Constraints: 37710
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 62000 | #Constraints: 33711
122.90/123.30 c #Conflicts: 63000 | #Constraints: 34711
122.90/123.30 c #Conflicts: 64000 | #Constraints: 35711
122.90/123.30 c #Conflicts: 65000 | #Constraints: 36711
122.90/123.30 c #Conflicts: 66000 | #Constraints: 37711
122.90/123.30 c INPROCESSING
122.90/123.30 c GARBAGE COLLECT
122.90/123.30 c #Conflicts: 67000 | #Constraints: 33509
122.90/123.30 c #Conflicts: 68000 | #Constraints: 34509
357.71/358.73 c #Conflicts: 69000 | #Constraints: 35509
357.71/358.73 c #Conflicts: 70000 | #Constraints: 36509
357.71/358.73 c #Conflicts: 71000 | #Constraints: 37509
357.71/358.73 c #Conflicts: 72000 | #Constraints: 38509
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 73000 | #Constraints: 34109
357.71/358.73 c #Conflicts: 74000 | #Constraints: 35109
357.71/358.73 c #Conflicts: 75000 | #Constraints: 36109
357.71/358.73 c #Conflicts: 76000 | #Constraints: 37109
357.71/358.73 c #Conflicts: 77000 | #Constraints: 38109
357.71/358.73 c #Conflicts: 78000 | #Constraints: 39109
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 79000 | #Constraints: 34509
357.71/358.73 c #Conflicts: 80000 | #Constraints: 35509
357.71/358.73 c #Conflicts: 81000 | #Constraints: 36509
357.71/358.73 c #Conflicts: 82000 | #Constraints: 37509
357.71/358.73 c #Conflicts: 83000 | #Constraints: 38509
357.71/358.73 c #Conflicts: 84000 | #Constraints: 39509
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 85000 | #Constraints: 34708
357.71/358.73 c #Conflicts: 86000 | #Constraints: 35708
357.71/358.73 c #Conflicts: 87000 | #Constraints: 36708
357.71/358.73 c #Conflicts: 88000 | #Constraints: 37708
357.71/358.73 c #Conflicts: 89000 | #Constraints: 38708
357.71/358.73 c #Conflicts: 90000 | #Constraints: 39708
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 91000 | #Constraints: 34710
357.71/358.73 c #Conflicts: 92000 | #Constraints: 35710
357.71/358.73 c #Conflicts: 93000 | #Constraints: 36710
357.71/358.73 c #Conflicts: 94000 | #Constraints: 37710
357.71/358.73 c #Conflicts: 95000 | #Constraints: 38710
357.71/358.73 c #Conflicts: 96000 | #Constraints: 39710
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 97000 | #Constraints: 34515
357.71/358.73 c #Conflicts: 98000 | #Constraints: 35515
357.71/358.73 c #Conflicts: 99000 | #Constraints: 36515
357.71/358.73 c #Conflicts: 100000 | #Constraints: 37515
357.71/358.73 c #Conflicts: 101000 | #Constraints: 38515
357.71/358.73 c #Conflicts: 102000 | #Constraints: 39515
357.71/358.73 c #Conflicts: 103000 | #Constraints: 40515
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 104000 | #Constraints: 35114
357.71/358.73 c #Conflicts: 105000 | #Constraints: 36114
357.71/358.73 c #Conflicts: 106000 | #Constraints: 37114
357.71/358.73 c #Conflicts: 107000 | #Constraints: 38114
357.71/358.73 c #Conflicts: 108000 | #Constraints: 39114
357.71/358.73 c #Conflicts: 109000 | #Constraints: 40114
357.71/358.73 c #Conflicts: 110000 | #Constraints: 41114
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 111000 | #Constraints: 35513
357.71/358.73 c #Conflicts: 112000 | #Constraints: 36513
357.71/358.73 c #Conflicts: 113000 | #Constraints: 37513
357.71/358.73 c #Conflicts: 114000 | #Constraints: 38513
357.71/358.73 c #Conflicts: 115000 | #Constraints: 39513
357.71/358.73 c #Conflicts: 116000 | #Constraints: 40513
357.71/358.73 c #Conflicts: 117000 | #Constraints: 41513
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 118000 | #Constraints: 35714
357.71/358.73 c #Conflicts: 119000 | #Constraints: 36714
357.71/358.73 c #Conflicts: 120000 | #Constraints: 37714
357.71/358.73 c #Conflicts: 121000 | #Constraints: 38714
357.71/358.73 c #Conflicts: 122000 | #Constraints: 39714
357.71/358.73 c #Conflicts: 123000 | #Constraints: 40714
357.71/358.73 c #Conflicts: 124000 | #Constraints: 41714
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 125000 | #Constraints: 35712
357.71/358.73 c #Conflicts: 126000 | #Constraints: 36712
357.71/358.73 c #Conflicts: 127000 | #Constraints: 37712
357.71/358.73 c #Conflicts: 128000 | #Constraints: 38712
357.71/358.73 c #Conflicts: 129000 | #Constraints: 39712
357.71/358.73 c #Conflicts: 130000 | #Constraints: 40712
357.71/358.73 c #Conflicts: 131000 | #Constraints: 41712
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 132000 | #Constraints: 35512
357.71/358.73 c #Conflicts: 133000 | #Constraints: 36512
357.71/358.73 c #Conflicts: 134000 | #Constraints: 37512
357.71/358.73 c #Conflicts: 135000 | #Constraints: 38512
357.71/358.73 c #Conflicts: 136000 | #Constraints: 39512
357.71/358.73 c #Conflicts: 137000 | #Constraints: 40512
357.71/358.73 c #Conflicts: 138000 | #Constraints: 41512
357.71/358.73 c #Conflicts: 139000 | #Constraints: 42512
357.71/358.73 c INPROCESSING
357.71/358.73 c GARBAGE COLLECT
357.71/358.73 c #Conflicts: 140000 | #Constraints: 36112
719.19/721.20 c #Conflicts: 141000 | #Constraints: 37112
719.19/721.20 c #Conflicts: 142000 | #Constraints: 38112
719.19/721.20 c #Conflicts: 143000 | #Constraints: 39112
719.19/721.20 c #Conflicts: 144000 | #Constraints: 40112
719.19/721.20 c #Conflicts: 145000 | #Constraints: 41112
719.19/721.20 c #Conflicts: 146000 | #Constraints: 42112
719.19/721.20 c #Conflicts: 147000 | #Constraints: 43112
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 148000 | #Constraints: 36513
719.19/721.20 c #Conflicts: 149000 | #Constraints: 37513
719.19/721.20 c #Conflicts: 150000 | #Constraints: 38513
719.19/721.20 c #Conflicts: 151000 | #Constraints: 39513
719.19/721.20 c #Conflicts: 152000 | #Constraints: 40513
719.19/721.20 c #Conflicts: 153000 | #Constraints: 41513
719.19/721.20 c #Conflicts: 154000 | #Constraints: 42513
719.19/721.20 c #Conflicts: 155000 | #Constraints: 43513
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 156000 | #Constraints: 36711
719.19/721.20 c #Conflicts: 157000 | #Constraints: 37711
719.19/721.20 c #Conflicts: 158000 | #Constraints: 38711
719.19/721.20 c #Conflicts: 159000 | #Constraints: 39711
719.19/721.20 c #Conflicts: 160000 | #Constraints: 40711
719.19/721.20 c #Conflicts: 161000 | #Constraints: 41711
719.19/721.20 c #Conflicts: 162000 | #Constraints: 42711
719.19/721.20 c #Conflicts: 163000 | #Constraints: 43711
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 164000 | #Constraints: 36708
719.19/721.20 c #Conflicts: 165000 | #Constraints: 37708
719.19/721.20 c #Conflicts: 166000 | #Constraints: 38708
719.19/721.20 c #Conflicts: 167000 | #Constraints: 39708
719.19/721.20 c #Conflicts: 168000 | #Constraints: 40708
719.19/721.20 c #Conflicts: 169000 | #Constraints: 41708
719.19/721.20 c #Conflicts: 170000 | #Constraints: 42708
719.19/721.20 c #Conflicts: 171000 | #Constraints: 43708
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 172000 | #Constraints: 36510
719.19/721.20 c #Conflicts: 173000 | #Constraints: 37510
719.19/721.20 c #Conflicts: 174000 | #Constraints: 38510
719.19/721.20 c #Conflicts: 175000 | #Constraints: 39510
719.19/721.20 c #Conflicts: 176000 | #Constraints: 40510
719.19/721.20 c #Conflicts: 177000 | #Constraints: 41510
719.19/721.20 c #Conflicts: 178000 | #Constraints: 42510
719.19/721.20 c #Conflicts: 179000 | #Constraints: 43510
719.19/721.20 c #Conflicts: 180000 | #Constraints: 44510
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 181000 | #Constraints: 37111
719.19/721.20 c #Conflicts: 182000 | #Constraints: 38111
719.19/721.20 c #Conflicts: 183000 | #Constraints: 39111
719.19/721.20 c #Conflicts: 184000 | #Constraints: 40111
719.19/721.20 c #Conflicts: 185000 | #Constraints: 41111
719.19/721.20 c #Conflicts: 186000 | #Constraints: 42111
719.19/721.20 c #Conflicts: 187000 | #Constraints: 43111
719.19/721.20 c #Conflicts: 188000 | #Constraints: 44111
719.19/721.20 c #Conflicts: 189000 | #Constraints: 45111
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 190000 | #Constraints: 37513
719.19/721.20 c #Conflicts: 191000 | #Constraints: 38513
719.19/721.20 c #Conflicts: 192000 | #Constraints: 39513
719.19/721.20 c #Conflicts: 193000 | #Constraints: 40513
719.19/721.20 c #Conflicts: 194000 | #Constraints: 41513
719.19/721.20 c #Conflicts: 195000 | #Constraints: 42513
719.19/721.20 c #Conflicts: 196000 | #Constraints: 43513
719.19/721.20 c #Conflicts: 197000 | #Constraints: 44513
719.19/721.20 c #Conflicts: 198000 | #Constraints: 45513
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 199000 | #Constraints: 37712
719.19/721.20 c #Conflicts: 200000 | #Constraints: 38712
719.19/721.20 c #Conflicts: 201000 | #Constraints: 39712
719.19/721.20 c #Conflicts: 202000 | #Constraints: 40712
719.19/721.20 c #Conflicts: 203000 | #Constraints: 41712
719.19/721.20 c #Conflicts: 204000 | #Constraints: 42712
719.19/721.20 c #Conflicts: 205000 | #Constraints: 43712
719.19/721.20 c #Conflicts: 206000 | #Constraints: 44712
719.19/721.20 c #Conflicts: 207000 | #Constraints: 45712
719.19/721.20 c INPROCESSING
719.19/721.20 c GARBAGE COLLECT
719.19/721.20 c #Conflicts: 208000 | #Constraints: 37714
719.19/721.20 c #Conflicts: 209000 | #Constraints: 38714
719.19/721.20 c #Conflicts: 210000 | #Constraints: 39714
719.19/721.20 c #Conflicts: 211000 | #Constraints: 40714
719.19/721.20 c #Conflicts: 212000 | #Constraints: 41714
719.19/721.20 c #Conflicts: 213000 | #Constraints: 42714
1167.20/1170.42 c #Conflicts: 214000 | #Constraints: 43714
1167.20/1170.42 c #Conflicts: 215000 | #Constraints: 44714
1167.20/1170.42 c #Conflicts: 216000 | #Constraints: 45714
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 217000 | #Constraints: 37514
1167.20/1170.42 c #Conflicts: 218000 | #Constraints: 38514
1167.20/1170.42 c #Conflicts: 219000 | #Constraints: 39514
1167.20/1170.42 c #Conflicts: 220000 | #Constraints: 40514
1167.20/1170.42 c #Conflicts: 221000 | #Constraints: 41514
1167.20/1170.42 c #Conflicts: 222000 | #Constraints: 42514
1167.20/1170.42 c #Conflicts: 223000 | #Constraints: 43514
1167.20/1170.42 c #Conflicts: 224000 | #Constraints: 44514
1167.20/1170.42 c #Conflicts: 225000 | #Constraints: 45514
1167.20/1170.42 c #Conflicts: 226000 | #Constraints: 46514
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 227000 | #Constraints: 38115
1167.20/1170.42 c #Conflicts: 228000 | #Constraints: 39115
1167.20/1170.42 c #Conflicts: 229000 | #Constraints: 40115
1167.20/1170.42 c #Conflicts: 230000 | #Constraints: 41115
1167.20/1170.42 c #Conflicts: 231000 | #Constraints: 42115
1167.20/1170.42 c #Conflicts: 232000 | #Constraints: 43115
1167.20/1170.42 c #Conflicts: 233000 | #Constraints: 44115
1167.20/1170.42 c #Conflicts: 234000 | #Constraints: 45115
1167.20/1170.42 c #Conflicts: 235000 | #Constraints: 46115
1167.20/1170.42 c #Conflicts: 236000 | #Constraints: 47115
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 237000 | #Constraints: 38516
1167.20/1170.42 c #Conflicts: 238000 | #Constraints: 39516
1167.20/1170.42 c #Conflicts: 239000 | #Constraints: 40516
1167.20/1170.42 c #Conflicts: 240000 | #Constraints: 41516
1167.20/1170.42 c #Conflicts: 241000 | #Constraints: 42516
1167.20/1170.42 c #Conflicts: 242000 | #Constraints: 43516
1167.20/1170.42 c #Conflicts: 243000 | #Constraints: 44516
1167.20/1170.42 c #Conflicts: 244000 | #Constraints: 45516
1167.20/1170.42 c #Conflicts: 245000 | #Constraints: 46516
1167.20/1170.42 c #Conflicts: 246000 | #Constraints: 47516
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 247000 | #Constraints: 38714
1167.20/1170.42 c #Conflicts: 248000 | #Constraints: 39714
1167.20/1170.42 c #Conflicts: 249000 | #Constraints: 40714
1167.20/1170.42 c #Conflicts: 250000 | #Constraints: 41714
1167.20/1170.42 c #Conflicts: 251000 | #Constraints: 42714
1167.20/1170.42 c #Conflicts: 252000 | #Constraints: 43714
1167.20/1170.42 c #Conflicts: 253000 | #Constraints: 44714
1167.20/1170.42 c #Conflicts: 254000 | #Constraints: 45714
1167.20/1170.42 c #Conflicts: 255000 | #Constraints: 46714
1167.20/1170.42 c #Conflicts: 256000 | #Constraints: 47714
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 257000 | #Constraints: 38714
1167.20/1170.42 c #Conflicts: 258000 | #Constraints: 39714
1167.20/1170.42 c #Conflicts: 259000 | #Constraints: 40714
1167.20/1170.42 c #Conflicts: 260000 | #Constraints: 41714
1167.20/1170.42 c #Conflicts: 261000 | #Constraints: 42714
1167.20/1170.42 c #Conflicts: 262000 | #Constraints: 43714
1167.20/1170.42 c #Conflicts: 263000 | #Constraints: 44714
1167.20/1170.42 c #Conflicts: 264000 | #Constraints: 45714
1167.20/1170.42 c #Conflicts: 265000 | #Constraints: 46714
1167.20/1170.42 c #Conflicts: 266000 | #Constraints: 47714
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 267000 | #Constraints: 38515
1167.20/1170.42 c #Conflicts: 268000 | #Constraints: 39515
1167.20/1170.42 c #Conflicts: 269000 | #Constraints: 40515
1167.20/1170.42 c #Conflicts: 270000 | #Constraints: 41515
1167.20/1170.42 c #Conflicts: 271000 | #Constraints: 42515
1167.20/1170.42 c #Conflicts: 272000 | #Constraints: 43515
1167.20/1170.42 c #Conflicts: 273000 | #Constraints: 44515
1167.20/1170.42 c #Conflicts: 274000 | #Constraints: 45515
1167.20/1170.42 c #Conflicts: 275000 | #Constraints: 46515
1167.20/1170.42 c #Conflicts: 276000 | #Constraints: 47515
1167.20/1170.42 c #Conflicts: 277000 | #Constraints: 48515
1167.20/1170.42 c INPROCESSING
1167.20/1170.42 c GARBAGE COLLECT
1167.20/1170.42 c #Conflicts: 278000 | #Constraints: 39115
1167.20/1170.42 c #Conflicts: 279000 | #Constraints: 40115
1167.20/1170.42 c #Conflicts: 280000 | #Constraints: 41115
1167.20/1170.42 c #Conflicts: 281000 | #Constraints: 42115
1167.20/1170.42 c #Conflicts: 282000 | #Constraints: 43115
1167.20/1170.42 c #Conflicts: 283000 | #Constraints: 44115
1167.20/1170.42 c #Conflicts: 284000 | #Constraints: 45115
1167.20/1170.42 c #Conflicts: 285000 | #Constraints: 46115
1167.20/1170.42 c #Conflicts: 286000 | #Constraints: 47115
1167.20/1170.42 c #Conflicts: 287000 | #Constraints: 48115
1167.20/1170.42 c #Conflicts: 288000 | #Constraints: 49115
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 289000 | #Constraints: 39511
1639.90/1644.56 c #Conflicts: 290000 | #Constraints: 40511
1639.90/1644.56 c #Conflicts: 291000 | #Constraints: 41511
1639.90/1644.56 c #Conflicts: 292000 | #Constraints: 42511
1639.90/1644.56 c #Conflicts: 293000 | #Constraints: 43511
1639.90/1644.56 c #Conflicts: 294000 | #Constraints: 44511
1639.90/1644.56 c #Conflicts: 295000 | #Constraints: 45511
1639.90/1644.56 c #Conflicts: 296000 | #Constraints: 46511
1639.90/1644.56 c #Conflicts: 297000 | #Constraints: 47511
1639.90/1644.56 c #Conflicts: 298000 | #Constraints: 48511
1639.90/1644.56 c #Conflicts: 299000 | #Constraints: 49511
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 300000 | #Constraints: 39712
1639.90/1644.56 c #Conflicts: 301000 | #Constraints: 40712
1639.90/1644.56 c #Conflicts: 302000 | #Constraints: 41712
1639.90/1644.56 c #Conflicts: 303000 | #Constraints: 42712
1639.90/1644.56 c #Conflicts: 304000 | #Constraints: 43712
1639.90/1644.56 c #Conflicts: 305000 | #Constraints: 44712
1639.90/1644.56 c #Conflicts: 306000 | #Constraints: 45712
1639.90/1644.56 c #Conflicts: 307000 | #Constraints: 46712
1639.90/1644.56 c #Conflicts: 308000 | #Constraints: 47712
1639.90/1644.56 c #Conflicts: 309000 | #Constraints: 48712
1639.90/1644.56 c #Conflicts: 310000 | #Constraints: 49712
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 311000 | #Constraints: 39712
1639.90/1644.56 c #Conflicts: 312000 | #Constraints: 40712
1639.90/1644.56 c #Conflicts: 313000 | #Constraints: 41712
1639.90/1644.56 c #Conflicts: 314000 | #Constraints: 42712
1639.90/1644.56 c #Conflicts: 315000 | #Constraints: 43712
1639.90/1644.56 c #Conflicts: 316000 | #Constraints: 44712
1639.90/1644.56 c #Conflicts: 317000 | #Constraints: 45712
1639.90/1644.56 c #Conflicts: 318000 | #Constraints: 46712
1639.90/1644.56 c #Conflicts: 319000 | #Constraints: 47712
1639.90/1644.56 c #Conflicts: 320000 | #Constraints: 48712
1639.90/1644.56 c #Conflicts: 321000 | #Constraints: 49712
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 322000 | #Constraints: 39513
1639.90/1644.56 c #Conflicts: 323000 | #Constraints: 40513
1639.90/1644.56 c #Conflicts: 324000 | #Constraints: 41513
1639.90/1644.56 c #Conflicts: 325000 | #Constraints: 42513
1639.90/1644.56 c #Conflicts: 326000 | #Constraints: 43513
1639.90/1644.56 c #Conflicts: 327000 | #Constraints: 44513
1639.90/1644.56 c #Conflicts: 328000 | #Constraints: 45513
1639.90/1644.56 c #Conflicts: 329000 | #Constraints: 46513
1639.90/1644.56 c #Conflicts: 330000 | #Constraints: 47513
1639.90/1644.56 c #Conflicts: 331000 | #Constraints: 48513
1639.90/1644.56 c #Conflicts: 332000 | #Constraints: 49513
1639.90/1644.56 c #Conflicts: 333000 | #Constraints: 50513
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 334000 | #Constraints: 40115
1639.90/1644.56 c #Conflicts: 335000 | #Constraints: 41115
1639.90/1644.56 c #Conflicts: 336000 | #Constraints: 42115
1639.90/1644.56 c #Conflicts: 337000 | #Constraints: 43115
1639.90/1644.56 c #Conflicts: 338000 | #Constraints: 44115
1639.90/1644.56 c #Conflicts: 339000 | #Constraints: 45115
1639.90/1644.56 c #Conflicts: 340000 | #Constraints: 46115
1639.90/1644.56 c #Conflicts: 341000 | #Constraints: 47115
1639.90/1644.56 c #Conflicts: 342000 | #Constraints: 48115
1639.90/1644.56 c #Conflicts: 343000 | #Constraints: 49115
1639.90/1644.56 c #Conflicts: 344000 | #Constraints: 50115
1639.90/1644.56 c #Conflicts: 345000 | #Constraints: 51115
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 346000 | #Constraints: 40514
1639.90/1644.56 c #Conflicts: 347000 | #Constraints: 41514
1639.90/1644.56 c #Conflicts: 348000 | #Constraints: 42514
1639.90/1644.56 c #Conflicts: 349000 | #Constraints: 43514
1639.90/1644.56 c #Conflicts: 350000 | #Constraints: 44514
1639.90/1644.56 c #Conflicts: 351000 | #Constraints: 45514
1639.90/1644.56 c #Conflicts: 352000 | #Constraints: 46514
1639.90/1644.56 c #Conflicts: 353000 | #Constraints: 47514
1639.90/1644.56 c #Conflicts: 354000 | #Constraints: 48514
1639.90/1644.56 c #Conflicts: 355000 | #Constraints: 49514
1639.90/1644.56 c #Conflicts: 356000 | #Constraints: 50514
1639.90/1644.56 c #Conflicts: 357000 | #Constraints: 51514
1639.90/1644.56 c INPROCESSING
1639.90/1644.56 c GARBAGE COLLECT
1639.90/1644.56 c #Conflicts: 358000 | #Constraints: 40715
1639.90/1644.56 c #Conflicts: 359000 | #Constraints: 41715
1639.90/1644.56 c #Conflicts: 360000 | #Constraints: 42715
1639.90/1644.56 c #Conflicts: 361000 | #Constraints: 43715
1639.90/1644.56 c #Conflicts: 362000 | #Constraints: 44715
2209.32/2215.59 c #Conflicts: 363000 | #Constraints: 45715
2209.32/2215.59 c #Conflicts: 364000 | #Constraints: 46715
2209.32/2215.59 c #Conflicts: 365000 | #Constraints: 47715
2209.32/2215.59 c #Conflicts: 366000 | #Constraints: 48715
2209.32/2215.59 c #Conflicts: 367000 | #Constraints: 49715
2209.32/2215.59 c #Conflicts: 368000 | #Constraints: 50715
2209.32/2215.59 c #Conflicts: 369000 | #Constraints: 51715
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 370000 | #Constraints: 40713
2209.32/2215.59 c #Conflicts: 371000 | #Constraints: 41713
2209.32/2215.59 c #Conflicts: 372000 | #Constraints: 42713
2209.32/2215.59 c #Conflicts: 373000 | #Constraints: 43713
2209.32/2215.59 c #Conflicts: 374000 | #Constraints: 44713
2209.32/2215.59 c #Conflicts: 375000 | #Constraints: 45713
2209.32/2215.59 c #Conflicts: 376000 | #Constraints: 46713
2209.32/2215.59 c #Conflicts: 377000 | #Constraints: 47713
2209.32/2215.59 c #Conflicts: 378000 | #Constraints: 48713
2209.32/2215.59 c #Conflicts: 379000 | #Constraints: 49713
2209.32/2215.59 c #Conflicts: 380000 | #Constraints: 50713
2209.32/2215.59 c #Conflicts: 381000 | #Constraints: 51713
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 382000 | #Constraints: 40515
2209.32/2215.59 c #Conflicts: 383000 | #Constraints: 41515
2209.32/2215.59 c #Conflicts: 384000 | #Constraints: 42515
2209.32/2215.59 c #Conflicts: 385000 | #Constraints: 43515
2209.32/2215.59 c #Conflicts: 386000 | #Constraints: 44515
2209.32/2215.59 c #Conflicts: 387000 | #Constraints: 45515
2209.32/2215.59 c #Conflicts: 388000 | #Constraints: 46515
2209.32/2215.59 c #Conflicts: 389000 | #Constraints: 47515
2209.32/2215.59 c #Conflicts: 390000 | #Constraints: 48515
2209.32/2215.59 c #Conflicts: 391000 | #Constraints: 49515
2209.32/2215.59 c #Conflicts: 392000 | #Constraints: 50515
2209.32/2215.59 c #Conflicts: 393000 | #Constraints: 51515
2209.32/2215.59 c #Conflicts: 394000 | #Constraints: 52515
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 395000 | #Constraints: 41114
2209.32/2215.59 c #Conflicts: 396000 | #Constraints: 42114
2209.32/2215.59 c #Conflicts: 397000 | #Constraints: 43114
2209.32/2215.59 c #Conflicts: 398000 | #Constraints: 44114
2209.32/2215.59 c #Conflicts: 399000 | #Constraints: 45114
2209.32/2215.59 c #Conflicts: 400000 | #Constraints: 46114
2209.32/2215.59 c #Conflicts: 401000 | #Constraints: 47114
2209.32/2215.59 c #Conflicts: 402000 | #Constraints: 48114
2209.32/2215.59 c #Conflicts: 403000 | #Constraints: 49114
2209.32/2215.59 c #Conflicts: 404000 | #Constraints: 50114
2209.32/2215.59 c #Conflicts: 405000 | #Constraints: 51114
2209.32/2215.59 c #Conflicts: 406000 | #Constraints: 52114
2209.32/2215.59 c #Conflicts: 407000 | #Constraints: 53114
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 408000 | #Constraints: 41515
2209.32/2215.59 c #Conflicts: 409000 | #Constraints: 42515
2209.32/2215.59 c #Conflicts: 410000 | #Constraints: 43515
2209.32/2215.59 c #Conflicts: 411000 | #Constraints: 44515
2209.32/2215.59 c #Conflicts: 412000 | #Constraints: 45515
2209.32/2215.59 c #Conflicts: 413000 | #Constraints: 46515
2209.32/2215.59 c #Conflicts: 414000 | #Constraints: 47515
2209.32/2215.59 c #Conflicts: 415000 | #Constraints: 48515
2209.32/2215.59 c #Conflicts: 416000 | #Constraints: 49515
2209.32/2215.59 c #Conflicts: 417000 | #Constraints: 50515
2209.32/2215.59 c #Conflicts: 418000 | #Constraints: 51515
2209.32/2215.59 c #Conflicts: 419000 | #Constraints: 52515
2209.32/2215.59 c #Conflicts: 420000 | #Constraints: 53515
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 421000 | #Constraints: 41714
2209.32/2215.59 c #Conflicts: 422000 | #Constraints: 42714
2209.32/2215.59 c #Conflicts: 423000 | #Constraints: 43714
2209.32/2215.59 c #Conflicts: 424000 | #Constraints: 44714
2209.32/2215.59 c #Conflicts: 425000 | #Constraints: 45714
2209.32/2215.59 c #Conflicts: 426000 | #Constraints: 46714
2209.32/2215.59 c #Conflicts: 427000 | #Constraints: 47714
2209.32/2215.59 c #Conflicts: 428000 | #Constraints: 48714
2209.32/2215.59 c #Conflicts: 429000 | #Constraints: 49714
2209.32/2215.59 c #Conflicts: 430000 | #Constraints: 50714
2209.32/2215.59 c #Conflicts: 431000 | #Constraints: 51714
2209.32/2215.59 c #Conflicts: 432000 | #Constraints: 52714
2209.32/2215.59 c #Conflicts: 433000 | #Constraints: 53714
2209.32/2215.59 c INPROCESSING
2209.32/2215.59 c GARBAGE COLLECT
2209.32/2215.59 c #Conflicts: 434000 | #Constraints: 41715
2209.32/2215.59 c #Conflicts: 435000 | #Constraints: 42715
2209.32/2215.59 c #Conflicts: 436000 | #Constraints: 43715
2209.32/2215.59 c #Conflicts: 437000 | #Constraints: 44715
2823.71/2831.75 c #Conflicts: 438000 | #Constraints: 45715
2823.71/2831.75 c #Conflicts: 439000 | #Constraints: 46715
2823.71/2831.75 c #Conflicts: 440000 | #Constraints: 47715
2823.71/2831.75 c #Conflicts: 441000 | #Constraints: 48715
2823.71/2831.75 c #Conflicts: 442000 | #Constraints: 49715
2823.71/2831.75 c #Conflicts: 443000 | #Constraints: 50715
2823.71/2831.75 c #Conflicts: 444000 | #Constraints: 51715
2823.71/2831.75 c #Conflicts: 445000 | #Constraints: 52715
2823.71/2831.75 c #Conflicts: 446000 | #Constraints: 53715
2823.71/2831.75 c INPROCESSING
2823.71/2831.75 c GARBAGE COLLECT
2823.71/2831.75 c #Conflicts: 447000 | #Constraints: 41514
2823.71/2831.75 c #Conflicts: 448000 | #Constraints: 42514
2823.71/2831.75 c #Conflicts: 449000 | #Constraints: 43514
2823.71/2831.75 c #Conflicts: 450000 | #Constraints: 44514
2823.71/2831.75 c #Conflicts: 451000 | #Constraints: 45514
2823.71/2831.75 c #Conflicts: 452000 | #Constraints: 46514
2823.71/2831.75 c #Conflicts: 453000 | #Constraints: 47514
2823.71/2831.75 c #Conflicts: 454000 | #Constraints: 48514
2823.71/2831.75 c #Conflicts: 455000 | #Constraints: 49514
2823.71/2831.75 c #Conflicts: 456000 | #Constraints: 50514
2823.71/2831.75 c #Conflicts: 457000 | #Constraints: 51514
2823.71/2831.75 c #Conflicts: 458000 | #Constraints: 52514
2823.71/2831.75 c #Conflicts: 459000 | #Constraints: 53514
2823.71/2831.75 c #Conflicts: 460000 | #Constraints: 54514
2823.71/2831.75 c INPROCESSING
2823.71/2831.75 c GARBAGE COLLECT
2823.71/2831.75 c #Conflicts: 461000 | #Constraints: 42116
2823.71/2831.75 c #Conflicts: 462000 | #Constraints: 43116
2823.71/2831.75 c #Conflicts: 463000 | #Constraints: 44116
2823.71/2831.75 c #Conflicts: 464000 | #Constraints: 45116
2823.71/2831.75 c #Conflicts: 465000 | #Constraints: 46116
2823.71/2831.75 c #Conflicts: 466000 | #Constraints: 47116
2823.71/2831.75 c #Conflicts: 467000 | #Constraints: 48116
2823.71/2831.75 c #Conflicts: 468000 | #Constraints: 49116
2823.71/2831.75 c #Conflicts: 469000 | #Constraints: 50116
2823.71/2831.75 c #Conflicts: 470000 | #Constraints: 51116
2823.71/2831.75 c #Conflicts: 471000 | #Constraints: 52116
2823.71/2831.75 c #Conflicts: 472000 | #Constraints: 53116
2823.71/2831.75 c #Conflicts: 473000 | #Constraints: 54116
2823.71/2831.75 c #Conflicts: 474000 | #Constraints: 55116
2823.71/2831.75 c INPROCESSING
2823.71/2831.75 c GARBAGE COLLECT
2823.71/2831.75 c #Conflicts: 475000 | #Constraints: 42515
2823.71/2831.75 c #Conflicts: 476000 | #Constraints: 43515
2823.71/2831.75 c #Conflicts: 477000 | #Constraints: 44515
2823.71/2831.75 c #Conflicts: 478000 | #Constraints: 45515
2823.71/2831.75 c #Conflicts: 479000 | #Constraints: 46515
2823.71/2831.75 c #Conflicts: 480000 | #Constraints: 47515
2823.71/2831.75 c #Conflicts: 481000 | #Constraints: 48515
2823.71/2831.75 c #Conflicts: 482000 | #Constraints: 49515
2823.71/2831.75 c #Conflicts: 483000 | #Constraints: 50515
2823.71/2831.75 c #Conflicts: 484000 | #Constraints: 51515
2823.71/2831.75 c #Conflicts: 485000 | #Constraints: 52515
2823.71/2831.75 c #Conflicts: 486000 | #Constraints: 53515
2823.71/2831.75 c #Conflicts: 487000 | #Constraints: 54515
2823.71/2831.75 c #Conflicts: 488000 | #Constraints: 55515
2823.71/2831.75 c INPROCESSING
2823.71/2831.75 c GARBAGE COLLECT
2823.71/2831.75 c #Conflicts: 489000 | #Constraints: 42716
2823.71/2831.75 c #Conflicts: 490000 | #Constraints: 43716
2823.71/2831.75 c #Conflicts: 491000 | #Constraints: 44716
2823.71/2831.75 c #Conflicts: 492000 | #Constraints: 45716
2823.71/2831.75 c #Conflicts: 493000 | #Constraints: 46716
2823.71/2831.75 c #Conflicts: 494000 | #Constraints: 47716
2823.71/2831.75 c #Conflicts: 495000 | #Constraints: 48716
2823.71/2831.75 c #Conflicts: 496000 | #Constraints: 49716
2823.71/2831.75 c #Conflicts: 497000 | #Constraints: 50716
2823.71/2831.75 c #Conflicts: 498000 | #Constraints: 51716
2823.71/2831.75 c #Conflicts: 499000 | #Constraints: 52716
2823.71/2831.75 c #Conflicts: 500000 | #Constraints: 53716
2823.71/2831.75 c #Conflicts: 501000 | #Constraints: 54716
2823.71/2831.75 c #Conflicts: 502000 | #Constraints: 55716
2823.71/2831.75 c INPROCESSING
2823.71/2831.75 c GARBAGE COLLECT
2823.71/2831.75 c #Conflicts: 503000 | #Constraints: 42713
2823.71/2831.75 c #Conflicts: 504000 | #Constraints: 43713
2823.71/2831.75 c #Conflicts: 505000 | #Constraints: 44713
2823.71/2831.75 c #Conflicts: 506000 | #Constraints: 45713
2823.71/2831.75 c #Conflicts: 507000 | #Constraints: 46713
2823.71/2831.75 c #Conflicts: 508000 | #Constraints: 47713
2823.71/2831.75 c #Conflicts: 509000 | #Constraints: 48713
2823.71/2831.75 c #Conflicts: 510000 | #Constraints: 49713
2823.71/2831.75 c #Conflicts: 511000 | #Constraints: 50713
2823.71/2831.75 c #Conflicts: 512000 | #Constraints: 51713
2823.71/2831.75 c #Conflicts: 513000 | #Constraints: 52713
3515.28/3525.38 c #Conflicts: 514000 | #Constraints: 53713
3515.28/3525.38 c #Conflicts: 515000 | #Constraints: 54713
3515.28/3525.38 c #Conflicts: 516000 | #Constraints: 55713
3515.28/3525.38 c INPROCESSING
3515.28/3525.38 c GARBAGE COLLECT
3515.28/3525.38 c #Conflicts: 517000 | #Constraints: 42513
3515.28/3525.38 c #Conflicts: 518000 | #Constraints: 43513
3515.28/3525.38 c #Conflicts: 519000 | #Constraints: 44513
3515.28/3525.38 c #Conflicts: 520000 | #Constraints: 45513
3515.28/3525.38 c #Conflicts: 521000 | #Constraints: 46513
3515.28/3525.38 c #Conflicts: 522000 | #Constraints: 47513
3515.28/3525.38 c #Conflicts: 523000 | #Constraints: 48513
3515.28/3525.38 c #Conflicts: 524000 | #Constraints: 49513
3515.28/3525.38 c #Conflicts: 525000 | #Constraints: 50513
3515.28/3525.38 c #Conflicts: 526000 | #Constraints: 51513
3515.28/3525.38 c #Conflicts: 527000 | #Constraints: 52513
3515.28/3525.38 c #Conflicts: 528000 | #Constraints: 53513
3515.28/3525.38 c #Conflicts: 529000 | #Constraints: 54513
3515.28/3525.38 c #Conflicts: 530000 | #Constraints: 55513
3515.28/3525.38 c #Conflicts: 531000 | #Constraints: 56513
3515.28/3525.38 c INPROCESSING
3515.28/3525.38 c GARBAGE COLLECT
3515.28/3525.38 c #Conflicts: 532000 | #Constraints: 43115
3515.28/3525.38 c #Conflicts: 533000 | #Constraints: 44115
3515.28/3525.38 c #Conflicts: 534000 | #Constraints: 45115
3515.28/3525.38 c #Conflicts: 535000 | #Constraints: 46115
3515.28/3525.38 c #Conflicts: 536000 | #Constraints: 47115
3515.28/3525.38 c #Conflicts: 537000 | #Constraints: 48115
3515.28/3525.38 c #Conflicts: 538000 | #Constraints: 49115
3515.28/3525.38 c #Conflicts: 539000 | #Constraints: 50115
3515.28/3525.38 c #Conflicts: 540000 | #Constraints: 51115
3515.28/3525.38 c #Conflicts: 541000 | #Constraints: 52115
3515.28/3525.38 c #Conflicts: 542000 | #Constraints: 53115
3515.28/3525.38 c #Conflicts: 543000 | #Constraints: 54115
3515.28/3525.38 c #Conflicts: 544000 | #Constraints: 55115
3515.28/3525.38 c #Conflicts: 545000 | #Constraints: 56115
3515.28/3525.38 c #Conflicts: 546000 | #Constraints: 57115
3515.28/3525.38 c INPROCESSING
3515.28/3525.38 c GARBAGE COLLECT
3515.28/3525.38 c #Conflicts: 547000 | #Constraints: 43515
3515.28/3525.38 c #Conflicts: 548000 | #Constraints: 44515
3515.28/3525.38 c #Conflicts: 549000 | #Constraints: 45515
3515.28/3525.38 c #Conflicts: 550000 | #Constraints: 46515
3515.28/3525.38 c #Conflicts: 551000 | #Constraints: 47515
3515.28/3525.38 c #Conflicts: 552000 | #Constraints: 48515
3515.28/3525.38 c #Conflicts: 553000 | #Constraints: 49515
3515.28/3525.38 c #Conflicts: 554000 | #Constraints: 50515
3515.28/3525.38 c #Conflicts: 555000 | #Constraints: 51515
3515.28/3525.38 c #Conflicts: 556000 | #Constraints: 52515
3515.28/3525.38 c #Conflicts: 557000 | #Constraints: 53515
3515.28/3525.38 c #Conflicts: 558000 | #Constraints: 54515
3515.28/3525.38 c #Conflicts: 559000 | #Constraints: 55515
3515.28/3525.38 c #Conflicts: 560000 | #Constraints: 56515
3515.28/3525.38 c #Conflicts: 561000 | #Constraints: 57515
3515.28/3525.38 c INPROCESSING
3515.28/3525.38 c GARBAGE COLLECT
3515.28/3525.38 c #Conflicts: 562000 | #Constraints: 43717
3515.28/3525.38 c #Conflicts: 563000 | #Constraints: 44717
3515.28/3525.38 c #Conflicts: 564000 | #Constraints: 45717
3515.28/3525.38 c #Conflicts: 565000 | #Constraints: 46717
3515.28/3525.38 c #Conflicts: 566000 | #Constraints: 47717
3515.28/3525.38 c #Conflicts: 567000 | #Constraints: 48717
3515.28/3525.38 c #Conflicts: 568000 | #Constraints: 49717
3515.28/3525.38 c #Conflicts: 569000 | #Constraints: 50717
3515.28/3525.38 c #Conflicts: 570000 | #Constraints: 51717
3515.28/3525.38 c #Conflicts: 571000 | #Constraints: 52717
3515.28/3525.38 c #Conflicts: 572000 | #Constraints: 53717
3515.28/3525.38 c #Conflicts: 573000 | #Constraints: 54717
3515.28/3525.38 c #Conflicts: 574000 | #Constraints: 55717
3515.28/3525.38 c #Conflicts: 575000 | #Constraints: 56717
3515.28/3525.38 c #Conflicts: 576000 | #Constraints: 57717
3515.28/3525.38 c INPROCESSING
3515.28/3525.38 c GARBAGE COLLECT
3515.28/3525.38 c #Conflicts: 577000 | #Constraints: 43715
3515.28/3525.38 c #Conflicts: 578000 | #Constraints: 44715
3515.28/3525.38 c #Conflicts: 579000 | #Constraints: 45715
3515.28/3525.38 c #Conflicts: 580000 | #Constraints: 46715
3515.28/3525.38 c #Conflicts: 581000 | #Constraints: 47715
3515.28/3525.38 c #Conflicts: 582000 | #Constraints: 48715
3515.28/3525.38 c #Conflicts: 583000 | #Constraints: 49715
3515.28/3525.38 c #Conflicts: 584000 | #Constraints: 50715
3515.28/3525.38 c #Conflicts: 585000 | #Constraints: 51715
3515.28/3525.38 c #Conflicts: 586000 | #Constraints: 52715
3515.28/3525.38 c #Conflicts: 587000 | #Constraints: 53715
3515.28/3525.38 c #Conflicts: 588000 | #Constraints: 54715
3600.04/3610.30 c #Conflicts: 589000 | #Constraints: 55715
3600.04/3610.30 c #Conflicts: 590000 | #Constraints: 56715
3600.04/3610.30 c #Conflicts: 591000 | #Constraints: 57715
3600.04/3610.30 c INPROCESSING
3600.04/3610.30 c GARBAGE COLLECT
3600.04/3610.30 c #Conflicts: 592000 | #Constraints: 43512
3600.04/3610.30 c #Conflicts: 593000 | #Constraints: 44512
3600.04/3610.30 c #Conflicts: 594000 | #Constraints: 45512
3600.04/3610.30 c #Conflicts: 595000 | #Constraints: 46512
3600.04/3610.30 c #Conflicts: 596000 | #Constraints: 47512
3600.04/3610.30 c #Conflicts: 597000 | #Constraints: 48512
3600.04/3610.30 c cpu time 3595.62 s
3600.04/3610.30 c deterministic time 1 1.00e+00
3600.04/3610.30 c optimization time 3595.53 s
3600.04/3610.30 c total solve time 0 s
3600.04/3610.30 c core-guided solve time 0 s
3600.04/3610.30 c propagation time 0.008011 s
3600.04/3610.30 c conflict analysis time 0 s
3600.04/3610.30 c propagations 0
3600.04/3610.30 c resolve steps 0
3600.04/3610.30 c decisions 0
3600.04/3610.30 c conflicts 0
3600.04/3610.30 c restarts 0
3600.04/3610.30 c inprocessing phases 0
3600.04/3610.30 c garbage collections 0 ,( -nan )
3600.04/3610.30 c input clauses 27842 ,( 100.00 )
3600.04/3610.30 c input cardinalities 0 ,( 0.00 )
3600.04/3610.30 c input general constraints 0 ,( 0.00 )
3600.04/3610.30 c input average constraint length 2.00
3600.04/3610.30 c input average constraint degree 1.00
3600.04/3610.30 c learned clauses 0 ,( 0.00 )
3600.04/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.30 c learned general constraints 0 ,( 0.00 )
3600.04/3610.30 c learned average constraint length 0.00
3600.04/3610.30 c learned average constraint degree 0.00
3600.04/3610.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.30 c watched constraints 0 ,( -nan )
3600.04/3610.30 c counting constraints 0 ,( -nan )
3600.04/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.30 c gcd simplifications 0
3600.04/3610.30 c detected cardinalities 0
3600.04/3610.30 c weakened non-implied lits 0
3600.04/3610.30 c weakened non-implying lits 0
3600.04/3610.30 c original variables 595
3600.04/3610.30 c clausal propagations 0
3600.04/3610.30 c cardinality propagations 0
3600.04/3610.30 c watched propagations 0
3600.04/3610.30 c counting propagations 0
3600.04/3610.30 c watch lookups 0
3600.04/3610.30 c watch backjump lookups 0
3600.04/3610.30 c watch checks 0
3600.04/3610.30 c propagation checks 0
3600.04/3610.30 c constraint additions 0
3600.04/3610.30 c trail pops 0
3600.04/3610.30 c formula constraints 27842
3600.04/3610.30 c learned constraints 0
3600.04/3610.30 c bound constraints 0
3600.04/3610.30 c core-guided constraints 0
3600.04/3610.30 c encountered formula constraints 0
3600.04/3610.30 c encountered learned constraints 0
3600.04/3610.30 c encountered bound constraints 0
3600.04/3610.30 c encountered core-guided constraints 0
3600.04/3610.30 c LP total time 0 s
3600.04/3610.30 c LP solve time 0 s
3600.04/3610.30 c LP constraints added 0
3600.04/3610.30 c LP constraints removed 0
3600.04/3610.30 c LP pivots internal 0
3600.04/3610.30 c LP pivots root 0
3600.04/3610.30 c LP calls 0
3600.04/3610.30 c LP optimalities 0
3600.04/3610.30 c LP no pivot count 0
3600.04/3610.30 c LP infeasibilities 0
3600.04/3610.30 c LP valid Farkas constraints 0
3600.04/3610.30 c LP learned Farkas constraints 0
3600.04/3610.30 c LP basis resets 0
3600.04/3610.30 c LP cycling count 0
3600.04/3610.30 c LP singular count 0
3600.04/3610.30 c LP no primal count 0
3600.04/3610.30 c LP no farkas count 0
3600.04/3610.30 c LP other issue count 0
3600.04/3610.30 c LP Gomory cuts 0
3600.04/3610.30 c LP learned cuts 0
3600.04/3610.30 c LP deleted cuts 0
3600.04/3610.30 c LP encountered Gomory constraints 0
3600.04/3610.30 c LP encountered Farkas constraints 0
3600.04/3610.30 c LP encountered learned Farkas constraints 0
3600.04/3610.30 c CG auxiliary variables introduced 0
3600.04/3610.30 c CG solutions found 0
3600.04/3610.30 c CG cores constructed 0
3600.04/3610.30 c CG core cardinality constraints returned 0
3600.04/3610.30 c CG unit cores 0
3600.04/3610.30 c CG single cores 0
3600.04/3610.30 c CG blocks removed during cardinality reduction 0
3600.04/3610.30 c CG first core best 0
3600.04/3610.30 c CG decision core best 0
3600.04/3610.30 c CG core reduction tie 0
3600.04/3610.30 c CG core degree average 0.00
3600.04/3610.30 c CG core slack average 0.00
3600.04/3610.30 c CG core upper bound improvements 0
3600.04/3610.30 c STR number of successful calls 0
3600.04/3610.30 c STR number of unsuccessful calls 0
3600.04/3610.30 c STR number of inconclusive calls 0
3600.04/3610.30 c STR number of successful attempts 0
3600.04/3610.30 c STR number of unsuccessful attempts 0
3600.04/3610.30 c STR number of inconclusive attempts 0
3600.04/3610.30 c STR average degree increase per successful call inf
3600.04/3610.30 c STR average degree increase per successful attempt inf
3600.04/3610.30 c STR total number of conflicts for successful attempts 0
3600.04/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.30 c STR average number of conflicts per successful attempt inf
3600.04/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.30 c AVG.sumWPerc -nan
3600.04/3610.30 c bigint constraints 0
3600.04/3610.30 s UNKNOWN
3600.04/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59294 MiB free)
memory of node 1: 64465 MiB (63645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485137-1751304294/watcher-4485137-1751304294 -o /tmp/evaluation-result-4485137-1751304294/solver-4485137-1751304294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40740 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485137-1751304294.opb PROOFDIR/proof-4485137-1751304294
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40786, runsolver pid=40775
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 3.07 3.85 4.01 5/269 40802
/proc/meminfo: memFree=125849216/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=58156 memory=13344 CPUtime=0.07 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 1156 0 0 0 5 2 0 0 20 0 1 0 46106911 59551744 3336 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 14539 3336 1952 1147 0 1966 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 16288 KiB
[startup+0.205864 s]*
/proc/loadavg: 3.07 3.85 4.01 6/269 40802
/proc/meminfo: memFree=125805620/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=98884 memory=51280 CPUtime=0.17 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 7868 0 0 0 12 5 0 0 20 0 1 0 46106911 101257216 12820 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 24721 12820 2304 1147 0 12148 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 103076 KiB
Current children cumulated memory: 54224 KiB
[startup+0.30579 s]*
/proc/loadavg: 3.07 3.85 4.01 5/269 40802
/proc/meminfo: memFree=125757236/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=99744 memory=54504 CPUtime=0.27 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8103 0 0 0 21 6 0 0 20 0 1 0 46106911 102137856 13626 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 24936 13626 2336 1147 0 12363 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 103936 KiB
Current children cumulated memory: 57448 KiB
[startup+0.700184 s]
/proc/loadavg: 3.07 3.85 4.01 5/269 40802
/proc/meminfo: memFree=125722832/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=99744 memory=54632 CPUtime=0.65 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8138 0 0 0 59 6 0 0 20 0 1 0 46106911 102137856 13658 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 24936 13658 2336 1147 0 12363 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 103936 KiB
Current children cumulated memory: 57576 KiB
[startup+1.50021 s]
/proc/loadavg: 3.07 3.85 4.01 5/269 40802
/proc/meminfo: memFree=125598308/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=99744 memory=54632 CPUtime=1.45 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8150 0 0 0 138 7 0 0 20 0 1 0 46106911 102137856 13658 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 24936 13658 2336 1147 0 12363 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 103936 KiB
Current children cumulated memory: 57576 KiB
[startup+3.10566 s]
/proc/loadavg: 3.07 3.85 4.01 5/269 40802
/proc/meminfo: memFree=125155672/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=119044 memory=68440 CPUtime=3.05 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8523 0 0 0 297 8 0 0 20 0 1 0 46106911 121901056 17110 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 29761 17110 2336 1147 0 17188 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 71384 KiB
[startup+6.3002 s]
/proc/loadavg: 3.14 3.85 4.01 5/269 40802
/proc/meminfo: memFree=124561620/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=119044 memory=70496 CPUtime=6.24 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8541 0 0 0 614 10 0 0 20 0 1 0 46106911 121901056 17624 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 29761 17624 2336 1147 0 17188 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 73440 KiB
[startup+12.7002 s]
/proc/loadavg: 3.21 3.85 4.01 5/269 40802
/proc/meminfo: memFree=123779992/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=119044 memory=73476 CPUtime=12.62 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 8800 0 0 0 1249 13 0 0 20 0 1 0 46106911 121901056 18369 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 29761 18369 2336 1147 0 17188 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 76420 KiB
[startup+25.5002 s]
/proc/loadavg: 3.39 3.86 4.01 5/269 40802
/proc/meminfo: memFree=122264544/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=133144 memory=80432 CPUtime=25.38 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 9509 0 0 0 2522 16 0 0 20 0 1 0 46106911 136339456 20108 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 33286 20108 2336 1147 0 20713 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 137336 KiB
Current children cumulated memory: 83376 KiB
[startup+51.1059 s]
/proc/loadavg: 3.66 3.89 4.01 5/272 40806
/proc/meminfo: memFree=119516712/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=138576 memory=89360 CPUtime=50.89 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 10735 0 0 0 5065 24 0 0 20 0 1 0 46106911 141901824 22340 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 34644 22340 2336 1147 0 22071 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 142768 KiB
Current children cumulated memory: 92304 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.92 4.01 5/273 40808
/proc/meminfo: memFree=117551052/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=171580 memory=105428 CPUtime=101.96 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 13726 0 0 0 10159 37 0 0 20 0 1 0 46106911 175697920 26357 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 42895 26357 2336 1147 0 30322 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 175772 KiB
Current children cumulated memory: 108372 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.96 4.01 5/274 40812
/proc/meminfo: memFree=113806896/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=181832 memory=119840 CPUtime=161.81 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 15811 0 0 0 16132 49 0 0 20 0 1 0 46106911 186195968 29960 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 45458 29960 2336 1147 0 32885 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 186024 KiB
Current children cumulated memory: 122784 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.98 4.01 5/273 40814
/proc/meminfo: memFree=111221736/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=185168 memory=127636 CPUtime=221.65 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 16714 0 0 0 22107 58 0 0 20 0 1 0 46106911 189612032 31909 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 46292 31909 2336 1147 0 33719 0
################
# More data... #
################
/proc/40794/statm: 89419 65580 2336 1147 0 76846 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 361868 KiB
Current children cumulated memory: 265264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/275 40979
/proc/meminfo: memFree=25298868/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=358188 memory=263344 CPUtime=3153.35 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 38568 0 0 0 314933 402 0 0 20 0 1 0 46106911 366784512 65836 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 89547 65836 2336 1147 0 76974 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 362380 KiB
Current children cumulated memory: 266288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/275 40982
/proc/meminfo: memFree=24011900/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=358188 memory=263728 CPUtime=3213.15 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 38676 0 0 0 320907 408 0 0 20 0 1 0 46106911 366784512 65932 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 89547 65932 2336 1147 0 76974 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 362380 KiB
Current children cumulated memory: 266672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/275 40985
/proc/meminfo: memFree=22952600/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=359820 memory=267812 CPUtime=3272.96 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 39172 0 0 0 326882 414 0 0 20 0 1 0 46106911 368455680 66953 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 89955 66953 2336 1147 0 77382 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 270756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/276 40988
/proc/meminfo: memFree=21885412/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=361776 memory=269476 CPUtime=3332.77 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 39586 0 0 0 332857 420 0 0 20 0 1 0 46106911 370458624 67369 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 90444 67369 2336 1147 0 77871 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 365968 KiB
Current children cumulated memory: 272420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/276 40990
/proc/meminfo: memFree=20641312/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=361776 memory=269732 CPUtime=3392.61 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 39654 0 0 0 338836 425 0 0 20 0 1 0 46106911 370458624 67433 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 90444 67433 2336 1147 0 77871 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 365968 KiB
Current children cumulated memory: 272676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 40992
/proc/meminfo: memFree=19095704/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=363060 memory=273268 CPUtime=3452.44 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 40052 0 0 0 344814 430 0 0 20 0 1 0 46106911 371773440 68317 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 90765 68317 2336 1147 0 78192 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 367252 KiB
Current children cumulated memory: 276212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/276 41002
/proc/meminfo: memFree=17591388/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=363060 memory=273524 CPUtime=3512.29 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 40094 0 0 0 350794 435 0 0 20 0 1 0 46106911 371773440 68381 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 90765 68381 2336 1147 0 78192 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 367252 KiB
Current children cumulated memory: 276468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/276 41004
/proc/meminfo: memFree=15486812/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=366136 memory=278648 CPUtime=3572.12 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 40864 0 0 0 356772 440 0 0 20 0 1 0 46106911 374923264 69662 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 91534 69662 2336 1147 0 78961 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 370328 KiB
Current children cumulated memory: 281592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/275 41006
/proc/meminfo: memFree=14962856/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=366136 memory=278648 CPUtime=3600.04 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 40865 0 0 0 359561 443 0 0 20 0 1 0 46106911 374923264 69662 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 91534 69662 2336 1147 0 78961 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 370328 KiB
Current children cumulated memory: 281592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 40786 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002293 s, system=0 s
[startup+3610.33 s]
# the end of solver process 40794 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3595.63 s, system=4.44612 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+3610.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/275 41006
/proc/meminfo: memFree=14962856/131249996 swapFree=33010684/33010684
[pid=40786] ppid=40775 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40786/stat : 40786 (run-opt-log.sh) S 40775 40786 40729 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46106910 4292608 736 18446744073709551615 94441513840640 94441514735173 140733478713168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94441514974224 94441515021968 94441527767040 140733478721825 140733478722020 140733478722020 140733478727622 0
/proc/40786/statm: 1048 736 672 219 0 110 0
[pid=40794] ppid=40786 vsize=366136 memory=278648 CPUtime=3600.04 cores=4,6
/proc/40794/stat : 40794 (roundingsat) R 40786 40786 40729 0 -1 4194304 40865 0 0 0 359561 443 0 0 20 0 1 0 46106911 374923264 69662 18446744073709551615 4227072 8923433 140729211591488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28012544 140729211595090 140729211595304 140729211595304 140729211600874 0
/proc/40794/statm: 91534 69662 2336 1147 0 78961 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 370328 KiB
Current children cumulated memory: 281592 KiB
Child status: 2
Real time (s): 3610.33
CPU time (s): 3600.07
CPU user time (s): 3595.63
CPU system time (s): 4.44612
CPU usage (%): 99.7159
Max. virtual memory (cumulated for all children) (KiB): 370328
Max. memory (cumulated for all children) (KiB): 281592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.63
system time used= 4.44612
maximum resident set size= 279160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 180064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287
involuntary context switches= 7274
# summary of solver processes directly reported to runsolver:
# pid: 40786,40794
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.63
# total CPU system time (s): 4.44612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29477 second user time and 17.6919 second system time
The end
Begin job on nodeC015 at 2025-06-30 19:24:54
IDJOB=4485137
IDBENCH=146694
IDSOLVER=3351
FILE ID=nodeC015/4485137-1751304294
RUNJOBID= nodeC015-1751304294-40740
SLURM_JOB_ID= 9594299
Free space on /tmp= 433016 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-4.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485137-1751304294/watcher-4485137-1751304294 -o /tmp/evaluation-result-4485137-1751304294/solver-4485137-1751304294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40740 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485137-1751304294.opb PROOFDIR/proof-4485137-1751304294
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=479757735
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.797
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.361
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125887088 kB
MemAvailable: 129732820 kB
Buffers: 3280 kB
Cached: 4633856 kB
SwapCached: 0 kB
Active: 335936 kB
Inactive: 4377332 kB
Active(anon): 94208 kB
Inactive(anon): 0 kB
Active(file): 241728 kB
Inactive(file): 4377332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28368 kB
Writeback: 8 kB
AnonPages: 79344 kB
Mapped: 102968 kB
Shmem: 18076 kB
KReclaimable: 131820 kB
Slab: 219844 kB
SReclaimable: 131820 kB
SUnreclaim: 88024 kB
KernelStack: 4112 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-30 20:25:05