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