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