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