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