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