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