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