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