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