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