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