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