(1,12) (2,3) (4,22) (5,20) (6,13) (7,27) (8,11) (9,10) (14,24) (15,19) (16,26) (17,25) (18,28) (21,29) (23,30) 
nodes: 55398  conflicts: 33  modelTime: 2241  solveTime: 196515  totalTime: 198783  modelSize: 72262  readTime: 27 size: 15