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