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