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