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