(1,5) (2,26) (3,20) (4,29) (6,25) (7,10) (8,18) (9,14) (11,19) (12,17) (13,30) (15,16) (21,28) (22,27) (23,24) 
nodes: 46061  conflicts: 33  modelTime: 932  solveTime: 223526  totalTime: 224470  modelSize: 72284  readTime: 11 size: 15