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