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