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