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