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