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