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