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