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