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