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