(1,24) (2,19) (3,18) (6,28) (7,21) (8,26) (9,25) (10,30) (11,22) (12,29) (13,20) (14,23) (15,27) 
nodes: 5137  conflicts: 38  modelTime: 655  solveTime: 10412  totalTime: 11073  modelSize: 41293  readTime: 6 size: 13