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