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