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