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