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