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