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