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