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