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