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