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