(1,30) (2,19) (3,27) (4,28) (6,24) (7,22) (8,21) (9,20) (10,18) (11,23) (12,26) (13,29) (14,17) (15,25) 
nodes: 2184  conflicts: 36  modelTime: 663  solveTime: 3975  totalTime: 4644  modelSize: 41293  readTime: 6 size: 14