0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.13 c #variables 595 #constraints 27842
0.07/0.13 c objective is ce32
0.07/0.18 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.18 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.18 c GLOBAL bounds - >= -595 @ 0.104841
0.07/0.18 c GLOBAL bounds - >= -595 @ 0.105179
0.07/0.18 c GLOBAL bounds - >= -595 @ 0.105179
0.07/0.18 c GLOBAL bounds - >= -595 @ 0.105179
0.07/0.18 c GLOBAL bounds - >= -595 @ 0.108464
0.07/0.19 c GLOBAL bounds - >= -595 @ 0.111859
0.07/0.19 c GLOBAL bounds - >= -595 @ 0.112155
0.07/0.19 c GLOBAL bounds - >= -595 @ 0.112155
0.07/0.19 c GLOBAL bounds - >= -595 @ 0.115142
0.07/0.21 c GLOBAL bounds - >= -595 @ 0.127244
0.07/0.21 c GLOBAL bounds - >= -595 @ 0.127633
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.128563
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.129767
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.130153
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.130443
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.130558
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.130558
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.131512
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.131751
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.132307
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.132699
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.133417
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.133657
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.134154
0.17/0.21 c GLOBAL bounds - >= -595 @ 0.135265
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.135677
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.135916
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.136129
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.136994
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.138935
0.17/0.22 c GLOBAL bounds - >= -595 @ 0.13955
121.16/121.54 c #Conflicts: 1000 | #Constraints: 28900
121.16/121.54 c #Conflicts: 2000 | #Constraints: 29900
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 3000 | #Constraints: 29905
121.16/121.54 c #Conflicts: 4000 | #Constraints: 30905
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 5000 | #Constraints: 30309
121.16/121.54 c #Conflicts: 6000 | #Constraints: 31309
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 7000 | #Constraints: 30309
121.16/121.54 c #Conflicts: 8000 | #Constraints: 31309
121.16/121.54 c #Conflicts: 9000 | #Constraints: 32309
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 10000 | #Constraints: 31009
121.16/121.54 c #Conflicts: 11000 | #Constraints: 32009
121.16/121.54 c #Conflicts: 12000 | #Constraints: 33009
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 13000 | #Constraints: 31461
121.16/121.54 c #Conflicts: 14000 | #Constraints: 32461
121.16/121.54 c #Conflicts: 15000 | #Constraints: 33461
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 16000 | #Constraints: 31685
121.16/121.54 c #Conflicts: 17000 | #Constraints: 32685
121.16/121.54 c #Conflicts: 18000 | #Constraints: 33685
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 19000 | #Constraints: 31698
121.16/121.54 c #Conflicts: 20000 | #Constraints: 32698
121.16/121.54 c #Conflicts: 21000 | #Constraints: 33698
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 22000 | #Constraints: 31505
121.16/121.54 c #Conflicts: 23000 | #Constraints: 32505
121.16/121.54 c #Conflicts: 24000 | #Constraints: 33505
121.16/121.54 c #Conflicts: 25000 | #Constraints: 34505
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 26000 | #Constraints: 32108
121.16/121.54 c #Conflicts: 27000 | #Constraints: 33108
121.16/121.54 c #Conflicts: 28000 | #Constraints: 34108
121.16/121.54 c #Conflicts: 29000 | #Constraints: 35108
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 30000 | #Constraints: 32507
121.16/121.54 c #Conflicts: 31000 | #Constraints: 33507
121.16/121.54 c #Conflicts: 32000 | #Constraints: 34507
121.16/121.54 c #Conflicts: 33000 | #Constraints: 35507
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 34000 | #Constraints: 32710
121.16/121.54 c #Conflicts: 35000 | #Constraints: 33710
121.16/121.54 c #Conflicts: 36000 | #Constraints: 34710
121.16/121.54 c #Conflicts: 37000 | #Constraints: 35710
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 38000 | #Constraints: 32709
121.16/121.54 c #Conflicts: 39000 | #Constraints: 33709
121.16/121.54 c #Conflicts: 40000 | #Constraints: 34709
121.16/121.54 c #Conflicts: 41000 | #Constraints: 35709
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 42000 | #Constraints: 32508
121.16/121.54 c #Conflicts: 43000 | #Constraints: 33508
121.16/121.54 c #Conflicts: 44000 | #Constraints: 34508
121.16/121.54 c #Conflicts: 45000 | #Constraints: 35508
121.16/121.54 c #Conflicts: 46000 | #Constraints: 36508
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 47000 | #Constraints: 33110
121.16/121.54 c #Conflicts: 48000 | #Constraints: 34110
121.16/121.54 c #Conflicts: 49000 | #Constraints: 35110
121.16/121.54 c #Conflicts: 50000 | #Constraints: 36110
121.16/121.54 c #Conflicts: 51000 | #Constraints: 37110
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 52000 | #Constraints: 33509
121.16/121.54 c #Conflicts: 53000 | #Constraints: 34509
121.16/121.54 c #Conflicts: 54000 | #Constraints: 35509
121.16/121.54 c #Conflicts: 55000 | #Constraints: 36509
121.16/121.54 c #Conflicts: 56000 | #Constraints: 37509
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 57000 | #Constraints: 33710
121.16/121.54 c #Conflicts: 58000 | #Constraints: 34710
121.16/121.54 c #Conflicts: 59000 | #Constraints: 35710
121.16/121.54 c #Conflicts: 60000 | #Constraints: 36710
121.16/121.54 c #Conflicts: 61000 | #Constraints: 37710
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 62000 | #Constraints: 33711
121.16/121.54 c #Conflicts: 63000 | #Constraints: 34711
121.16/121.54 c #Conflicts: 64000 | #Constraints: 35711
121.16/121.54 c #Conflicts: 65000 | #Constraints: 36711
121.16/121.54 c #Conflicts: 66000 | #Constraints: 37711
121.16/121.54 c INPROCESSING
121.16/121.54 c GARBAGE COLLECT
121.16/121.54 c #Conflicts: 67000 | #Constraints: 33509
121.16/121.54 c #Conflicts: 68000 | #Constraints: 34509
354.67/355.66 c #Conflicts: 69000 | #Constraints: 35509
354.67/355.66 c #Conflicts: 70000 | #Constraints: 36509
354.67/355.66 c #Conflicts: 71000 | #Constraints: 37509
354.67/355.66 c #Conflicts: 72000 | #Constraints: 38509
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 73000 | #Constraints: 34109
354.67/355.66 c #Conflicts: 74000 | #Constraints: 35109
354.67/355.66 c #Conflicts: 75000 | #Constraints: 36109
354.67/355.66 c #Conflicts: 76000 | #Constraints: 37109
354.67/355.66 c #Conflicts: 77000 | #Constraints: 38109
354.67/355.66 c #Conflicts: 78000 | #Constraints: 39109
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 79000 | #Constraints: 34509
354.67/355.66 c #Conflicts: 80000 | #Constraints: 35509
354.67/355.66 c #Conflicts: 81000 | #Constraints: 36509
354.67/355.66 c #Conflicts: 82000 | #Constraints: 37509
354.67/355.66 c #Conflicts: 83000 | #Constraints: 38509
354.67/355.66 c #Conflicts: 84000 | #Constraints: 39509
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 85000 | #Constraints: 34708
354.67/355.66 c #Conflicts: 86000 | #Constraints: 35708
354.67/355.66 c #Conflicts: 87000 | #Constraints: 36708
354.67/355.66 c #Conflicts: 88000 | #Constraints: 37708
354.67/355.66 c #Conflicts: 89000 | #Constraints: 38708
354.67/355.66 c #Conflicts: 90000 | #Constraints: 39708
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 91000 | #Constraints: 34710
354.67/355.66 c #Conflicts: 92000 | #Constraints: 35710
354.67/355.66 c #Conflicts: 93000 | #Constraints: 36710
354.67/355.66 c #Conflicts: 94000 | #Constraints: 37710
354.67/355.66 c #Conflicts: 95000 | #Constraints: 38710
354.67/355.66 c #Conflicts: 96000 | #Constraints: 39710
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 97000 | #Constraints: 34515
354.67/355.66 c #Conflicts: 98000 | #Constraints: 35515
354.67/355.66 c #Conflicts: 99000 | #Constraints: 36515
354.67/355.66 c #Conflicts: 100000 | #Constraints: 37515
354.67/355.66 c #Conflicts: 101000 | #Constraints: 38515
354.67/355.66 c #Conflicts: 102000 | #Constraints: 39515
354.67/355.66 c #Conflicts: 103000 | #Constraints: 40515
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 104000 | #Constraints: 35114
354.67/355.66 c #Conflicts: 105000 | #Constraints: 36114
354.67/355.66 c #Conflicts: 106000 | #Constraints: 37114
354.67/355.66 c #Conflicts: 107000 | #Constraints: 38114
354.67/355.66 c #Conflicts: 108000 | #Constraints: 39114
354.67/355.66 c #Conflicts: 109000 | #Constraints: 40114
354.67/355.66 c #Conflicts: 110000 | #Constraints: 41114
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 111000 | #Constraints: 35513
354.67/355.66 c #Conflicts: 112000 | #Constraints: 36513
354.67/355.66 c #Conflicts: 113000 | #Constraints: 37513
354.67/355.66 c #Conflicts: 114000 | #Constraints: 38513
354.67/355.66 c #Conflicts: 115000 | #Constraints: 39513
354.67/355.66 c #Conflicts: 116000 | #Constraints: 40513
354.67/355.66 c #Conflicts: 117000 | #Constraints: 41513
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 118000 | #Constraints: 35714
354.67/355.66 c #Conflicts: 119000 | #Constraints: 36714
354.67/355.66 c #Conflicts: 120000 | #Constraints: 37714
354.67/355.66 c #Conflicts: 121000 | #Constraints: 38714
354.67/355.66 c #Conflicts: 122000 | #Constraints: 39714
354.67/355.66 c #Conflicts: 123000 | #Constraints: 40714
354.67/355.66 c #Conflicts: 124000 | #Constraints: 41714
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 125000 | #Constraints: 35712
354.67/355.66 c #Conflicts: 126000 | #Constraints: 36712
354.67/355.66 c #Conflicts: 127000 | #Constraints: 37712
354.67/355.66 c #Conflicts: 128000 | #Constraints: 38712
354.67/355.66 c #Conflicts: 129000 | #Constraints: 39712
354.67/355.66 c #Conflicts: 130000 | #Constraints: 40712
354.67/355.66 c #Conflicts: 131000 | #Constraints: 41712
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 132000 | #Constraints: 35512
354.67/355.66 c #Conflicts: 133000 | #Constraints: 36512
354.67/355.66 c #Conflicts: 134000 | #Constraints: 37512
354.67/355.66 c #Conflicts: 135000 | #Constraints: 38512
354.67/355.66 c #Conflicts: 136000 | #Constraints: 39512
354.67/355.66 c #Conflicts: 137000 | #Constraints: 40512
354.67/355.66 c #Conflicts: 138000 | #Constraints: 41512
354.67/355.66 c #Conflicts: 139000 | #Constraints: 42512
354.67/355.66 c INPROCESSING
354.67/355.66 c GARBAGE COLLECT
354.67/355.66 c #Conflicts: 140000 | #Constraints: 36112
715.24/717.19 c #Conflicts: 141000 | #Constraints: 37112
715.24/717.19 c #Conflicts: 142000 | #Constraints: 38112
715.24/717.19 c #Conflicts: 143000 | #Constraints: 39112
715.24/717.19 c #Conflicts: 144000 | #Constraints: 40112
715.24/717.19 c #Conflicts: 145000 | #Constraints: 41112
715.24/717.19 c #Conflicts: 146000 | #Constraints: 42112
715.24/717.19 c #Conflicts: 147000 | #Constraints: 43112
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 148000 | #Constraints: 36513
715.24/717.19 c #Conflicts: 149000 | #Constraints: 37513
715.24/717.19 c #Conflicts: 150000 | #Constraints: 38513
715.24/717.19 c #Conflicts: 151000 | #Constraints: 39513
715.24/717.19 c #Conflicts: 152000 | #Constraints: 40513
715.24/717.19 c #Conflicts: 153000 | #Constraints: 41513
715.24/717.19 c #Conflicts: 154000 | #Constraints: 42513
715.24/717.19 c #Conflicts: 155000 | #Constraints: 43513
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 156000 | #Constraints: 36711
715.24/717.19 c #Conflicts: 157000 | #Constraints: 37711
715.24/717.19 c #Conflicts: 158000 | #Constraints: 38711
715.24/717.19 c #Conflicts: 159000 | #Constraints: 39711
715.24/717.19 c #Conflicts: 160000 | #Constraints: 40711
715.24/717.19 c #Conflicts: 161000 | #Constraints: 41711
715.24/717.19 c #Conflicts: 162000 | #Constraints: 42711
715.24/717.19 c #Conflicts: 163000 | #Constraints: 43711
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 164000 | #Constraints: 36708
715.24/717.19 c #Conflicts: 165000 | #Constraints: 37708
715.24/717.19 c #Conflicts: 166000 | #Constraints: 38708
715.24/717.19 c #Conflicts: 167000 | #Constraints: 39708
715.24/717.19 c #Conflicts: 168000 | #Constraints: 40708
715.24/717.19 c #Conflicts: 169000 | #Constraints: 41708
715.24/717.19 c #Conflicts: 170000 | #Constraints: 42708
715.24/717.19 c #Conflicts: 171000 | #Constraints: 43708
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 172000 | #Constraints: 36510
715.24/717.19 c #Conflicts: 173000 | #Constraints: 37510
715.24/717.19 c #Conflicts: 174000 | #Constraints: 38510
715.24/717.19 c #Conflicts: 175000 | #Constraints: 39510
715.24/717.19 c #Conflicts: 176000 | #Constraints: 40510
715.24/717.19 c #Conflicts: 177000 | #Constraints: 41510
715.24/717.19 c #Conflicts: 178000 | #Constraints: 42510
715.24/717.19 c #Conflicts: 179000 | #Constraints: 43510
715.24/717.19 c #Conflicts: 180000 | #Constraints: 44510
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 181000 | #Constraints: 37111
715.24/717.19 c #Conflicts: 182000 | #Constraints: 38111
715.24/717.19 c #Conflicts: 183000 | #Constraints: 39111
715.24/717.19 c #Conflicts: 184000 | #Constraints: 40111
715.24/717.19 c #Conflicts: 185000 | #Constraints: 41111
715.24/717.19 c #Conflicts: 186000 | #Constraints: 42111
715.24/717.19 c #Conflicts: 187000 | #Constraints: 43111
715.24/717.19 c #Conflicts: 188000 | #Constraints: 44111
715.24/717.19 c #Conflicts: 189000 | #Constraints: 45111
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 190000 | #Constraints: 37513
715.24/717.19 c #Conflicts: 191000 | #Constraints: 38513
715.24/717.19 c #Conflicts: 192000 | #Constraints: 39513
715.24/717.19 c #Conflicts: 193000 | #Constraints: 40513
715.24/717.19 c #Conflicts: 194000 | #Constraints: 41513
715.24/717.19 c #Conflicts: 195000 | #Constraints: 42513
715.24/717.19 c #Conflicts: 196000 | #Constraints: 43513
715.24/717.19 c #Conflicts: 197000 | #Constraints: 44513
715.24/717.19 c #Conflicts: 198000 | #Constraints: 45513
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 199000 | #Constraints: 37712
715.24/717.19 c #Conflicts: 200000 | #Constraints: 38712
715.24/717.19 c #Conflicts: 201000 | #Constraints: 39712
715.24/717.19 c #Conflicts: 202000 | #Constraints: 40712
715.24/717.19 c #Conflicts: 203000 | #Constraints: 41712
715.24/717.19 c #Conflicts: 204000 | #Constraints: 42712
715.24/717.19 c #Conflicts: 205000 | #Constraints: 43712
715.24/717.19 c #Conflicts: 206000 | #Constraints: 44712
715.24/717.19 c #Conflicts: 207000 | #Constraints: 45712
715.24/717.19 c INPROCESSING
715.24/717.19 c GARBAGE COLLECT
715.24/717.19 c #Conflicts: 208000 | #Constraints: 37714
715.24/717.19 c #Conflicts: 209000 | #Constraints: 38714
715.24/717.19 c #Conflicts: 210000 | #Constraints: 39714
715.24/717.19 c #Conflicts: 211000 | #Constraints: 40714
715.24/717.19 c #Conflicts: 212000 | #Constraints: 41714
715.24/717.19 c #Conflicts: 213000 | #Constraints: 42714
1164.79/1167.86 c #Conflicts: 214000 | #Constraints: 43714
1164.79/1167.86 c #Conflicts: 215000 | #Constraints: 44714
1164.79/1167.86 c #Conflicts: 216000 | #Constraints: 45714
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 217000 | #Constraints: 37514
1164.79/1167.86 c #Conflicts: 218000 | #Constraints: 38514
1164.79/1167.86 c #Conflicts: 219000 | #Constraints: 39514
1164.79/1167.86 c #Conflicts: 220000 | #Constraints: 40514
1164.79/1167.86 c #Conflicts: 221000 | #Constraints: 41514
1164.79/1167.86 c #Conflicts: 222000 | #Constraints: 42514
1164.79/1167.86 c #Conflicts: 223000 | #Constraints: 43514
1164.79/1167.86 c #Conflicts: 224000 | #Constraints: 44514
1164.79/1167.86 c #Conflicts: 225000 | #Constraints: 45514
1164.79/1167.86 c #Conflicts: 226000 | #Constraints: 46514
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 227000 | #Constraints: 38115
1164.79/1167.86 c #Conflicts: 228000 | #Constraints: 39115
1164.79/1167.86 c #Conflicts: 229000 | #Constraints: 40115
1164.79/1167.86 c #Conflicts: 230000 | #Constraints: 41115
1164.79/1167.86 c #Conflicts: 231000 | #Constraints: 42115
1164.79/1167.86 c #Conflicts: 232000 | #Constraints: 43115
1164.79/1167.86 c #Conflicts: 233000 | #Constraints: 44115
1164.79/1167.86 c #Conflicts: 234000 | #Constraints: 45115
1164.79/1167.86 c #Conflicts: 235000 | #Constraints: 46115
1164.79/1167.86 c #Conflicts: 236000 | #Constraints: 47115
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 237000 | #Constraints: 38516
1164.79/1167.86 c #Conflicts: 238000 | #Constraints: 39516
1164.79/1167.86 c #Conflicts: 239000 | #Constraints: 40516
1164.79/1167.86 c #Conflicts: 240000 | #Constraints: 41516
1164.79/1167.86 c #Conflicts: 241000 | #Constraints: 42516
1164.79/1167.86 c #Conflicts: 242000 | #Constraints: 43516
1164.79/1167.86 c #Conflicts: 243000 | #Constraints: 44516
1164.79/1167.86 c #Conflicts: 244000 | #Constraints: 45516
1164.79/1167.86 c #Conflicts: 245000 | #Constraints: 46516
1164.79/1167.86 c #Conflicts: 246000 | #Constraints: 47516
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 247000 | #Constraints: 38714
1164.79/1167.86 c #Conflicts: 248000 | #Constraints: 39714
1164.79/1167.86 c #Conflicts: 249000 | #Constraints: 40714
1164.79/1167.86 c #Conflicts: 250000 | #Constraints: 41714
1164.79/1167.86 c #Conflicts: 251000 | #Constraints: 42714
1164.79/1167.86 c #Conflicts: 252000 | #Constraints: 43714
1164.79/1167.86 c #Conflicts: 253000 | #Constraints: 44714
1164.79/1167.86 c #Conflicts: 254000 | #Constraints: 45714
1164.79/1167.86 c #Conflicts: 255000 | #Constraints: 46714
1164.79/1167.86 c #Conflicts: 256000 | #Constraints: 47714
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 257000 | #Constraints: 38714
1164.79/1167.86 c #Conflicts: 258000 | #Constraints: 39714
1164.79/1167.86 c #Conflicts: 259000 | #Constraints: 40714
1164.79/1167.86 c #Conflicts: 260000 | #Constraints: 41714
1164.79/1167.86 c #Conflicts: 261000 | #Constraints: 42714
1164.79/1167.86 c #Conflicts: 262000 | #Constraints: 43714
1164.79/1167.86 c #Conflicts: 263000 | #Constraints: 44714
1164.79/1167.86 c #Conflicts: 264000 | #Constraints: 45714
1164.79/1167.86 c #Conflicts: 265000 | #Constraints: 46714
1164.79/1167.86 c #Conflicts: 266000 | #Constraints: 47714
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 267000 | #Constraints: 38515
1164.79/1167.86 c #Conflicts: 268000 | #Constraints: 39515
1164.79/1167.86 c #Conflicts: 269000 | #Constraints: 40515
1164.79/1167.86 c #Conflicts: 270000 | #Constraints: 41515
1164.79/1167.86 c #Conflicts: 271000 | #Constraints: 42515
1164.79/1167.86 c #Conflicts: 272000 | #Constraints: 43515
1164.79/1167.86 c #Conflicts: 273000 | #Constraints: 44515
1164.79/1167.86 c #Conflicts: 274000 | #Constraints: 45515
1164.79/1167.86 c #Conflicts: 275000 | #Constraints: 46515
1164.79/1167.86 c #Conflicts: 276000 | #Constraints: 47515
1164.79/1167.86 c #Conflicts: 277000 | #Constraints: 48515
1164.79/1167.86 c INPROCESSING
1164.79/1167.86 c GARBAGE COLLECT
1164.79/1167.86 c #Conflicts: 278000 | #Constraints: 39115
1164.79/1167.86 c #Conflicts: 279000 | #Constraints: 40115
1164.79/1167.86 c #Conflicts: 280000 | #Constraints: 41115
1164.79/1167.86 c #Conflicts: 281000 | #Constraints: 42115
1164.79/1167.86 c #Conflicts: 282000 | #Constraints: 43115
1164.79/1167.86 c #Conflicts: 283000 | #Constraints: 44115
1164.79/1167.86 c #Conflicts: 284000 | #Constraints: 45115
1164.79/1167.86 c #Conflicts: 285000 | #Constraints: 46115
1164.79/1167.86 c #Conflicts: 286000 | #Constraints: 47115
1164.79/1167.86 c #Conflicts: 287000 | #Constraints: 48115
1164.79/1167.86 c #Conflicts: 288000 | #Constraints: 49115
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 289000 | #Constraints: 39511
1638.07/1642.32 c #Conflicts: 290000 | #Constraints: 40511
1638.07/1642.32 c #Conflicts: 291000 | #Constraints: 41511
1638.07/1642.32 c #Conflicts: 292000 | #Constraints: 42511
1638.07/1642.32 c #Conflicts: 293000 | #Constraints: 43511
1638.07/1642.32 c #Conflicts: 294000 | #Constraints: 44511
1638.07/1642.32 c #Conflicts: 295000 | #Constraints: 45511
1638.07/1642.32 c #Conflicts: 296000 | #Constraints: 46511
1638.07/1642.32 c #Conflicts: 297000 | #Constraints: 47511
1638.07/1642.32 c #Conflicts: 298000 | #Constraints: 48511
1638.07/1642.32 c #Conflicts: 299000 | #Constraints: 49511
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 300000 | #Constraints: 39712
1638.07/1642.32 c #Conflicts: 301000 | #Constraints: 40712
1638.07/1642.32 c #Conflicts: 302000 | #Constraints: 41712
1638.07/1642.32 c #Conflicts: 303000 | #Constraints: 42712
1638.07/1642.32 c #Conflicts: 304000 | #Constraints: 43712
1638.07/1642.32 c #Conflicts: 305000 | #Constraints: 44712
1638.07/1642.32 c #Conflicts: 306000 | #Constraints: 45712
1638.07/1642.32 c #Conflicts: 307000 | #Constraints: 46712
1638.07/1642.32 c #Conflicts: 308000 | #Constraints: 47712
1638.07/1642.32 c #Conflicts: 309000 | #Constraints: 48712
1638.07/1642.32 c #Conflicts: 310000 | #Constraints: 49712
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 311000 | #Constraints: 39712
1638.07/1642.32 c #Conflicts: 312000 | #Constraints: 40712
1638.07/1642.32 c #Conflicts: 313000 | #Constraints: 41712
1638.07/1642.32 c #Conflicts: 314000 | #Constraints: 42712
1638.07/1642.32 c #Conflicts: 315000 | #Constraints: 43712
1638.07/1642.32 c #Conflicts: 316000 | #Constraints: 44712
1638.07/1642.32 c #Conflicts: 317000 | #Constraints: 45712
1638.07/1642.32 c #Conflicts: 318000 | #Constraints: 46712
1638.07/1642.32 c #Conflicts: 319000 | #Constraints: 47712
1638.07/1642.32 c #Conflicts: 320000 | #Constraints: 48712
1638.07/1642.32 c #Conflicts: 321000 | #Constraints: 49712
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 322000 | #Constraints: 39513
1638.07/1642.32 c #Conflicts: 323000 | #Constraints: 40513
1638.07/1642.32 c #Conflicts: 324000 | #Constraints: 41513
1638.07/1642.32 c #Conflicts: 325000 | #Constraints: 42513
1638.07/1642.32 c #Conflicts: 326000 | #Constraints: 43513
1638.07/1642.32 c #Conflicts: 327000 | #Constraints: 44513
1638.07/1642.32 c #Conflicts: 328000 | #Constraints: 45513
1638.07/1642.32 c #Conflicts: 329000 | #Constraints: 46513
1638.07/1642.32 c #Conflicts: 330000 | #Constraints: 47513
1638.07/1642.32 c #Conflicts: 331000 | #Constraints: 48513
1638.07/1642.32 c #Conflicts: 332000 | #Constraints: 49513
1638.07/1642.32 c #Conflicts: 333000 | #Constraints: 50513
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 334000 | #Constraints: 40115
1638.07/1642.32 c #Conflicts: 335000 | #Constraints: 41115
1638.07/1642.32 c #Conflicts: 336000 | #Constraints: 42115
1638.07/1642.32 c #Conflicts: 337000 | #Constraints: 43115
1638.07/1642.32 c #Conflicts: 338000 | #Constraints: 44115
1638.07/1642.32 c #Conflicts: 339000 | #Constraints: 45115
1638.07/1642.32 c #Conflicts: 340000 | #Constraints: 46115
1638.07/1642.32 c #Conflicts: 341000 | #Constraints: 47115
1638.07/1642.32 c #Conflicts: 342000 | #Constraints: 48115
1638.07/1642.32 c #Conflicts: 343000 | #Constraints: 49115
1638.07/1642.32 c #Conflicts: 344000 | #Constraints: 50115
1638.07/1642.32 c #Conflicts: 345000 | #Constraints: 51115
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 346000 | #Constraints: 40514
1638.07/1642.32 c #Conflicts: 347000 | #Constraints: 41514
1638.07/1642.32 c #Conflicts: 348000 | #Constraints: 42514
1638.07/1642.32 c #Conflicts: 349000 | #Constraints: 43514
1638.07/1642.32 c #Conflicts: 350000 | #Constraints: 44514
1638.07/1642.32 c #Conflicts: 351000 | #Constraints: 45514
1638.07/1642.32 c #Conflicts: 352000 | #Constraints: 46514
1638.07/1642.32 c #Conflicts: 353000 | #Constraints: 47514
1638.07/1642.32 c #Conflicts: 354000 | #Constraints: 48514
1638.07/1642.32 c #Conflicts: 355000 | #Constraints: 49514
1638.07/1642.32 c #Conflicts: 356000 | #Constraints: 50514
1638.07/1642.32 c #Conflicts: 357000 | #Constraints: 51514
1638.07/1642.32 c INPROCESSING
1638.07/1642.32 c GARBAGE COLLECT
1638.07/1642.32 c #Conflicts: 358000 | #Constraints: 40715
1638.07/1642.32 c #Conflicts: 359000 | #Constraints: 41715
1638.07/1642.32 c #Conflicts: 360000 | #Constraints: 42715
1638.07/1642.32 c #Conflicts: 361000 | #Constraints: 43715
1638.07/1642.32 c #Conflicts: 362000 | #Constraints: 44715
2203.49/2209.26 c #Conflicts: 363000 | #Constraints: 45715
2203.49/2209.26 c #Conflicts: 364000 | #Constraints: 46715
2203.49/2209.26 c #Conflicts: 365000 | #Constraints: 47715
2203.49/2209.26 c #Conflicts: 366000 | #Constraints: 48715
2203.49/2209.26 c #Conflicts: 367000 | #Constraints: 49715
2203.49/2209.26 c #Conflicts: 368000 | #Constraints: 50715
2203.49/2209.26 c #Conflicts: 369000 | #Constraints: 51715
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 370000 | #Constraints: 40713
2203.49/2209.26 c #Conflicts: 371000 | #Constraints: 41713
2203.49/2209.26 c #Conflicts: 372000 | #Constraints: 42713
2203.49/2209.26 c #Conflicts: 373000 | #Constraints: 43713
2203.49/2209.26 c #Conflicts: 374000 | #Constraints: 44713
2203.49/2209.26 c #Conflicts: 375000 | #Constraints: 45713
2203.49/2209.26 c #Conflicts: 376000 | #Constraints: 46713
2203.49/2209.26 c #Conflicts: 377000 | #Constraints: 47713
2203.49/2209.26 c #Conflicts: 378000 | #Constraints: 48713
2203.49/2209.26 c #Conflicts: 379000 | #Constraints: 49713
2203.49/2209.26 c #Conflicts: 380000 | #Constraints: 50713
2203.49/2209.26 c #Conflicts: 381000 | #Constraints: 51713
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 382000 | #Constraints: 40515
2203.49/2209.26 c #Conflicts: 383000 | #Constraints: 41515
2203.49/2209.26 c #Conflicts: 384000 | #Constraints: 42515
2203.49/2209.26 c #Conflicts: 385000 | #Constraints: 43515
2203.49/2209.26 c #Conflicts: 386000 | #Constraints: 44515
2203.49/2209.26 c #Conflicts: 387000 | #Constraints: 45515
2203.49/2209.26 c #Conflicts: 388000 | #Constraints: 46515
2203.49/2209.26 c #Conflicts: 389000 | #Constraints: 47515
2203.49/2209.26 c #Conflicts: 390000 | #Constraints: 48515
2203.49/2209.26 c #Conflicts: 391000 | #Constraints: 49515
2203.49/2209.26 c #Conflicts: 392000 | #Constraints: 50515
2203.49/2209.26 c #Conflicts: 393000 | #Constraints: 51515
2203.49/2209.26 c #Conflicts: 394000 | #Constraints: 52515
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 395000 | #Constraints: 41114
2203.49/2209.26 c #Conflicts: 396000 | #Constraints: 42114
2203.49/2209.26 c #Conflicts: 397000 | #Constraints: 43114
2203.49/2209.26 c #Conflicts: 398000 | #Constraints: 44114
2203.49/2209.26 c #Conflicts: 399000 | #Constraints: 45114
2203.49/2209.26 c #Conflicts: 400000 | #Constraints: 46114
2203.49/2209.26 c #Conflicts: 401000 | #Constraints: 47114
2203.49/2209.26 c #Conflicts: 402000 | #Constraints: 48114
2203.49/2209.26 c #Conflicts: 403000 | #Constraints: 49114
2203.49/2209.26 c #Conflicts: 404000 | #Constraints: 50114
2203.49/2209.26 c #Conflicts: 405000 | #Constraints: 51114
2203.49/2209.26 c #Conflicts: 406000 | #Constraints: 52114
2203.49/2209.26 c #Conflicts: 407000 | #Constraints: 53114
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 408000 | #Constraints: 41515
2203.49/2209.26 c #Conflicts: 409000 | #Constraints: 42515
2203.49/2209.26 c #Conflicts: 410000 | #Constraints: 43515
2203.49/2209.26 c #Conflicts: 411000 | #Constraints: 44515
2203.49/2209.26 c #Conflicts: 412000 | #Constraints: 45515
2203.49/2209.26 c #Conflicts: 413000 | #Constraints: 46515
2203.49/2209.26 c #Conflicts: 414000 | #Constraints: 47515
2203.49/2209.26 c #Conflicts: 415000 | #Constraints: 48515
2203.49/2209.26 c #Conflicts: 416000 | #Constraints: 49515
2203.49/2209.26 c #Conflicts: 417000 | #Constraints: 50515
2203.49/2209.26 c #Conflicts: 418000 | #Constraints: 51515
2203.49/2209.26 c #Conflicts: 419000 | #Constraints: 52515
2203.49/2209.26 c #Conflicts: 420000 | #Constraints: 53515
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 421000 | #Constraints: 41714
2203.49/2209.26 c #Conflicts: 422000 | #Constraints: 42714
2203.49/2209.26 c #Conflicts: 423000 | #Constraints: 43714
2203.49/2209.26 c #Conflicts: 424000 | #Constraints: 44714
2203.49/2209.26 c #Conflicts: 425000 | #Constraints: 45714
2203.49/2209.26 c #Conflicts: 426000 | #Constraints: 46714
2203.49/2209.26 c #Conflicts: 427000 | #Constraints: 47714
2203.49/2209.26 c #Conflicts: 428000 | #Constraints: 48714
2203.49/2209.26 c #Conflicts: 429000 | #Constraints: 49714
2203.49/2209.26 c #Conflicts: 430000 | #Constraints: 50714
2203.49/2209.26 c #Conflicts: 431000 | #Constraints: 51714
2203.49/2209.26 c #Conflicts: 432000 | #Constraints: 52714
2203.49/2209.26 c #Conflicts: 433000 | #Constraints: 53714
2203.49/2209.26 c INPROCESSING
2203.49/2209.26 c GARBAGE COLLECT
2203.49/2209.26 c #Conflicts: 434000 | #Constraints: 41715
2203.49/2209.26 c #Conflicts: 435000 | #Constraints: 42715
2203.49/2209.26 c #Conflicts: 436000 | #Constraints: 43715
2203.49/2209.26 c #Conflicts: 437000 | #Constraints: 44715
2819.86/2827.27 c #Conflicts: 438000 | #Constraints: 45715
2819.86/2827.27 c #Conflicts: 439000 | #Constraints: 46715
2819.86/2827.27 c #Conflicts: 440000 | #Constraints: 47715
2819.86/2827.27 c #Conflicts: 441000 | #Constraints: 48715
2819.86/2827.27 c #Conflicts: 442000 | #Constraints: 49715
2819.86/2827.27 c #Conflicts: 443000 | #Constraints: 50715
2819.86/2827.27 c #Conflicts: 444000 | #Constraints: 51715
2819.86/2827.27 c #Conflicts: 445000 | #Constraints: 52715
2819.86/2827.27 c #Conflicts: 446000 | #Constraints: 53715
2819.86/2827.27 c INPROCESSING
2819.86/2827.27 c GARBAGE COLLECT
2819.86/2827.27 c #Conflicts: 447000 | #Constraints: 41514
2819.86/2827.27 c #Conflicts: 448000 | #Constraints: 42514
2819.86/2827.27 c #Conflicts: 449000 | #Constraints: 43514
2819.86/2827.27 c #Conflicts: 450000 | #Constraints: 44514
2819.86/2827.27 c #Conflicts: 451000 | #Constraints: 45514
2819.86/2827.27 c #Conflicts: 452000 | #Constraints: 46514
2819.86/2827.27 c #Conflicts: 453000 | #Constraints: 47514
2819.86/2827.27 c #Conflicts: 454000 | #Constraints: 48514
2819.86/2827.27 c #Conflicts: 455000 | #Constraints: 49514
2819.86/2827.27 c #Conflicts: 456000 | #Constraints: 50514
2819.86/2827.27 c #Conflicts: 457000 | #Constraints: 51514
2819.86/2827.27 c #Conflicts: 458000 | #Constraints: 52514
2819.86/2827.27 c #Conflicts: 459000 | #Constraints: 53514
2819.86/2827.27 c #Conflicts: 460000 | #Constraints: 54514
2819.86/2827.27 c INPROCESSING
2819.86/2827.27 c GARBAGE COLLECT
2819.86/2827.27 c #Conflicts: 461000 | #Constraints: 42116
2819.86/2827.27 c #Conflicts: 462000 | #Constraints: 43116
2819.86/2827.27 c #Conflicts: 463000 | #Constraints: 44116
2819.86/2827.27 c #Conflicts: 464000 | #Constraints: 45116
2819.86/2827.27 c #Conflicts: 465000 | #Constraints: 46116
2819.86/2827.27 c #Conflicts: 466000 | #Constraints: 47116
2819.86/2827.27 c #Conflicts: 467000 | #Constraints: 48116
2819.86/2827.27 c #Conflicts: 468000 | #Constraints: 49116
2819.86/2827.27 c #Conflicts: 469000 | #Constraints: 50116
2819.86/2827.27 c #Conflicts: 470000 | #Constraints: 51116
2819.86/2827.27 c #Conflicts: 471000 | #Constraints: 52116
2819.86/2827.27 c #Conflicts: 472000 | #Constraints: 53116
2819.86/2827.27 c #Conflicts: 473000 | #Constraints: 54116
2819.86/2827.27 c #Conflicts: 474000 | #Constraints: 55116
2819.86/2827.27 c INPROCESSING
2819.86/2827.27 c GARBAGE COLLECT
2819.86/2827.27 c #Conflicts: 475000 | #Constraints: 42515
2819.86/2827.27 c #Conflicts: 476000 | #Constraints: 43515
2819.86/2827.27 c #Conflicts: 477000 | #Constraints: 44515
2819.86/2827.27 c #Conflicts: 478000 | #Constraints: 45515
2819.86/2827.27 c #Conflicts: 479000 | #Constraints: 46515
2819.86/2827.27 c #Conflicts: 480000 | #Constraints: 47515
2819.86/2827.27 c #Conflicts: 481000 | #Constraints: 48515
2819.86/2827.27 c #Conflicts: 482000 | #Constraints: 49515
2819.86/2827.27 c #Conflicts: 483000 | #Constraints: 50515
2819.86/2827.27 c #Conflicts: 484000 | #Constraints: 51515
2819.86/2827.27 c #Conflicts: 485000 | #Constraints: 52515
2819.86/2827.27 c #Conflicts: 486000 | #Constraints: 53515
2819.86/2827.27 c #Conflicts: 487000 | #Constraints: 54515
2819.86/2827.27 c #Conflicts: 488000 | #Constraints: 55515
2819.86/2827.27 c INPROCESSING
2819.86/2827.27 c GARBAGE COLLECT
2819.86/2827.27 c #Conflicts: 489000 | #Constraints: 42716
2819.86/2827.27 c #Conflicts: 490000 | #Constraints: 43716
2819.86/2827.27 c #Conflicts: 491000 | #Constraints: 44716
2819.86/2827.27 c #Conflicts: 492000 | #Constraints: 45716
2819.86/2827.27 c #Conflicts: 493000 | #Constraints: 46716
2819.86/2827.27 c #Conflicts: 494000 | #Constraints: 47716
2819.86/2827.27 c #Conflicts: 495000 | #Constraints: 48716
2819.86/2827.27 c #Conflicts: 496000 | #Constraints: 49716
2819.86/2827.27 c #Conflicts: 497000 | #Constraints: 50716
2819.86/2827.27 c #Conflicts: 498000 | #Constraints: 51716
2819.86/2827.27 c #Conflicts: 499000 | #Constraints: 52716
2819.86/2827.27 c #Conflicts: 500000 | #Constraints: 53716
2819.86/2827.27 c #Conflicts: 501000 | #Constraints: 54716
2819.86/2827.27 c #Conflicts: 502000 | #Constraints: 55716
2819.86/2827.27 c INPROCESSING
2819.86/2827.27 c GARBAGE COLLECT
2819.86/2827.27 c #Conflicts: 503000 | #Constraints: 42713
2819.86/2827.27 c #Conflicts: 504000 | #Constraints: 43713
2819.86/2827.27 c #Conflicts: 505000 | #Constraints: 44713
2819.86/2827.27 c #Conflicts: 506000 | #Constraints: 45713
2819.86/2827.27 c #Conflicts: 507000 | #Constraints: 46713
2819.86/2827.27 c #Conflicts: 508000 | #Constraints: 47713
2819.86/2827.27 c #Conflicts: 509000 | #Constraints: 48713
2819.86/2827.27 c #Conflicts: 510000 | #Constraints: 49713
2819.86/2827.27 c #Conflicts: 511000 | #Constraints: 50713
2819.86/2827.27 c #Conflicts: 512000 | #Constraints: 51713
2819.86/2827.27 c #Conflicts: 513000 | #Constraints: 52713
3513.09/3522.31 c #Conflicts: 514000 | #Constraints: 53713
3513.09/3522.31 c #Conflicts: 515000 | #Constraints: 54713
3513.09/3522.31 c #Conflicts: 516000 | #Constraints: 55713
3513.09/3522.31 c INPROCESSING
3513.09/3522.31 c GARBAGE COLLECT
3513.09/3522.31 c #Conflicts: 517000 | #Constraints: 42513
3513.09/3522.31 c #Conflicts: 518000 | #Constraints: 43513
3513.09/3522.31 c #Conflicts: 519000 | #Constraints: 44513
3513.09/3522.31 c #Conflicts: 520000 | #Constraints: 45513
3513.09/3522.31 c #Conflicts: 521000 | #Constraints: 46513
3513.09/3522.31 c #Conflicts: 522000 | #Constraints: 47513
3513.09/3522.31 c #Conflicts: 523000 | #Constraints: 48513
3513.09/3522.31 c #Conflicts: 524000 | #Constraints: 49513
3513.09/3522.31 c #Conflicts: 525000 | #Constraints: 50513
3513.09/3522.31 c #Conflicts: 526000 | #Constraints: 51513
3513.09/3522.31 c #Conflicts: 527000 | #Constraints: 52513
3513.09/3522.31 c #Conflicts: 528000 | #Constraints: 53513
3513.09/3522.31 c #Conflicts: 529000 | #Constraints: 54513
3513.09/3522.31 c #Conflicts: 530000 | #Constraints: 55513
3513.09/3522.31 c #Conflicts: 531000 | #Constraints: 56513
3513.09/3522.31 c INPROCESSING
3513.09/3522.31 c GARBAGE COLLECT
3513.09/3522.31 c #Conflicts: 532000 | #Constraints: 43115
3513.09/3522.31 c #Conflicts: 533000 | #Constraints: 44115
3513.09/3522.31 c #Conflicts: 534000 | #Constraints: 45115
3513.09/3522.31 c #Conflicts: 535000 | #Constraints: 46115
3513.09/3522.31 c #Conflicts: 536000 | #Constraints: 47115
3513.09/3522.31 c #Conflicts: 537000 | #Constraints: 48115
3513.09/3522.31 c #Conflicts: 538000 | #Constraints: 49115
3513.09/3522.31 c #Conflicts: 539000 | #Constraints: 50115
3513.09/3522.31 c #Conflicts: 540000 | #Constraints: 51115
3513.09/3522.31 c #Conflicts: 541000 | #Constraints: 52115
3513.09/3522.31 c #Conflicts: 542000 | #Constraints: 53115
3513.09/3522.31 c #Conflicts: 543000 | #Constraints: 54115
3513.09/3522.31 c #Conflicts: 544000 | #Constraints: 55115
3513.09/3522.31 c #Conflicts: 545000 | #Constraints: 56115
3513.09/3522.31 c #Conflicts: 546000 | #Constraints: 57115
3513.09/3522.31 c INPROCESSING
3513.09/3522.31 c GARBAGE COLLECT
3513.09/3522.31 c #Conflicts: 547000 | #Constraints: 43515
3513.09/3522.31 c #Conflicts: 548000 | #Constraints: 44515
3513.09/3522.31 c #Conflicts: 549000 | #Constraints: 45515
3513.09/3522.31 c #Conflicts: 550000 | #Constraints: 46515
3513.09/3522.31 c #Conflicts: 551000 | #Constraints: 47515
3513.09/3522.31 c #Conflicts: 552000 | #Constraints: 48515
3513.09/3522.31 c #Conflicts: 553000 | #Constraints: 49515
3513.09/3522.31 c #Conflicts: 554000 | #Constraints: 50515
3513.09/3522.31 c #Conflicts: 555000 | #Constraints: 51515
3513.09/3522.31 c #Conflicts: 556000 | #Constraints: 52515
3513.09/3522.31 c #Conflicts: 557000 | #Constraints: 53515
3513.09/3522.31 c #Conflicts: 558000 | #Constraints: 54515
3513.09/3522.31 c #Conflicts: 559000 | #Constraints: 55515
3513.09/3522.31 c #Conflicts: 560000 | #Constraints: 56515
3513.09/3522.31 c #Conflicts: 561000 | #Constraints: 57515
3513.09/3522.31 c INPROCESSING
3513.09/3522.31 c GARBAGE COLLECT
3513.09/3522.31 c #Conflicts: 562000 | #Constraints: 43717
3513.09/3522.31 c #Conflicts: 563000 | #Constraints: 44717
3513.09/3522.31 c #Conflicts: 564000 | #Constraints: 45717
3513.09/3522.31 c #Conflicts: 565000 | #Constraints: 46717
3513.09/3522.31 c #Conflicts: 566000 | #Constraints: 47717
3513.09/3522.31 c #Conflicts: 567000 | #Constraints: 48717
3513.09/3522.31 c #Conflicts: 568000 | #Constraints: 49717
3513.09/3522.31 c #Conflicts: 569000 | #Constraints: 50717
3513.09/3522.31 c #Conflicts: 570000 | #Constraints: 51717
3513.09/3522.31 c #Conflicts: 571000 | #Constraints: 52717
3513.09/3522.31 c #Conflicts: 572000 | #Constraints: 53717
3513.09/3522.31 c #Conflicts: 573000 | #Constraints: 54717
3513.09/3522.31 c #Conflicts: 574000 | #Constraints: 55717
3513.09/3522.31 c #Conflicts: 575000 | #Constraints: 56717
3513.09/3522.31 c #Conflicts: 576000 | #Constraints: 57717
3513.09/3522.31 c INPROCESSING
3513.09/3522.31 c GARBAGE COLLECT
3513.09/3522.31 c #Conflicts: 577000 | #Constraints: 43715
3513.09/3522.31 c #Conflicts: 578000 | #Constraints: 44715
3513.09/3522.31 c #Conflicts: 579000 | #Constraints: 45715
3513.09/3522.31 c #Conflicts: 580000 | #Constraints: 46715
3513.09/3522.31 c #Conflicts: 581000 | #Constraints: 47715
3513.09/3522.31 c #Conflicts: 582000 | #Constraints: 48715
3513.09/3522.31 c #Conflicts: 583000 | #Constraints: 49715
3513.09/3522.31 c #Conflicts: 584000 | #Constraints: 50715
3513.09/3522.31 c #Conflicts: 585000 | #Constraints: 51715
3513.09/3522.31 c #Conflicts: 586000 | #Constraints: 52715
3513.09/3522.31 c #Conflicts: 587000 | #Constraints: 53715
3513.09/3522.31 c #Conflicts: 588000 | #Constraints: 54715
3600.06/3609.50 c #Conflicts: 589000 | #Constraints: 55715
3600.06/3609.50 c #Conflicts: 590000 | #Constraints: 56715
3600.06/3609.50 c #Conflicts: 591000 | #Constraints: 57715
3600.06/3609.50 c INPROCESSING
3600.06/3609.50 c GARBAGE COLLECT
3600.06/3609.50 c #Conflicts: 592000 | #Constraints: 43512
3600.06/3609.50 c #Conflicts: 593000 | #Constraints: 44512
3600.06/3609.50 c #Conflicts: 594000 | #Constraints: 45512
3600.06/3609.50 c #Conflicts: 595000 | #Constraints: 46512
3600.06/3609.50 c #Conflicts: 596000 | #Constraints: 47512
3600.06/3609.50 c #Conflicts: 597000 | #Constraints: 48512
3600.06/3609.50 c cpu time 3596.56 s
3600.06/3609.50 c deterministic time 1 1.00e+00
3600.06/3609.50 c optimization time 3596.48 s
3600.06/3609.50 c total solve time 0 s
3600.06/3609.50 c core-guided solve time 0 s
3600.06/3609.50 c propagation time 0.009119 s
3600.06/3609.50 c conflict analysis time 0 s
3600.06/3609.50 c propagations 0
3600.06/3609.50 c resolve steps 0
3600.06/3609.50 c decisions 0
3600.06/3609.50 c conflicts 0
3600.06/3609.50 c restarts 0
3600.06/3609.50 c inprocessing phases 0
3600.06/3609.50 c garbage collections 0 ,( -nan )
3600.06/3609.50 c input clauses 27842 ,( 100.00 )
3600.06/3609.50 c input cardinalities 0 ,( 0.00 )
3600.06/3609.50 c input general constraints 0 ,( 0.00 )
3600.06/3609.50 c input average constraint length 2.00
3600.06/3609.50 c input average constraint degree 1.00
3600.06/3609.50 c learned clauses 0 ,( 0.00 )
3600.06/3609.50 c learned cardinalities 0 ,( 0.00 )
3600.06/3609.50 c learned general constraints 0 ,( 0.00 )
3600.06/3609.50 c learned average constraint length 0.00
3600.06/3609.50 c learned average constraint degree 0.00
3600.06/3609.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3609.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3609.50 c watched constraints 0 ,( -nan )
3600.06/3609.50 c counting constraints 0 ,( -nan )
3600.06/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3609.50 c gcd simplifications 0
3600.06/3609.50 c detected cardinalities 0
3600.06/3609.50 c weakened non-implied lits 0
3600.06/3609.50 c weakened non-implying lits 0
3600.06/3609.50 c original variables 595
3600.06/3609.50 c clausal propagations 0
3600.06/3609.50 c cardinality propagations 0
3600.06/3609.50 c watched propagations 0
3600.06/3609.50 c counting propagations 0
3600.06/3609.50 c watch lookups 0
3600.06/3609.50 c watch backjump lookups 0
3600.06/3609.50 c watch checks 0
3600.06/3609.50 c propagation checks 0
3600.06/3609.50 c constraint additions 0
3600.06/3609.50 c trail pops 0
3600.06/3609.50 c formula constraints 27842
3600.06/3609.50 c learned constraints 0
3600.06/3609.50 c bound constraints 0
3600.06/3609.50 c core-guided constraints 0
3600.06/3609.50 c encountered formula constraints 0
3600.06/3609.50 c encountered learned constraints 0
3600.06/3609.50 c encountered bound constraints 0
3600.06/3609.50 c encountered core-guided constraints 0
3600.06/3609.50 c LP total time 0 s
3600.06/3609.50 c LP solve time 0 s
3600.06/3609.50 c LP constraints added 0
3600.06/3609.50 c LP constraints removed 0
3600.06/3609.50 c LP pivots internal 0
3600.06/3609.50 c LP pivots root 0
3600.06/3609.50 c LP calls 0
3600.06/3609.50 c LP optimalities 0
3600.06/3609.50 c LP no pivot count 0
3600.06/3609.50 c LP infeasibilities 0
3600.06/3609.50 c LP valid Farkas constraints 0
3600.06/3609.50 c LP learned Farkas constraints 0
3600.06/3609.50 c LP basis resets 0
3600.06/3609.50 c LP cycling count 0
3600.06/3609.50 c LP singular count 0
3600.06/3609.50 c LP no primal count 0
3600.06/3609.50 c LP no farkas count 0
3600.06/3609.50 c LP other issue count 0
3600.06/3609.50 c LP Gomory cuts 0
3600.06/3609.50 c LP learned cuts 0
3600.06/3609.50 c LP deleted cuts 0
3600.06/3609.50 c LP encountered Gomory constraints 0
3600.06/3609.50 c LP encountered Farkas constraints 0
3600.06/3609.50 c LP encountered learned Farkas constraints 0
3600.06/3609.50 c CG auxiliary variables introduced 0
3600.06/3609.50 c CG solutions found 0
3600.06/3609.50 c CG cores constructed 0
3600.06/3609.50 c CG core cardinality constraints returned 0
3600.06/3609.50 c CG unit cores 0
3600.06/3609.50 c CG single cores 0
3600.06/3609.50 c CG blocks removed during cardinality reduction 0
3600.06/3609.50 c CG first core best 0
3600.06/3609.50 c CG decision core best 0
3600.06/3609.50 c CG core reduction tie 0
3600.06/3609.50 c CG core degree average 0.00
3600.06/3609.50 c CG core slack average 0.00
3600.06/3609.50 c CG core upper bound improvements 0
3600.06/3609.50 c STR number of successful calls 0
3600.06/3609.50 c STR number of unsuccessful calls 0
3600.06/3609.50 c STR number of inconclusive calls 0
3600.06/3609.50 c STR number of successful attempts 0
3600.06/3609.50 c STR number of unsuccessful attempts 0
3600.06/3609.50 c STR number of inconclusive attempts 0
3600.06/3609.50 c STR average degree increase per successful call inf
3600.06/3609.50 c STR average degree increase per successful attempt inf
3600.06/3609.50 c STR total number of conflicts for successful attempts 0
3600.06/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.50 c STR average number of conflicts per successful attempt inf
3600.06/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.50 c AVG.sumWPerc -nan
3600.06/3609.50 c bigint constraints 0
3600.06/3609.50 s UNKNOWN
3600.06/3609.50 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 (63154 MiB free)
memory of node 1: 64465 MiB (63811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485136-1751304115/watcher-4485136-1751304115 -o /tmp/evaluation-result-4485136-1751304115/solver-4485136-1751304115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760 run-opt.sh HOME/instance-4485136-1751304115.opb
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 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=41654, runsolver pid=41645
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129947344/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=66708 memory=20488 CPUtime=0.07 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 3182 0 0 0 6 1 0 0 20 0 1 0 46090102 68308992 5122 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 16677 5122 2240 1147 0 4104 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70900 KiB
Current children cumulated memory: 23560 KiB
[startup+0.205603 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129902548/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=98492 memory=51412 CPUtime=0.17 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 8425 0 0 0 12 5 0 0 20 0 1 0 46090102 100855808 12853 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 24623 12853 2336 1147 0 12050 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 102684 KiB
Current children cumulated memory: 54484 KiB
[startup+0.30565 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129882060/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=98492 memory=51668 CPUtime=0.27 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 8493 0 0 0 22 5 0 0 20 0 1 0 46090102 100855808 12917 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 24623 12917 2336 1147 0 12050 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 102684 KiB
Current children cumulated memory: 54740 KiB
[startup+0.7002 s]
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129844768/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=98492 memory=52820 CPUtime=0.66 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 8786 0 0 0 60 6 0 0 20 0 1 0 46090102 100855808 13205 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 24623 13205 2336 1147 0 12050 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 102684 KiB
Current children cumulated memory: 55892 KiB
[startup+1.50019 s]
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129717932/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=98492 memory=52820 CPUtime=1.46 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 8796 0 0 0 139 7 0 0 20 0 1 0 46090102 100855808 13205 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 24623 13205 2336 1147 0 12050 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 102684 KiB
Current children cumulated memory: 55892 KiB
[startup+3.10556 s]
/proc/loadavg: 1.05 1.18 2.23 5/270 41668
/proc/meminfo: memFree=129278872/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=117632 memory=66004 CPUtime=3.06 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 9353 0 0 0 298 8 0 0 20 0 1 0 46090102 120455168 16501 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 29408 16501 2336 1147 0 16835 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 69076 KiB
[startup+6.30019 s]
/proc/loadavg: 1.05 1.18 2.23 5/270 41668
/proc/meminfo: memFree=128737336/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=117632 memory=68060 CPUtime=6.25 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 9431 0 0 0 616 9 0 0 20 0 1 0 46090102 120455168 17015 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 29408 17015 2336 1147 0 16835 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 71132 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.29 2.26 5/270 41668
/proc/meminfo: memFree=128182460/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=117632 memory=71552 CPUtime=12.63 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 9864 0 0 0 1252 11 0 0 20 0 1 0 46090102 120455168 17888 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 29408 17888 2336 1147 0 16835 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 74624 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 1.38 2.28 5/268 41668
/proc/meminfo: memFree=126709692/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=131636 memory=77984 CPUtime=25.4 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 10958 0 0 0 2523 17 0 0 20 0 1 0 46090102 134795264 19496 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 32909 19496 2336 1147 0 20336 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 135828 KiB
Current children cumulated memory: 81056 KiB
[startup+51.1056 s]
/proc/loadavg: 2.66 1.59 2.32 5/269 41670
/proc/meminfo: memFree=124452292/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=137516 memory=89060 CPUtime=50.95 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 12224 0 0 0 5070 25 0 0 20 0 1 0 46090102 140816384 22265 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 34379 22265 2336 1147 0 21806 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 141708 KiB
Current children cumulated memory: 92132 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.01 2.43 5/269 41671
/proc/meminfo: memFree=122460664/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=170248 memory=105100 CPUtime=102.01 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 15224 0 0 0 10165 36 0 0 20 0 1 0 46090102 174333952 26275 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 42562 26275 2336 1147 0 29989 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 174440 KiB
Current children cumulated memory: 108172 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.39 2.53 5/271 41676
/proc/meminfo: memFree=121285516/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=180516 memory=117596 CPUtime=161.86 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 17325 0 0 0 16139 47 0 0 20 0 1 0 46090102 184848384 29399 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 45129 29399 2336 1147 0 32556 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 184708 KiB
Current children cumulated memory: 120668 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.70 2.63 5/271 41679
/proc/meminfo: memFree=119983964/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=183856 memory=127412 CPUtime=221.7 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 18270 0 0 0 22115 55 0 0 20 0 1 0 46090102 188268544 31853 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 45964 31853 2336 1147 0 33391 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/41662/statm: 88622 64653 2336 1147 0 76049 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 358680 KiB
Current children cumulated memory: 261684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/268 41843
/proc/meminfo: memFree=95688788/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=355004 memory=261708 CPUtime=3154.06 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 38638 0 0 0 315089 317 0 0 20 0 1 0 46090102 363524096 65427 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 88751 65427 2336 1147 0 76178 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 359196 KiB
Current children cumulated memory: 264780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/269 41846
/proc/meminfo: memFree=95213760/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=355004 memory=262092 CPUtime=3213.9 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 38756 0 0 0 321068 322 0 0 20 0 1 0 46090102 363524096 65523 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 88751 65523 2336 1147 0 76178 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 359196 KiB
Current children cumulated memory: 265164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/269 41850
/proc/meminfo: memFree=94709360/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=357824 memory=264908 CPUtime=3273.74 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 39450 0 0 0 327048 326 0 0 20 0 1 0 46090102 366411776 66227 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 89456 66227 2336 1147 0 76883 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 362016 KiB
Current children cumulated memory: 267980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/269 41857
/proc/meminfo: memFree=94665392/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=357824 memory=265036 CPUtime=3333.58 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 39473 0 0 0 333027 331 0 0 20 0 1 0 46090102 366411776 66259 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 89456 66259 2336 1147 0 76883 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 362016 KiB
Current children cumulated memory: 268108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/269 41859
/proc/meminfo: memFree=94186824/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=357824 memory=265292 CPUtime=3393.42 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 39536 0 0 0 339007 335 0 0 20 0 1 0 46090102 366411776 66323 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 89456 66323 2336 1147 0 76883 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 362016 KiB
Current children cumulated memory: 268364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/269 41862
/proc/meminfo: memFree=94093824/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=358520 memory=268168 CPUtime=3453.25 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 39763 0 0 0 344985 340 0 0 20 0 1 0 46090102 367124480 67042 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 89630 67042 2336 1147 0 77057 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 362712 KiB
Current children cumulated memory: 271240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/269 41865
/proc/meminfo: memFree=93882292/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=358520 memory=268296 CPUtime=3513.09 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 39801 0 0 0 350965 344 0 0 20 0 1 0 46090102 367124480 67074 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 89630 67074 2336 1147 0 77057 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 362712 KiB
Current children cumulated memory: 271368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/269 41867
/proc/meminfo: memFree=93719640/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=361596 memory=273072 CPUtime=3572.94 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 40474 0 0 0 356945 349 0 0 20 0 1 0 46090102 370274304 68268 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 90399 68268 2336 1147 0 77826 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 365788 KiB
Current children cumulated memory: 276144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.05 4.08 4.05 5/269 41868
/proc/meminfo: memFree=93599268/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=361596 memory=273072 CPUtime=3600.06 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 40476 0 0 0 359655 351 0 0 20 0 1 0 46090102 370274304 68268 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 90399 68268 2336 1147 0 77826 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 365788 KiB
Current children cumulated memory: 276144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 41654 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002796 s
[startup+3609.52 s]
# the end of solver process 41662 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.57 s, system=3.52262 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+3609.5 s]
/proc/loadavg: 4.05 4.08 4.05 5/269 41868
/proc/meminfo: memFree=93599268/131249996 swapFree=33010684/33010684
[pid=41654] ppid=41645 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/41654/stat : 41654 (run-opt.sh) S 41645 41654 41594 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46090101 4292608 768 18446744073709551615 94504468430848 94504469325381 140727689484192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94504469564432 94504469612176 94504490946560 140727689492845 140727689492968 140727689492968 140727689498570 0
/proc/41654/statm: 1048 768 704 219 0 110 0
[pid=41662] ppid=41654 vsize=361596 memory=273072 CPUtime=3600.06 cores=1,3
/proc/41662/stat : 41662 (roundingsat) R 41654 41654 41594 0 -1 4194304 40476 0 0 0 359655 351 0 0 20 0 1 0 46090102 370274304 68268 18446744073709551615 4227072 8923433 140729085018128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28168192 140729085024674 140729085024808 140729085024808 140729085030378 0
/proc/41662/statm: 90399 68268 2336 1147 0 77826 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 365788 KiB
Current children cumulated memory: 276144 KiB
Child status: 2
Real time (s): 3609.52
CPU time (s): 3600.09
CPU user time (s): 3596.57
CPU system time (s): 3.52262
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 365788
Max. memory (cumulated for all children) (KiB): 276144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.57
system time used= 3.52262
maximum resident set size= 273456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184
involuntary context switches= 3295
# summary of solver processes directly reported to runsolver:
# pid: 41654,41662
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.57
# total CPU system time (s): 3.52262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0036 second user time and 17.034 second system time
The end
Begin job on nodeC032 at 2025-06-30 19:21:55
IDJOB=4485136
IDBENCH=146694
IDSOLVER=3350
FILE ID=nodeC032/4485136-1751304115
RUNJOBID= nodeC032-1751304114-41606
SLURM_JOB_ID= 9594298
Free space on /tmp= 432072 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485136-1751304115/watcher-4485136-1751304115 -o /tmp/evaluation-result-4485136-1751304115/solver-4485136-1751304115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760 run-opt.sh HOME/instance-4485136-1751304115.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=1526959048
nodeC032 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.381
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.846
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3578.185
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3598.900
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130008832 kB
MemAvailable: 129776824 kB
Buffers: 3280 kB
Cached: 576192 kB
SwapCached: 0 kB
Active: 319464 kB
Inactive: 322812 kB
Active(anon): 80872 kB
Inactive(anon): 0 kB
Active(file): 238592 kB
Inactive(file): 322812 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28528 kB
Writeback: 0 kB
AnonPages: 65912 kB
Mapped: 102764 kB
Shmem: 18068 kB
KReclaimable: 91656 kB
Slab: 176612 kB
SReclaimable: 91656 kB
SUnreclaim: 84956 kB
KernelStack: 4112 kB
PageTables: 2836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432032 MiB
End job on nodeC032 at 2025-06-30 20:22:04