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