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