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