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