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