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