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