(1,29) (2,18) (3,6) (4,5) (7,20) (8,12) (9,27) (10,13) (11,15) (14,19) (16,26) (17,30) (21,23) (22,28) (24,25) 
nodes: 22466  conflicts: 35  modelTime: 1734  solveTime: 64386  totalTime: 66139  modelSize: 72265  readTime: 19 size: 15