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