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