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