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