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