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