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