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