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