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