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