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