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