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