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