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