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