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