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