(1,17) (2,29) (4,19) (5,26) (7,30) (9,22) (10,21) (11,24) (12,23) (13,18) (14,16) (15,27) 
nodes: 596  conflicts: 87  modelTime: 667  solveTime: 679  totalTime: 1368  modelSize: 41300  readTime: 22 size: 12