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