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