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