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