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