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