(1,25) (2,11) (3,18) (4,15) (5,12) (6,20) (7,21) (10,24) (13,23) (14,28) (16,19) (17,26) (22,27) (29,30) 
nodes: 53305  conflicts: 40  modelTime: 1742  solveTime: 139429  totalTime: 141189  modelSize: 72262  readTime: 18 size: 14