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