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