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