(1,3) (2,22) (4,20) (5,19) (6,11) (7,18) (8,14) (9,24) (10,29) (12,25) (13,15) (16,23) (17,21) (26,28) (27,30) 
nodes: 612  conflicts: 1  modelTime: 1188  solveTime: 2870  totalTime: 4070  modelSize: 72264  readTime: 11 size: 15