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