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