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