(1,19) (4,28) (5,25) (6,18) (7,20) (8,29) (9,30) (10,26) (12,17) (13,21) (14,23) (15,22) 
nodes: 17632  conflicts: 44  modelTime: 662  solveTime: 32751  totalTime: 33419  modelSize: 41298  readTime: 6 size: 12