(1,18) (2,21) (3,29) (4,20) (5,13) (6,19) (7,23) (8,12) (9,14) (10,16) (11,22) (15,26) (17,27) (24,25) (28,30) 
nodes: 560088  conflicts: 31  modelTime: 1238  solveTime: 3242068  totalTime: 3243324  modelSize: 72265  readTime: 18 size: 15