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