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