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