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