(1,19) (2,29) (3,22) (4,28) (7,30) (8,20) (10,25) (11,27) (12,16) (14,26) 
nodes: 1512  conflicts: 78  modelTime: 812  solveTime: 1623  totalTime: 2443  modelSize: 41300  readTime: 8 size: 10