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