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