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