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