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