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