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