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