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