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