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