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