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