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