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