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