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