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