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