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