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