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