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