(1,6) (2,19) (3,23) (4,17) (5,16) (7,9) (10,18) (11,14) (12,15) (13,29) (20,28) (21,24) (22,25) (26,30) 
nodes: 17247  conflicts: 41  modelTime: 1392  solveTime: 82012  totalTime: 83415  modelSize: 72266  readTime: 11 size: 14