(1,14) (2,5) (3,26) (4,8) (6,7) (9,20) (10,11) (12,15) (13,23) (16,22) (17,29) (18,30) (19,25) (21,28) (24,27) 
nodes: 4881  conflicts: 38  modelTime: 1218  solveTime: 28602  totalTime: 29840  modelSize: 72266  readTime: 20 size: 15