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