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