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