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