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