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