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