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