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