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