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