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