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