(1,17) (2,3) (4,12) (5,29) (6,28) (7,21) (8,26) (9,25) (10,15) (11,22) (13,14) (16,30) (18,20) (19,24) (23,27) 
nodes: 220106  conflicts: 33  modelTime: 1157  solveTime: 1056828  totalTime: 1058043  modelSize: 72275  readTime: 58 size: 15