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