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