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