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