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