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