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