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