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