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