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