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