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