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