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