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