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