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