(1,25) (2,19) (3,17) (4,16) (5,28) (6,23) (7,30) (8,22) (9,20) (10,21) (11,18) (12,27) (15,26) 
nodes: 5590  conflicts: 36  modelTime: 662  solveTime: 10138  totalTime: 10807  modelSize: 41299  readTime: 7 size: 13