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