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