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