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