(1,10) (2,27) (4,9) (5,7) (6,11) (8,19) (12,18) (13,17) (14,16) (15,21) (20,26) (22,30) (23,28) (25,29) 
nodes: 5625  conflicts: 72  modelTime: 1194  solveTime: 23244  totalTime: 24458  modelSize: 72264  readTime: 20 size: 14