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