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