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