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