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