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