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