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