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