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