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