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