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