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