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