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