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