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