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