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