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