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