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