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