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