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