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