(1,30) (2,27) (4,29) (5,16) (6,18) (7,17) (8,25) (9,26) (10,23) (12,24) (13,20) (14,28) 
nodes: 1118  conflicts: 62  modelTime: 667  solveTime: 849  totalTime: 1523  modelSize: 41300  readTime: 7 size: 12