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