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